check whether a constructible set is empty or not - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : RegularChains : SemiAlgebraicSetTools Subpackage : RegularChains/ConstructibleSetTools/IsEmpty

RegularChains[ConstructibleSetTools][IsEmpty] - check whether a constructible set is empty or not

RegularChains[SemiAlgebraicSetTools][IsEmpty] - check whether a semi-algebraic set is empty or not

Calling Sequence

IsEmpty(cs, R)

IsEmpty(sys, R)

IsEmpty(F,N,P,H, R)

Parameters

cs

-

constructible set structure

sys

-

list of polynomial constraints

F

-

list of polynomials

N

-

list of polynomials

P

-

list of polynomials

H

-

list of polynomials

R

-

polynomial ring

Description

• 

The command IsEmpty(cs, R) decides whether the constructible set cs is empty or not. The polynomial ring may have characteristic zero or a prime characteristic.

• 

The command IsEmpty(sys, R) checks whether the zero set of the set of constraints sys  is empty or not. The constraints in sys can be any polynomial equations, inequations or inequalities given by polynomials of R. The zero set of sys is regarded as the set of the real solutions of the polynomial system defined by sys. This assumes that R has characteristic zero.

• 

The command IsEmpty(F, N, P, H, R) checks whether the zero set of the semi-algebraic system represented by [F, N, P, H] (see RealTriangularize) is empty or not. This assumes that R has characteristic zero.

• 

This command is available once either the RegularChains[ConstructibleSetTools] submodule or the RegularChains[SemiAlgebraicSetTools] submodule have been loaded. It can always be accessed through one of the following long forms: RegularChains:-ConstructibleSetTools:-IsEmpty or RegularChains:-SemiAlgebraicSetTools:-IsEmpty.

Examples

withRegularChains:

withConstructibleSetTools:

withSemiAlgebraicSetTools:

Define a polynomial ring R first.

R:=PolynomialRingx,y

R:=polynomial_ring

(1)

Then construct a constructible set cs as follows.

cs:=GeneralConstructx2,xy1,1,R

cs:=constructible_set

(2)

IsEmptycs,R

true

(3)

Semi-algebraic case:

IsEmptyx2+y2+1=0,R

true

(4)

IsEmptyx2+y21=0,R

false

(5)

See Also

ConstructibleSet, ConstructibleSetTools, EmptyConstructibleSet, EmptySemiAlgebraicSet, GeneralConstruct, IsContained, RealTriangularize, RegularChains, SemiAlgebraicSetTools


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam