Maxima Function
atensimp (expr)
Simplifies an algebraic tensor expression expr according to the rules
configured by a call to init_atensor
. Simplification includes
recursive application of commutation relations and resolving calls
to sf
, af
, and av
where applicable. A
safeguard is used to ensure that the function always terminates, even
for complex expressions.