9.88 XPBWPolynomial
Initialisations
Type: Symbol
Type: Symbol
Type: Domain
word := OrderedFreeMonoid Symbol
Type: Domain
lword := LyndonWord(Symbol)
Type: Domain
base := PoincareBirkhoffWittLyndonBasis Symbol
|
Type: Domain
dpoly := XDistributedPolynomial(Symbol, RN)
|
Type: Domain
rpoly := XRecursivePolynomial(Symbol, RN)
|
Type: Domain
lpoly := LiePolynomial(Symbol, RN)
|
Type: Domain
poly := XPBWPolynomial(Symbol, RN)
|
Type: Domain
liste : List lword := LyndonWordsList([a,b], 6)
|
Type: List LyndonWord Symbol
Let's make some polynomials
Type: XPBWPolynomial(Symbol,Fraction Integer)
Type: XPBWPolynomial(Symbol,Fraction Integer)
Type: XPBWPolynomial(Symbol,Fraction Integer)
Type: XPBWPolynomial(Symbol,Fraction Integer)
Type: XPBWPolynomial(Symbol,Fraction Integer)
Coerce to distributed polynomial
Type: XDistributedPolynomial(Symbol,Fraction Integer)
Check some polynomial operations
Type: XPBWPolynomial(Symbol,Fraction Integer)
|
Type:
List Record(k: PoincareBirkhoffWittLyndonBasis Symbol,c: Fraction Integer)
Type: XPBWPolynomial(Symbol,Fraction Integer)
Type: PoincareBirkhoffWittLyndonBasis Symbol
Type: List Fraction Integer
Type:
Record(k: PoincareBirkhoffWittLyndonBasis Symbol,c: Fraction Integer)
Type: PositiveInteger
|
Type: XPBWPolynomial(Symbol,Fraction Integer)
Type: XPBWPolynomial(Symbol,Fraction Integer)
Calculations with verification in XDistributedPolynomial.
lp1 :lpoly := LiePoly liste.10
Type: LiePolynomial(Symbol,Fraction Integer)
lp2 :lpoly := LiePoly liste.11
Type: LiePolynomial(Symbol,Fraction Integer)
Type: LiePolynomial(Symbol,Fraction Integer)
|
Type: XDistributedPolynomial(Symbol,Fraction Integer)
|
Type: XDistributedPolynomial(Symbol,Fraction Integer)
lpd : dpoly := lpd1 * lpd2 - lpd2 * lpd1
|
Type: XDistributedPolynomial(Symbol,Fraction Integer)
Type: XDistributedPolynomial(Symbol,Fraction Integer)
Calculations with verification in XRecursivePolynomial.
Type: XPBWPolynomial(Symbol,Fraction Integer)
Type: XPBWPolynomial(Symbol,Fraction Integer)
Type: XPBWPolynomial(Symbol,Fraction Integer)
|
Type: XRecursivePolynomial(Symbol,Fraction Integer)
|
Type: XRecursivePolynomial(Symbol,Fraction Integer)
Type: XRecursivePolynomial(Symbol,Fraction Integer)