/usr/lib/open-axiom/input/xpbwpoly.input is in open-axiom-test 1.5.0~svn3056+ds-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 | )cl all
a:Symbol := 'a
b:Symbol := 'b
RN := Fraction(Integer)
word := OrderedFreeMonoid Symbol
lword := LyndonWord(Symbol)
base := PoincareBirkhoffWittLyndonBasis Symbol
dpoly := XDistributedPolynomial(Symbol, RN)
rpoly := XRecursivePolynomial(Symbol, RN)
lpoly := LiePolynomial(Symbol, RN)
poly := XPBWPolynomial(Symbol, RN)
liste : List lword := LyndonWordsList([a,b], 6)
0$poly
1$poly
p : poly := a
q : poly := b
pq: poly := p*q
pq :: dpoly
mirror pq
ListOfTerms pq
reductum pq
leadingMonomial pq
coefficients pq
leadingTerm pq
degree pq
pq4:=exp(pq,4)
log(pq4,4) - pq
lp1 :lpoly := LiePoly liste.10
lp2 :lpoly := LiePoly liste.11
lp :lpoly := [lp1, lp2]
lpd1: dpoly := lp1
lpd2: dpoly := lp2
lpd : dpoly := lpd1 * lpd2 - lpd2 * lpd1
lp :: dpoly - lpd
p := 3 * lp
q := lp1
pq:= p * q
pr:rpoly := p :: rpoly
qr:rpoly := q :: rpoly
pq :: rpoly - pr*qr
|