ConvertRationalConstraintsToTarski - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


QuantifierElimination[QuantifierTools]

  

ConvertRationalConstraintsToTarski

  

convert a formula featuring rational constraints to a formula with only polynomial constraints

 

Calling Sequence

Parameters

Returns

Description

Examples

Compatibility

Calling Sequence

ConvertRationalConstraintsToTarski( expr )

Parameters

expr

-

any boolean formula of rational constraints

Returns

• 

An equivalent formula to expr as a Tarski formula, that is, with rational constraints converted to equivalent Tarski formulae (only polynomial constraints allowed).

Description

• 

Converts a formula that may contain rational constraints (that is, constraints featuring rational functions - fractions of polynomials) to a Tarski formula, that is, a boolean formula of polynomial constraints.

• 

As part of this conversion, the assumption is made that all denominators occurring are nonzero.

• 

This may result in individual atoms changing, such as 0<xy becoming the equivalent polynomial constraint 0<xy. On the other hand, they may expand, such as xy=0 becoming x=0y0.

Examples

withQuantifierElimination&colon;withQuantifierTools&colon;

ConvertRationalConstraintsToTarskixy0

x0y0

(1)

ConvertRationalConstraintsToTarskixy0

xy0y0

(2)

ConvertRationalConstraintsToTarskixy&equals;0

x=0y0

(3)

ConvertRationalConstraintsToTarskixy<0

0<xy

(4)

ConvertRationalConstraintsToTarskiOrz&equals;0&comma;xy<0

z=00<xy

(5)

Compatibility

• 

The QuantifierElimination:-QuantifierTools:-ConvertRationalConstraintsToTarski command was introduced in Maple 2023.

• 

For more information on Maple 2023 changes, see Updates in Maple 2023.

See Also

QuantifierElimination

QuantifierTools