This file is indexed.

/usr/lib/open-axiom/input/derham.input is in open-axiom-test 1.4.1+svn~2626-2ubuntu2.

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
-- Input generated from DeRhamComplexXmpPage
)clear all

coefRing := Integer
lv : List Symbol := [x,y,z]
der := DERHAM(coefRing,lv)
R := Expression coefRing
f : R := x**2*y*z-5*x**3*y**2*z**5
g : R := z**2*y*cos(z)-7*sin(x**3*y**2)*z**2
h : R :=x*y*z-2*x**3*y*z**2
dx : der := generator(1)
dy : der := generator(2)
dz : der := generator(3)
[dx,dy,dz] := [generator(i)$der for i in 1..3]
alpha : der := f*dx + g*dy + h*dz
beta  : der := cos(tan(x*y*z)+x*y*z)*dx + x*dy
exteriorDifferential alpha
exteriorDifferential %
gamma := alpha * beta
exteriorDifferential(gamma) - (exteriorDifferential(alpha)*beta - alpha * exteriorDifferential(beta))
a : BOP := operator('a)
b : BOP := operator('b)
c : BOP := operator('c)
sigma := a(x,y,z) * dx + b(x,y,z) * dy + c(x,y,z) * dz
theta  := a(x,y,z) * dx * dy + b(x,y,z) * dx * dz + c(x,y,z) * dy * dz
totalDifferential(a(x,y,z))$der
exteriorDifferential sigma
exteriorDifferential theta
one : der := 1
g1 : der := a([x,t,y,u,v,z,e]) * one
h1 : der := a([x,y,x,t,x,z,y,r,u,x]) * one
exteriorDifferential g1
exteriorDifferential h1
coefficient(gamma, dx*dy)
coefficient(gamma, one)
coefficient(g1,one)