    |\^/|     Maple 18 (X86 64 LINUX)
._|\|   |/|_. Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2014
 \  MAPLE  /  All rights reserved. Maple is a trademark of
 <____ ____>  Waterloo Maple Inc.
      |       Type ? for help.
> restart;
> libname:="/home/me350/Programs/sMaple-MyLib/", libname;
libname := "/home/me350/Programs/sMaple-MyLib/",

    "/home/me350/Programs/Maple18/lib",

    "/home/me350/maple/toolbox/MapleIDE/lib", ".",

    "/home/me350/Dropbox/Maple_CAD/CreateLibrary/Lib"

> kernelopts(opaquemodules=false):
> kernelopts(printbytes=false):
> Digits:=30:
> with(RegularChains):
> read("ProjectionCAD.mpl"):
> 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]];
           2                2    2    2           2
lsas := [[z  + x - y = 0, -u  + v  + z  - 1 = 0, z  + x + y = 0,

     2    2    2                2
    u  - v  + z  - 1 = 0, 0 <= x  - 1, 0 <= z]]

> ord := [z,y,x,u,v]:
> R := PolynomialRing(ord):
> 
> TryTheCAD := proc()
> global out:
> out := ProjectionCAD:-ECCAD( [f1,[f2,f3,f4,g,h]], ord, output=listwithrep):
> end proc:
> 
> out:=[]:
> try
>   timelimit(3600, TryTheCAD(out) ):
>   print(nops(out));
>   save(out, "ECout1.txt"):
> catch "time expired":
>   print("timed out");
> end try:
                                     48299

>  
> quit
memory used=18414.0MB, alloc=1300.3MB, time=325.56
    |\^/|     Maple 18 (X86 64 LINUX)
._|\|   |/|_. Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2014
 \  MAPLE  /  All rights reserved. Maple is a trademark of
 <____ ____>  Waterloo Maple Inc.
      |       Type ? for help.
> restart;
> libname:="/home/me350/Programs/sMaple-MyLib/", libname;
libname := "/home/me350/Programs/sMaple-MyLib/",

    "/home/me350/Programs/Maple18/lib",

    "/home/me350/maple/toolbox/MapleIDE/lib", ".",

    "/home/me350/Dropbox/Maple_CAD/CreateLibrary/Lib"

> kernelopts(opaquemodules=false):
> kernelopts(printbytes=false):
> Digits:=30:
> with(RegularChains):
> read("ProjectionCAD.mpl"):
> 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]];
           2                2    2    2           2
lsas := [[z  + x - y = 0, -u  + v  + z  - 1 = 0, z  + x + y = 0,

     2    2    2                2
    u  - v  + z  - 1 = 0, 0 <= x  - 1, 0 <= z]]

> 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:
                                     10935

>  
> quit
memory used=3897.7MB, alloc=564.3MB, time=65.72
    |\^/|     Maple 18 (X86 64 LINUX)
._|\|   |/|_. Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2014
 \  MAPLE  /  All rights reserved. Maple is a trademark of
 <____ ____>  Waterloo Maple Inc.
      |       Type ? for help.
> restart;
> libname:="/home/me350/Programs/sMaple-MyLib/", libname;
libname := "/home/me350/Programs/sMaple-MyLib/",

    "/home/me350/Programs/Maple18/lib",

    "/home/me350/maple/toolbox/MapleIDE/lib", ".",

    "/home/me350/Dropbox/Maple_CAD/CreateLibrary/Lib"

> kernelopts(opaquemodules=false):
> kernelopts(printbytes=false):
> Digits:=30:
> with(RegularChains):
> read("ProjectionCAD.mpl"):
> 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]];
           2                2    2    2           2
lsas := [[z  + x - y = 0, -u  + v  + z  - 1 = 0, z  + x + y = 0,

     2    2    2                2
    u  - v  + z  - 1 = 0, 0 <= x  - 1, 0 <= z]]

