In this section let u denote an element of the term algebra T representing [u] in the quotient algebra A.
ReducedProduct( rws, u, v ) O
The result is w where [w] = [u][v] in A and w is in reduced form.
The remaining operations are defined similarly when they are defined (as determined by the signature of the term algebra).
ReducedSum( rws, left, right ) O
ReducedOne( rws ) O
ReducedAdditiveInverse( rws, obj ) O
ReducedComm( rws, left, right ) O
ReducedConjugate( rws, left, right ) O
ReducedDifference( rws, left, right ) O
ReducedInverse( rws, obj ) O
ReducedLeftQuotient( rws, left, right ) O
ReducedPower( rws, obj, pow ) O
ReducedQuotient( rws, left, right ) O
ReducedScalarProduct( rws, left, right ) O
ReducedZero( rws ) O
[Top] [Previous] [Up] [Next] [Index]
GAP 4 manual