9.42 LieExponentials
Type: Symbol
Type: Symbol
Declarations of domains
coef := Fraction(Integer)
Type: Domain
group := LieExponentials(Symbol, coef, 3)
|
Type: Domain
lpoly := LiePolynomial(Symbol, coef)
|
Type: Domain
poly := XPBWPolynomial(Symbol, coef)
|
Type: Domain
Calculations
ea := exp(a::lpoly)$group
Type: LieExponentials(Symbol,Fraction Integer,3)
eb := exp(b::lpoly)$group
Type: LieExponentials(Symbol,Fraction Integer,3)
|
Type: LieExponentials(Symbol,Fraction Integer,3)
|
Type: XPBWPolynomial(Symbol,Fraction Integer)
|
Type: LiePolynomial(Symbol,Fraction Integer)
Type: LieExponentials(Symbol,Fraction Integer,3)
Type: LieExponentials(Symbol,Fraction Integer,3)