> ord := [z,y,x,u,v]:
> R := PolynomialRing(ord):
> 
> TryTheCAD := proc()
> global out:
> out := ProjectionCAD:-ECCAD( [f3,[f1,f2,f4,g,h]], ord, output=listwithrep):
> end proc:
> 
> out:=[]:
> try
>   timelimit(3600, TryTheCAD(out) ):
>   print(nops(out));
>   save(out, "ECout3.txt"):
> catch "time expired":
>   print("timed out");
> end try:
                                     48299

>  
> quit
memory used=18346.5MB, alloc=1268.3MB, time=322.61
    |\^/|     Maple 18 (X86 64 LINUX)
._|\|   |/|_. Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2014
 \  MAPLE  /  All rights reserved. Maple is a trademark of
 <____ ____>  Waterloo Maple Inc.
      |       Type ? for help.
> restart;
> libname:="/home/me350/Programs/sMaple-MyLib/", libname;
libname := "/home/me350/Programs/sMaple-MyLib/",

    "/home/me350/Programs/Maple18/lib",

    "/home/me350/maple/toolbox/MapleIDE/lib", ".",

    "/home/me350/Dropbox/Maple_CAD/CreateLibrary/Lib"

> kernelopts(opaquemodules=false):
> kernelopts(printbytes=false):
> Digits:=30:
> with(RegularChains):
> read("ProjectionCAD.mpl"):
> 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]];
           2                2    2    2           2
lsas := [[z  + x - y = 0, -u  + v  + z  - 1 = 0, z  + x + y = 0,

     2    2    2                2
    u  - v  + z  - 1 = 0, 0 <= x  - 1, 0 <= z]]

> ord := [z,y,x,u,v]:
> R := PolynomialRing(ord):
> 
> TryTheCAD := proc()
> global out:
> out := ProjectionCAD:-ECCAD( [f4,[f1,f2,f3,g,h]], ord, output=listwithrep):
> end proc:
> 
> out:=[]:
> try
>   timelimit(3600, TryTheCAD(out) ):
>   print(nops(out));
>   save(out, "ECout4.txt"):
> catch "time expired":
>   print("timed out");
> end try:
                                      3023

>  
> quit
memory used=1278.1MB, alloc=116.3MB, time=21.18
    |\^/|     Maple 18 (X86 64 LINUX)
._|\|   |/|_. Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2014
 \  MAPLE  /  All rights reserved. Maple is a trademark of
 <____ ____>  Waterloo Maple Inc.
      |       Type ? for help.
> restart;
> kernelopts(opaquemodules=false):
> kernelopts(printbytes=false):
> Digits:=30:
> with(RegularChains):
> read("ProjectionCAD.mpl"):
> 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]];
           2                2    2    2           2
lsas := [[z  + x - y = 0, -u  + v  + z  - 1 = 0, z  + x + y = 0,

     2    2    2                2
    u  - v  + z  - 1 = 0, 0 <= x  - 1, 0 <= z]]

> ord := [z,y,x,u,v]:
> R := PolynomialRing(ord):
> 
> TryTheCAD := proc()
> global out:
> out := SemiAlgebraicSetTools:-CylindricalAlgebraicDecompose(lsas, R);
> end proc:
> 
> out:=[]:
> try
>   timelimit(3600, TryTheCAD(out) ):
>   print(nops(out));
>   map(Display,out,R);
>   save(out, "RCout.txt"):
> catch "time expired":
>   print("timed out");
> end try:
                                  "timed out"

>  
> quit
memory used=232594.4MB, alloc=3924.3MB, time=5290.94
    |\^/|     Maple 18 (X86 64 LINUX)
._|\|   |/|_. Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2014
 \  MAPLE  /  All rights reserved. Maple is a trademark of
 <____ ____>  Waterloo Maple Inc.
      |       Type ? for help.
> restart;
> libname:="/home/me350/Programs/sMaple-MyLib/", libname;
libname := "/home/me350/Programs/sMaple-MyLib/",

    "/home/me350/Programs/Maple18/lib",

    "/home/me350/maple/toolbox/MapleIDE/lib", ".",

    "/home/me350/Dropbox/Maple_CAD/CreateLibrary/Lib"

