Advanced Search

Question: how to write : a <> 0 and (some x)(a*x^2+b*x+c) for quantifier elimination and calculate b^2 + 4*a*c in maple?

Question:how to write : a <> 0 and (some x)(a*x^2+b*x+c) for quantifier elimination and calculate b^2 + 4*a*c in maple?

ComputerUser 535 Maple
regularchains
February 01 2020
0

with(RegularChains):
with(ChainTools):
with(MatrixTools):
with(ConstructibleSetTools):
with(ParametricSystemTools):
with(SemiAlgebraicSetTools):
with(FastArithmeticTools):
R := PolynomialRing([x,y,z,a,b]):
sys := [a*x^2+b*x+c]:
N := []:
P := [a]: 
H := [x,y,z]:
dec := RealTriangularize(sys,N,P,H,R):
Display(dec, R);

how to write : a <> 0 and (some x)(a*x^2+b*x+c) for quantifier elimination in maple?

is RealTriangularize parameters are after quantifier elimination or it accept quantifer expression?

if not, how to input above statement into real or lazy triangularize and expect return b^2 + 4*a*c;
Please Wait...