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).

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

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

exp : (XPOLY, NonNegativeInteger) -> XPOLY

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

log : (XPOLY, NonNegativeInteger) -> XPOLY

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