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.

MasterPVA: a Mathematica-package for the Master Formula in Poisson Vertex Algebras

MasterPVA: a Mathematica-package for the Master Formula in Poisson vertex algebras

MasterPVA and Alg: Mathematica packages for Poisson vertex algebras and classical affine $${\mathcal {}}$$-algebras

MasterPVA and WAlg: Mathematica Packages for Poisson Vertex Algebras and Classical Affine $${\mathcal {W}}$$ W -Algebras

Poisson vertex algebras and Hamiltonian PDE

On deformations of multidimensional Poisson brackets of hydrodynamic type

Double Multiplicative Poisson Vertex Algebras

MasterTwo: A Mathematica Package for the Automated Calculation of Two Loop Diagrams in the Standard Model and Beyond

Weakly Nonlocal Poisson Brackets: Tools, Examples, Computations

Double Poisson Vertex Algebras and Non-Commutative Hamiltonian Equations

Adler-Oevel-Ragnisco Type Operators and Poisson Vertex Algebras

Adler–Gelfand–Dickey Approach to Classical 𝒲-Algebras Within the Theory of Poisson Vertex Algebras

BV Algebras with Applications to Lie Bialgebras and Poisson Cohomology

Lectures on Poisson algebras

A new algorithm for computing the multivariate Faà di Bruno's formula

A first computation of three-loop master integrals for the production of two off-shell vector bosons with different masses

Poisson Λ-brackets for Differential–Difference Equations

Structure Of Classical (Finite And Affine) W-Algebras

Local and Non-local Multiplicative Poisson Vertex Algebras and Differential-Difference Equations

Classical $${\mathcal{w}}$$ W -Algebras and Generalized Drinfeld-Sokolov Bi-Hamiltonian Systems Within the Theory of Poisson Vertex Algebras

VEST: abstract vector calculus simplification in Mathematica