Tensor manipulation in GPL Maxima
Viktor Toth
Abstract
GPL Maxima is an open-source computer algebra system based on DOE-MACSYMA. GPL Maxima included two tensor manipulation packages from DOE-MACSYMA, but these were in various states of disrepair. One of the two packages, CTENSOR, implemented component-based tensor manipulation; the other, ITENSOR, treated tensor symbols as opaque, manipulating them based on their index properties. The present paper describes the state in which these packages were found, the steps that were needed to make the packages fully functional again, and the new functionality that was implemented to make them more versatile. A third package, ATENSOR, was also implemented; fully compatible with the identically named package in the commercial version of MACSYMA, ATENSOR implements abstract tensor algebras.
Create a lesson
Related papers
Exact certification for conic optimization over quadratic modules: partitions of unity and recession directions
Didier Henrion, Alaa Ibrahim, Victor Magron
Where models of minimal height are hard to find: cubic rational maps with a multiple fixed point
Elira Shaska
Construction and formal verification of a special topology on Zn: characterization of connected subsets
Ignacio Vega-Páez
On the Complexity of Computing with p-adic Lattices
Pierre Fromonot, Mercedes Haiech, Tristan Vaccon
Barik transform and Barik eliminant: a novel algebraic method to solve polynomial equations in the sine and cosine of one variable
Sandipan Bandyopadhyay
Automatic Certified Differentiation in Lean
Ramy Shahin