Maxima Function
canform (expr)
Simplifies expr by renaming dummy
indices and reordering all indices as dictated by symmetry conditions
imposed on them. If allsym
is true
then all indices are assumed
symmetric, otherwise symmetry information provided by decsym
declarations will be used. The dummy indices are renamed in the same
manner as in the rename
function. When canform
is applied to a large
expression the calculation may take a considerable amount of time.
This time can be shortened by calling rename
on the expression first.
Also see the example under . Note: canform
may not be able to
reduce an expression completely to its simplest form although it will
always return a mathematically correct result.