VEST: Abstract vector calculus simplification in Mathematica

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 l...

Title of program: VEST (Vector Einstein Summation Tools)
Catalogue Id: AEQN_v1_0

Nature of problem
Large scale vector calculus computations

Versions of this program held in the CPC repository in Mendeley Data
AEQN_v1_0; VEST (Vector Einstein Summation Tools); 10.1016/j.cpc.2013.08.021

This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2019)

本报告提出了一种名为 VEST（向量爱因斯坦求和工具）的新软件包，该软件包在 Mathematica 中执行抽象向量微积分运算。通过使用指标符号，VEST 能够将非常普遍类型的二维标量和向量表达式简化为一种定义明确的规范形式。此外，利用 Levi-Civita 符号的性质，该程序能够推导出多项式向量恒等式的类型，这些类型在简化过程中未被识别，进而将这些恒等式应用于简化过程。