RegularChains - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : RegularChains : RegularChains/Info

RegularChains

  

Info

  

the defining polynomials of a structure in a raw format

  

Display

  

display the defining polynomials of a structure in a pretty format

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

Info(rc, R)

Info(rs, R)

Info(cs, R)

Info(cadcell, R)

Info(rsaset, R)

Info(saset, R)

Info(rsasys, R)

Info(ssasys, R)

Info(qff, R)

Info(b, R)

Info(pb, R)

Info(bp, R)

Info(src, R)

Display(rc, R)

Display(rs, R)

Display(cs, R)

Display(cadcell, R)

Display(rsaset, R)

Display(saset, R)

Display(rsasys, R)

Display(ssasys, R)

Display(qff, R)

Display(b, R)

Display(pb, R)

Display(bp, R)

Display(src, R)

Parameters

rc

-

regular chain

rs

-

regular system

cs

-

constructible set

cadcell

-

CAD cell

rsaset

-

regular semi-algebraic set

saset

-

semi-algebraic set

rsasys

-

regular semi-algebraic system

ssasys

-

squarefree semi-algebraic system

qff

-

quantifier-free formula

b

-

box

pb

-

parametric box

bp

-

border polynomial

src

-

subresultant chain

R

-

polynomial ring

Description

• 

If the first parameter is a regular chain rc of R, Info prints the defining equations of rc while Display prints the system of equations and inequations whose solution set is the quasi-component of rc.

• 

If the first parameter is a regular system rs of R, Info and Display prints the defining equations and inequations of rs whose solution set is the zero-set of rs.

• 

If the first parameter is a constructible set cs of R, Info and Display print the defining regular systems of cs.

• 

If the first parameter is a regular semi-algebraic system rsasys of R, Info and Display print the defining regular chain, positive inequalities and quantifier-free formula of rsasys.

• 

If the first parameter is a squarefree semi-algebraic system ssasys of R, Info and Display print the defining regular chain and positive inequalities of ssasys.

• 

If the first parameter is a regular semi-algebraic set rsaset, then Info and Display print its defining regular chain, root index list and quantifier-free formula.

• 

If the first parameter is a semi-algebraic set saset, then Info and Display print the defining regular semi-algebraic sets of saset.

• 

If the first parameter is a quantifier-free formula qff, then Info and Display print its defining inequations and inequalities.

• 

If the first parameter is a CAD cell cadcell, then Info and Display print its defining inequations and inequalities.

• 

If the first parameter is a box b , then Info and Display print isolation interval for each of the coordinates of the real point isolated by b.

• 

If the first parameter is a parametric box pb, then Info and Display print its defining regular chain, root index list and quantifier-free formula.

• 

If the first parameter is a border polynomial bp, then Info and Display print its defining polynomial factors.

• 

If the first parameter is a subresultant chain src, then Info prints its defining subresultant polynomials by ascending index while Display prints them in descending index.

• 

If the first parameter is a list, then both Info and Display are applied to all list elements recursively.

• 

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

Examples

withRegularChains:

withConstructibleSetTools:withParametricSystemTools:withSemiAlgebraicSetTools:withChainTools:

RPolynomialRingx,y,s;Fsy+1x,sx+1y

R:=polynomial_ring

F:=sy+1x,sx+1y

(1)

Print the variables, parameters and characteristic of a polynomial ring.

DisplayR

Variables:x,y,sParameters:Characteristic:0

(2)

Print the regular chains in a triangular decomposition of a system of polynomial equations.

decTriangularizeF,R,output=lazard

dec:=regular_chain,regular_chain

(3)

Infodec,R

y+1xs,y2+ys,x+1,y+1,s

(4)

Displaydec,R

