CAD-QE on PARI+Singular(実行例)

同じ例を開発中の PARI+Singular 上での CAD-QE で処理すると...

? tst11Sv2s01([ex,ex],[a,b,x,y],and,[sgn np (x^2+y^2-1),sgn 0 (a*x+b*y-1)],2*7);Ans();
  *** connecting adjacent 16/796 cells.
1[a <= [a+1,1],true,true,true]
2[[a+1,1] < a < [a,1],b <= [a^2+(b^2-1),1] or [a^2+(b^2-1),2] <= b,true,true]
3[a = [a,1],b <= [b^2-1,1] or [b^2-1,2] <= b,true,true]
4[[a,1] < a < [a-1,1],b <= [a^2+(b^2-1),1] or [a^2+(b^2-1),2] <= b,true,true]
5[[a-1,1] <= a,true,true,true]
time = 107 ms.
? tst11Sv2s01([ex,ex],[a,b,x,y],and,[sgn np (x^4+y^3-1),sgn 0 (a*x+b*y-1)],2*7);Ans();
12 no real. 9 12 10 12 9 12 12 9 12 10 12 9 12 no real. 
  *** polrootsreal: Warning: increasing stack size to 16000000.
  *** connecting adjacent 71/1817 cells.
1[a <= [a^8+6*a^4-3,1],true,true,true]
2[[a^8+6*a^4-3,1] < a < [a,1],b <= [27*a^12+(-432*b^3-54)*a^8+(1728*b^6+432*b^3+27)*a^4+(256*b^12-768*b^9+768*b^6-256*b^3),1] or [27*a^12+(-432*b^3-54)*a^8+(1728*b^6+432*b^3+27)*a^4+(256*b^12-768*b^9+768*b^6-256*b^3),2] <= b,true,true]
3[a = [a,1],b < [b^4-b,1] or [b^4-b,2] <= b,true,true]
4[[a,1] < a < [a^8+6*a^4-3,2],b <= [27*a^12+(-432*b^3-54)*a^8+(1728*b^6+432*b^3+27)*a^4+(256*b^12-768*b^9+768*b^6-256*b^3),1] or [27*a^12+(-432*b^3-54)*a^8+(1728*b^6+432*b^3+27)*a^4+(256*b^12-768*b^9+768*b^6-256*b^3),2] <= b,true,true]
5[[a^8+6*a^4-3,2] <= a,true,true,true]
time = 9,464 ms.