Cat::GradedAlgebraWithBasis – the category of graded algebras over a distinguished basis

Cat::GradedAlgebraWithBasis(coeffRing) represents the category of graded algebras with a distinguished basis.

Creating the Category

Cat::GradedAlgebraWithBasis(coeffRing)

Parameters:

Categories

Cat::AlgebraWithBasis(coeffRing), Cat::GradedModuleWithBasis(coeffRing)

Details:

A Cat::GradedAlgebraWithBasis(coeffRing) is an algebra with a distinguished basis (Cat::AlgebraWithBasis), with a grading which is compatible with the algebra operations and such that the basis elements are homogeneous (Cat::GradedModuleWithBasis).

expTruncated – truncated exponential

Cat::GradedAlgebraWithBasis::expTruncated(dom x, <nonnegative integer order>)

Returns the exponential of x, truncated to the order order.

The default order is given by the variable ORDER (with default value 6).

logTruncated – truncated logarithm

Cat::GradedAlgebraWithBasis::logTruncated(dom x, <nonnegative integer order>)

Returns the logarithm of x, truncated to the order order.

The default order is given by the variable ORDER (with default value 6).