{y+1xs=0y2+ys=0y+10,{x+1=0y+1=0s=0

(5)

Print the constructible set in a triangular decomposition of a system of polynomial equations and inequations..

decTriangularizeF,x,R,output=lazard

dec:=constructible_set

(6)

Infodec,R

y+1xs,y2+ys,s,x+1,y+1,s,1

(7)

Displaydec,R

{y+1xs=0y2+ys=0y+10s0,{x+1=0y+1=0s=0

(8)

Print the objects returned by a call to the RealRootClassification command.

rrcRealRootClassificationF,,,,1,1..k,R

rrc:=regular_semi_algebraic_set,border_polynomial

(9)

Inforrc,R

4s+1,1,,,s,s+14

(10)

Displayrrc,R

4s+1>0,s,s+14

(11)

pboxRepresentingBoxrrc11,R

pbox:=parametric_box

(12)

Infopbox,R

4s+1,1,,

(13)

Displaypbox,R

4s+1>0

(14)

RPolynomialRingx,d,c,b,a

R:=polynomial_ring

(15)

Fx2+d,d2+c21,c2+bc+a2

F:=x2+d,c2+d21,a2+bc+c2

(16)

rrcRealRootClassificationF,,,,4,1..k,R

rrc:=regular_semi_algebraic_set,border_polynomial

(17)

rsatrrc11

rsat:=regular_semi_algebraic_set

(18)

Inforsat,R

d,1,d2+a2+cb+1,d2+c21,1,1,1,2,2,1,2,2

(19)

Displayrsat,R

&lcub;a&equals;RootOf_Z2&plus;bcd2&plus;1&comma;index&equals;real1c&equals;RootOf_Z2&plus;d21&comma;index&equals;real1d<0&comma;&lcub;a&equals;RootOf_Z2&plus;bcd2&plus;1&comma;index&equals;real2c&equals;RootOf_Z2&plus;d21&comma;index&equals;real1d<0&comma;&lcub;a&equals;RootOf_Z2&plus;bcd2&plus;1&comma;index&equals;real1c&equals;RootOf_Z2&plus;d21&comma;index&equals;real2d<0&comma;&lcub;a&equals;RootOf_Z2&plus;bcd2&plus;1&comma;index&equals;real2c&equals;RootOf_Z2&plus;d21&comma;index&equals;real2d<0

(20)

Print the regular semi-algebraic systems returned by a call  to the RealTriangularize command.

RPolynomialRingx&comma;y&comma;s

R:=polynomial_ring

(21)

Fsy&plus;1x&comma;sx&plus;1y

F:=sy&plus;1x&comma;sx&plus;1y

(22)

rtdRealTriangularizeF&comma;R

rtd:=regular_semi_algebraic_system&comma;regular_semi_algebraic_system&comma;regular_semi_algebraic_system&comma;regular_semi_algebraic_system

(23)

Infortd&comma;R

4s&plus;1&comma;s&comma;1&comma;0&comma;y&plus;1xs&comma;y2&plus;ys&comma;&comma;true&comma;x&comma;y&comma;s&comma;&comma;true&comma;2x&plus;1&comma;2y&plus;1&comma;4s&plus;1&comma;&comma;true&comma;x&plus;1&comma;y&plus;1&comma;s&comma;

(24)

Displayrtd&comma;R

&lcub;y+1xs=0y2+ys=04s+1>0ands0&comma;&lcub;x=0y=0s=0&comma;&lcub;2x+1=02y+1=04s+1=0&comma;&lcub;x+1=0y+1=0s=0

(25)

Print the isolation boxes returned by a call to the RealRootIsolate command.

RPolynomialRingy&comma;x

R:=polynomial_ring

(26)

F1y&plus;1x&comma;1x&plus;1y

F:=1y&plus;1x&comma;1x&plus;1y

(27)

rriRealRootIsolateF&comma;&comma;&comma;&comma;R

rri:=box&comma;box

(28)

Inforri&comma;R

y&equals;74&comma;12&comma;x&equals;138&comma;5132&comma;x1y&plus;1&comma;x2x&plus;1&comma;y&equals;12&comma;2&comma;x&equals;12&comma;34&comma;x&plus;1y1&comma;x2&plus;x1

(29)

Displayrri&comma;R

&lcub;y&equals;74&comma;12x&equals;138&comma;5132&comma;&lcub;y&equals;12&comma;2x&equals;12&comma;34

(30)

Print the polynomials of a subresultant chain.

RPolynomialRingy&comma;x&comma;s

R:=polynomial_ring

(31)

psy3&plus;1x

p:=sy3&plus;1x

(32)

qsx&plus;1y2

q:=sx&plus;1y2

(33)

srcSubresultantChainp&comma;q&comma;y&comma;R

src:=subresultant_chain

(34)

Infosrc&comma;R

s3x2s2x3&plus;2sx4x53s2x2&plus;6sx33x43s2x&plus;6sx23x3s2&plus;2sxx2&comma;sx2y&plus;sx2sxyx3&plus;2sx2x2&plus;sx

(35)

Displaysrc&comma;R

&lcub;sx2xsyx3&plus;s2x2&plus;2s1x&plus;sx5&plus;2s3x4&plus;s2&plus;6s3x3&plus;s33s2&plus;6s1x2&plus;3s2&plus;2sxs2

(36)

Compatibility

• 

The RegularChains[Display] command was introduced in Maple 15.

• 

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

• 

The rsasys and ssasys parameters were introduced in Maple 16.

• 

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

See Also

ConstructibleSet

ConstructibleSetTools

Equations

RegularChains

RegularSystem

RepresentingChain

RepresentingInequations

RepresentingRegularSystems

 


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