This file is indexed.

/usr/lib/open-axiom/input/noonburg.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
--Copyright The Numerical Algorithms Group Limited 1991.

--
--  example of Noonburg
-- 
RN := Fraction Integer
dmp0 := DMP([x,y,z,c],RN)
 
px : dmp0 := 1-c*x +x*(y**2 + z**2)
py : dmp0 := 1-c*y +y*(z**2 + x**2)
pz : dmp0 := 1-c*z +z*(x**2 + y**2)
gb0 := groebnerFactorize [px,py,pz]