restart;
libname:="/home/me350/Programs/sMaple-MyLib/", libname;
kernelopts(opaquemodules=false):
kernelopts(printbytes=false):
Digits:=30:
with(RegularChains):
read("ProjectionCAD.mm"):

f1 := x-y+z^2:
f2 := z^2-u^2+v^2-1:
f3 := x+y+z^2: 
f4 := z^2+u^2-v^2-1:
g := x^2-1:
h := z: 
F := [f1,f2,f3,f4,g,h]:
lsas := [[f1=0, f2=0, f3=0, f4=0, g>=0, h>=0]];
ord := [z,y,x,u,v]:
R := PolynomialRing(ord):

TryTheCAD := proc()
global out:
out := ProjectionCAD:-ECCAD( [f2,[f1,f3,f4,g,h]], ord, output=listwithrep):
end proc:

out:=[]:
try
  timelimit(3600, TryTheCAD(out) ):
  print(nops(out));
  save(out, "ECout2.txt"):
catch "time expired":
  print("timed out");
end try:
 
