compute the preimage of a variety under a polynomial map - Maple Help

Online Help

All Products    Maple    MapleSim


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

RegularChains[ConstructibleSetTools][RationalMapPreimage] - compute the preimage of a variety under a polynomial map

Calling Sequence

RationalMapPreimage(F, RM, R, S)

RationalMapPreimage(F, H, RM, R, S)

RationalMapPreimage(CS, RM, R, S)

Parameters

F

-

list of polynomials of S

RM

-

a list of rational functions in R

R

-

a polynomial ring (source)

S

-

a polynomial ring (target)

H

-

list of polynomials

CS

-

constructible set

Description

• 

The command RationalMapPreimage(F, RM, R, S) returns a constructible set cs over R. cs is the preimage of the variety VF under the rational map RM.

• 

If H is specified, let W be the variety defined by the product of polynomials in H. The command RationalMapPreimage(F, H, RM, R, S) returns the preimage of the constructible set V-W under the rational map RM.

• 

The command RationalMapPreimage(CS, RM, R, S) returns the preimage of the constructible set CS under the rational map RM.

• 

Both rings R and S should be over the same ground field.

• 

The variable sets of R and S should be disjoint.

• 

The number of rational functions in RM is equal to the number of variables of ring S.

Examples

withRegularChains:

withConstructibleSetTools:

R:=PolynomialRingx,y,z

R:=polynomial_ring

(1)

S:=PolynomialRings,t

S:=polynomial_ring

(2)

Note that the rational map should be a list of rational functions of R. Also, the number of polynomials in RM equals the number of variables of S.

RM:=x2x+y,y2x+y

RM:=x2x+y,y2x+y

(3)

F:=s1,t1

F:=s1,t1

(4)

cs:=RationalMapPreimageF,RM,R,S

cs:=constructible_set

(5)

Infocs,R

x2,y2,1

(6)

See Also

ConstructibleSet , Difference, MakePairwiseDisjoint, Projection , RationalMapImage, 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