This file is indexed.

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

(d1,d2,d3) : DMP([z,y,x],FRAC INT)
d1 := -4*z + 4*y**2*x + 16*x**2 + 1
d2 := 2*z*y**2 + 4*x + 1
d3 := 2*z*x**2 - 2*y**2 - x
groebner [d1,d2,d3]
(n1,n2,n3) : HDMP([z,y,x],FRAC INT)
(n1,n2,n3) := (d1,d2,d3)
groebner [n1,n2,n3]