RegularChains[ParametricSystemTools] - Maple Programming 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

Parameters

Description

Examples

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:

RPolynomialRingx,y

R:=polynomial_ring

(1)

SPolynomialRings,t

S:=polynomial_ring

(2)

MPx2,y2

MP:=x2,y2

(3)

Fs1,t1

F:=s1,t1

(4)

cs1PolynomialMapPreimageF,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)

pt12,13

pt:=12,13

(7)

cs2GeneralConstruct2x1,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