[ The positive-definite quartic problem ]
(a,b,c,d,x)
4
(Ax)[ x^4 + a x^3 + b x^2 + c x + d > 0 ].
go
go
go
pdq
sol E
sol T
quit
