This file is indexed.

/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