XExponentialPackage(R, VarSet, XPOLY)

xlpoly.spad line 381 [edit on github]

• R: Join(Ring, Module Fraction Integer)

• VarSet: OrderedSet

• XPOLY: XPolynomialsCat(VarSet, R)

This package provides computations of logarithms and exponentials for polynomials in non-commutative variables. Author: Michel Petitot (petitot@lifl.fr).

exp: (XPOLY, NonNegativeInteger) -> XPOLY

exp(p, n) returns the exponential of p truncated at order n.

Hausdorff: (XPOLY, XPOLY, NonNegativeInteger) -> XPOLY

Hausdorff(a, b, n) returns log(exp(a)*exp(b)) truncated at order n.

log: (XPOLY, NonNegativeInteger) -> XPOLY

log(p, n) returns the logarithm of p truncated at order n.