This file is indexed.

/usr/lib/open-axiom/input/lodo1.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
-- Input generated from LinearOrdinaryDifferentialOperatorOneXmpPage
)clear all


-- Input generated from ugxLinearOrdinaryDifferentialOperatorOneRatPage
)clear all

RFZ := Fraction UnivariatePolynomial('x, Integer)
x : RFZ := 'x
Dx : LODO1 RFZ := D()
b : LODO1 RFZ := 3*x**2*Dx**2 + 2*Dx + 1/x
a : LODO1 RFZ := b*(5*x*Dx + 7)
p := x**2 + 1/x**2
(a*b - b*a) p
ld := leftDivide(a,b)
a = b * ld.quotient + ld.remainder
rd := rightDivide(a,b)
a = rd.quotient * b + rd.remainder
rightQuotient(a,b)
rightRemainder(a,b)
leftExactQuotient(a,b)
e := leftGcd(a,b)
leftRemainder(a, e)
rightRemainder(a, e)
f := rightLcm(a,b)
rightRemainder(f, b)
leftRemainder(f, b)