> kernelopts(opaquemodules=false):
> kernelopts(printbytes=false):
> Digits:=30:
> with(RegularChains):
> read("ProjectionCAD.mpl"):
> 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]];
           2                2    2    2           2
lsas := [[z  + x - y = 0, -u  + v  + z  - 1 = 0, z  + x + y = 0,

     2    2    2                2
    u  - v  + z  - 1 = 0, 0 <= x  - 1, 0 <= z]]

> ord := [z,y,x,u,v]:
> R := PolynomialRing(ord):
> 
> TryTheCAD := proc()
> global out:
> out := ProjectionCAD:-CADFull( F, ord, method=McCallum, output=listwithrep):
> end proc:
> 
> out:=[]:
> try
>   timelimit(3600, TryTheCAD(out) ):
>   print(nops(out));
> catch "time expired":
>   print("timed out");
> end try:
                                  "timed out"

>  
> quit
memory used=189497.0MB, alloc=5012.3MB, time=4065.46
    |\^/|     Maple 18 (X86 64 LINUX)
._|\|   |/|_. Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2014
 \  MAPLE  /  All rights reserved. Maple is a trademark of
 <____ ____>  Waterloo Maple Inc.
      |       Type ? for help.
> restart;
> libname:="/home/me350/Programs/sMaple-MyLib/", libname;
libname := "/home/me350/Programs/sMaple-MyLib/",

    "/home/me350/Programs/Maple18/lib",

    "/home/me350/maple/toolbox/MapleIDE/lib", ".",

    "/home/me350/Dropbox/Maple_CAD/CreateLibrary/Lib"

> kernelopts(opaquemodules=false):
> kernelopts(printbytes=false):
> Digits:=30:
> with(RegularChains):
> read("ProjectionCAD.mpl"):
> 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]];
           2                2    2    2           2
lsas := [[z  + x - y = 0, -u  + v  + z  - 1 = 0, z  + x + y = 0,

     2    2    2                2
    u  - v  + z  - 1 = 0, 0 <= x  - 1, 0 <= z]]

> ord := [z,y,x,u,v]:
> R := PolynomialRing(ord):
> 
> TryTheCAD := proc()
> global out:
> out := SemiAlgebraicSetTools:-CylindricalAlgebraicDecompose(F, R, output=list, method=incremental): nops(%);
> end proc:
> 
> out:=[]:
> try
>   timelimit(3600, TryTheCAD(out) ):
>   print(nops(out));
> catch "time expired":
>   print("timed out");
> end try:
                                  "timed out"

>  
> quit
memory used=126417.8MB, alloc=8372.3MB, time=11182.20
    |\^/|     Maple 18 (X86 64 LINUX)
._|\|   |/|_. Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2014
 \  MAPLE  /  All rights reserved. Maple is a trademark of
 <____ ____>  Waterloo Maple Inc.
      |       Type ? for help.
> restart;
> libname:="/home/me350/Programs/sMaple-MyLib/", libname;
libname := "/home/me350/Programs/sMaple-MyLib/",

    "/home/me350/Programs/Maple18/lib",

    "/home/me350/maple/toolbox/MapleIDE/lib", ".",

    "/home/me350/Dropbox/Maple_CAD/CreateLibrary/Lib"

> kernelopts(opaquemodules=false):
> kernelopts(printbytes=false):
> Digits:=30:
> with(RegularChains):
> read("ProjectionCAD.mpl"):
> 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]];
           2                2    2    2           2
lsas := [[z  + x - y = 0, -u  + v  + z  - 1 = 0, z  + x + y = 0,

     2    2    2                2
    u  - v  + z  - 1 = 0, 0 <= x  - 1, 0 <= z]]

> ord := [z,y,x,u,v]:
> R := PolynomialRing(ord):
> 
> TryTheCAD := proc()
> global out:
> out := SemiAlgebraicSetTools:-CylindricalAlgebraicDecompose(F, R, output=list, method=recursive): nops(%);
> end proc:
> 
> out:=[]:
> try
>   timelimit(3600, TryTheCAD(out) ):
>   print(nops(out));
> catch "time expired":
>   print("timed out");
> end try:
                                  "timed out"

>  
> quit