:bug:

[hiwane]

https://github.com/hiwane/ganrac/actions/runs/5706725476/job/15462697114

 == [1,3,3,<,!=] ==== ex([x], a*x^2-3*b*x-5*c < 0 && x != 0); ==[a,c,x,b:2]======================
>>>>>>>>>>>>
>>>>>>>>>>>>EQUIV
    vs_test.go:405: [1,3,3,<,!=,'a,c,x,b'] invalid
        inputt=ex([x], 3*x*b-a*x^2+5*c>0 && x!=0)
        expect=a<0 || (a<=0 && b!=0) || (9*b^2+20*a*c>0 && a!=0)
        actual=5*c>0 || (5*c==0 && (3*b>0 || (3*b==0 && 2*a<0))) || ((25*a*c^2<0 || (25*a*c^2==0 && (9*b^2+10*a*c>0 || (9*b^2+10*a*c==0 && 2*a<0)))) && 3*b>0 && a==0) || (((2*a<=0 && 36*a^2*b^2+80*a^3*c>0) || (36*a^2*b^2+80*a^3*c==0 && 2*a<0)) && a<0 && 9*b^2+20*a*c>=0) || (((2*a>=0 && 36*a^2*b^2+80*a^3*c>0) || (36*a^2*b^2+80*a^3*c==0 && 2*a<0)) && a>0 && 9*b^2+20*a*c>=0) || ((5*c!=0 || 3*b!=0 || a!=0) && (5*c>=0 || 3*b!=0 || a!=0) && (3*b<=0 || a!=0) && a<=0)
        actua2=c>0 || (c>=0 && (b>0 || (a<0 && b>=0))) || (a<=0 && (a<0 || b<0)) || (a==0 && b>0) || (a>0 && 9*b^2+20*a*c>0) || (a<0 && 9*b^2+20*a*c>=0)
        equall=false

vars(a,c,x,b);
A = (ex([x], 3*x*b-a*x^2+5*c>0 && x!=0));
LL = qe(A, {vsquad:0});
OK = cad(A, {var: 1});
cad(equiv(LL, OK), {var: 1});
# c<=0 || b!=0 || a!=0

[]
(a,b,c,x)
3
(E x) [ 3 x b - a x^2 + 5 c > 0 /\ x /= 0 ].
finish

c > 0 \/ a < 0 \/ 20 a c + 9 b^2 > 0