:bug: CAD

[hiwane]

» vars(a,b);
0
» H = a<=0 && 46656*b^7-381024*a*b^5+926100*a^2*b^3-3125*a^6*b^2-600250*a^3*b+12500*a^7+823543<=0 || 46656*b^7-381024*a*b^5+926100*a^2*b^3-3125*a^6*b^2-600250*a^3*b+12500*a^7+823543<=0 && a>0 && 63504*b^4-185220*a*b^2-3125*a^5*b+60025*a^2>0 || 46656*b^7-381024*a*b^5+926100*a^2*b^3-3125*a^6*b^2-600250*a^3*b+12500*a^7+823543<=0 && 63504*b^4-185220*a*b^2-3125*a^5*b+60025*a^2>0 && a>=0   || (b>0 || 46656*b^7-381024*a*b^5+926100*a^2*b^3-3125*a^6*b^2-600250*a^3*b+12500*a^7+823543>=0) && (a>0 || 46656*b^7-381024*a*b^5+926100*a^2*b^3-3125*a^6*b^2-600250*a^3*b+12500*a^7+823543>0) && (432*b^4-1008*a*b^2+245*a^2==0 || 46656*b^7-381024*a*b^5+926100*a^2*b^3-3125*a^6*b^2-600250*a^3*b+12500*a^7+823543!=0 || 3125*a^7-7411887>=0) && (3125*a^7-7411887<0 || b>0 || 46656*b^7-381024*a*b^5+926100*a^2*b^3-3125*a^6*b^2-600250*a^3*b+  12500*a^7+823543!=0):
» cad(H);
30517578125*a^14-6300103950000*a^7+292992367470768!=0 || 46656*b^7-381024*a*b^5+926100*a^2*b^3-3125*a^6*b^2-600250*a^3*b+12500*a^7+823543>0 || 432*b^4-1008*a*b^2+245*a^2<=0

should be true