/usr/lib/open-axiom/input/zdsolve.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 | R := Integer
ls : List Symbol := [x,y,z,t]
ls2 : List Symbol := [x,y,z,t,new()$Symbol]
pack := ZDSOLVE(R,ls,ls2)
p1 := x**2*y*z + x*y**2*z + x*y*z**2 + x*y*z + x*y + x*z + y*z
p2 := x**2*y**2*z + x*y**2*z**2 + x**2*y*z + x*y*z + y*z + x + z
p3 := x**2*y**2*z**2 + x**2*y**2*z + x*y**2*z + x*y*z + x*z + z + 1
lp := [p1, p2, p3]
triangSolve(lp)$pack
univariateSolve(lp)$pack
lr := realSolve(lp)$pack
# lr
[[approximate(r,1/1000000) for r in point] for point in lr]
lpr := positiveSolve(lp)$pack
f0 := x**3 + y + z + t- 1
f1 := x + y**3 + z + t -1
f2 := x + y + z**3 + t-1
f3 := x + y + z + t**3 -1
lf := [f0, f1, f2, f3]
lts := triangSolve(lf)$pack
univariateSolve(lf)$pack
ts := lts.1
univariateSolve(ts)$pack
realSolve(ts)$pack
lr2 := realSolve(lf)$pack
#lr2
lpr2 := positiveSolve(lf)$pack
[approximate(r,1/10**21)::Float for r in lpr2.1]
|