find constructible sets containing a given point - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : RegularChains : ParametricSystemTools Subpackage : RegularChains/ParametricSystemTools/BelongsTo

RegularChains[ParametricSystemTools][BelongsTo] - find constructible sets containing a given point

Calling Sequence

BelongsTo(pt, lcs, R)

Parameters

pt

-

point with rational coefficients

lcs

-

list of constructible sets

R

-

polynomial ring

Description

• 

The command BelongsTo(pt, lcs, R) returns the indices of constructible sets in lcs which contain the point pt.

• 

pt is given by a list of rational numbers; nopspt must be equal to the number of variables of R.

• 

This command is part of the RegularChains[ParametricSystemTools] package, so it can be used in the form BelongsTo(..) only after executing the command with(RegularChains[ParametricSystemTools]).  However, it can always be accessed through the long form of the command by using RegularChains[ParametricSystemTools][BelongsTo](..).

Examples

withRegularChains:

withConstructibleSetTools:

withParametricSystemTools:

R:=PolynomialRingx,y

R:=polynomial_ring

(1)

S:=PolynomialRings,t

S:=polynomial_ring

(2)

MP:=x2,y2

MP:=x2,y2

(3)

F:=s1,t1

F:=s1,t1

(4)

cs1:=PolynomialMapPreimageF,MP,R,S

cs1:=constructible_set

(5)

Infocs1,R

x+1,y1,1,x1,y1,1,x+1,y+1,1,x1,y+1,1

(6)

pt:=12,13

pt:=12,13

(7)

cs2:=GeneralConstruct2x1,3y1,1,R

cs2:=constructible_set

(8)

BelongsTopt,cs1,cs2,R

2

(9)

See Also

ComprehensiveTriangularize, ConstructibleSet, GeneralConstruct, IsContained, ParametricSystemTools, PolynomialMapPreimage, PreComprehensiveTriangularize, RegularChains


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