Field theory with the Maxima computer algebra system

08/18/2023
by   Viktor T. Toth, et al.
0

The Maxima computer algebra system, the open-source successor to MACSYMA, the first general-purpose computer algebra system that was initially developed at the Massachusetts Institute of Technology in the late 1960s and later distributed by the United States Department of Energy, has some remarkable capabilities, some of which are implemented in the form of add-on, "share" packages that are distributed along with the core Maxima system. One such share package is itensor, for indicial tensor manipulation. One of the more remarkable features of itensor is functional differentiation. Through this, it is possible to use itensor to develop a Lagrangian field theory and derive the corresponding field equations. In the present note, we demonstrate this capability by deriving Maxwell's equations from the Maxwell Lagrangian, and exploring the properties of the system, including current conservation.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/04/2018

A Purely Functional Computer Algebra System Embedded in Haskell

We demonstrate how methods in Functional Programming can be used to impl...
research
01/30/2017

Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension

Tensor expression simplification is an "ancient" topic in computer algeb...
research
04/23/2016

Sparse Representations of Clifford and Tensor algebras in Maxima

Clifford algebras have broad applications in science and engineering. Th...
research
03/04/2020

The Absent-Minded Passengers Problem: A Motivating Challenge Solved by Computer Algebra

In (S.B. Ekhad and D. Zeilberger, 2020) an exciting case study has been ...
research
05/07/2021

ReLie: a Reduce program for Lie group analysis of differential equations

Lie symmetry analysis provides a general theoretical framework for inves...
research
12/06/2016

Computer Algebra and Material Design

This article is intended to an introductory lecture in material physics,...
research
05/08/2018

Implementing a Method for Stochastization of One-Step Processes in a Computer Algebra System

When modeling such phenomena as population dynamics, controllable ows, e...

Please sign up or login with your details

Forgot password? Click here to reset