\texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}
From MaRDI portal
Publication:313859
DOI10.1016/J.CPC.2013.08.021zbMATH Open1344.15001arXiv1309.2561OpenAlexW2001727893MaRDI QIDQ313859FDOQ313859
Authors: J. Squire, J. Burby, H. Qin 
Publication date: 12 September 2016
Published in: Computer Physics Communications (Search for Journal in Brave)
Abstract: We present a new package, VEST (Vector Einstein Summation Tools), that performs abstract vector calculus computations in Mathematica. Through the use of index notation, VEST is able to reduce three-dimensional scalar and vector expressions of a very general type to a well defined standard form. In addition, utilizing properties of the Levi-Civita symbol, the program can derive types of multi-term vector identities that are not recognized by reduction, subsequently applying these to simplify large expressions. In a companion paper (Burby et al., 2013), we employ VEST in the automation of the calculation of high-order Lagrangians for the single particle guiding center system in plasma physics, a computation which illustrates its ability to handle very large expressions. VEST has been designed to be simple and intuitive to use, both for basic checking of work and more involved computations.
Full work available at URL: https://arxiv.org/abs/1309.2561
Recommendations
- VECTOR 33: A REDUCE program for vector algebra and calculus in orthogonal curvilinear coordiantes
- \textit{xTras}: a field-theory inspired \textit{xAct} package for Mathematica
- Symbolic vector analysis in plasma physics
- Symbolic computation with indexed objects within \texttt{MATHEMATICA}
- Large scale tensor analysis by computer
Cites Work
- The Invar tensor package
- xPerm: fast index canonicalization for tensor computer algebra
- Cadabra: a field-theory motivated symbolic computer algebra system
- Symbolic computer vector analysis
- Hamiltonian theory of guiding-center motion
- Geometry and guiding center motion
- Symbolic Vector and Dyadic Analysis
- Dimensionally dependent tensor identities by double antisymmetrization
- Rule-Based Simplification in Vector-Product Spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- GROUP-THEORETIC APPROACH FOR SYMBOLIC TENSOR MANIPULATION
- Symbolic vector analysis in plasma physics
Cited In (6)
- Contrasting formulations of cosmological perturbations in a magnetic FLRW cosmology
- Rule-Based Simplification in Vector-Product Spaces
- Symbolic vector analysis in plasma physics
- Title not available (Why is that?)
- VECTOR 33: A REDUCE program for vector algebra and calculus in orthogonal curvilinear coordiantes
- Automatic generation of finite difference field solvers for toroidally confined plasmas
Uses Software
This page was built for publication: \texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q313859)
