\texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}
From MaRDI portal
Publication:313859
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.
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
- scientific article; zbMATH DE number 3279020 (Why is no real title available?)
- scientific article; zbMATH DE number 3299271 (Why is no real title available?)
- scientific article; zbMATH DE number 3314959 (Why is no real title available?)
- Cadabra: a field-theory motivated symbolic computer algebra system
- Dimensionally dependent tensor identities by double antisymmetrization
- GROUP-THEORETIC APPROACH FOR SYMBOLIC TENSOR MANIPULATION
- Geometry and guiding center motion
- Hamiltonian theory of guiding-center motion
- Rule-Based Simplification in Vector-Product Spaces
- Symbolic Vector and Dyadic Analysis
- Symbolic computer vector analysis
- Symbolic vector analysis in plasma physics
- The Invar tensor package
- xPerm: fast index canonicalization for tensor computer algebra
Cited in
(6)- Automatic generation of finite difference field solvers for toroidally confined plasmas
- Contrasting formulations of cosmological perturbations in a magnetic FLRW cosmology
- Rule-Based Simplification in Vector-Product Spaces
- Symbolic vector analysis in plasma physics
- scientific article; zbMATH DE number 3892577 (Why is no real title available?)
- VECTOR 33: A REDUCE program for vector algebra and calculus in orthogonal curvilinear coordiantes
Describes a project that uses
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)
