|
RegularChains[Info] - the defining polynomials of a structure in a raw format
RegularChains[Display] - display the defining polynomials of a structure in a pretty format
|
|
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
|
-
|
subresulant 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 subresulant chain src, then Info prints its defining subresulant 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.
|
|
|
|
Compatibility
|
|
|
•
|
The RegularChains[Display] command was introduced in Maple 15.
|
|
•
|
The rsasys and ssasys parameters were introduced in Maple 16.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
![R := PolynomialRing([x, y, s])](/support/helpjp/helpview.aspx?si=5373/file02680/math513.png) ![F := [s-(y+1)*x, s-(x+1)*y]](/support/helpjp/helpview.aspx?si=5373/file02680/math514.png)
|
|
![F := [s-(y+1)*x, s-(x+1)*y]](/support/helpjp/helpview.aspx?si=5373/file02680/math520.png)
| (1) |
Print the variables, parameters and characteristic of a polynomial ring.
|
>
|
|
|
![{[[Variables,:, [x,y,s]],[Parameters,:, `∅`],[Characteristic,:, 0]]](/support/helpjp/helpview.aspx?si=5373/file02680/math529.png)
| (2) |
Print the regular chains in a triangular decomposition of a system of polynomial equations.
|
>
|
|
|
![dec := [regular_chain, regular_chain]](/support/helpjp/helpview.aspx?si=5373/file02680/math538.png)
| (3) |
|
>
|
|
|
![[[(y+1)*x-s, y^2+y-s], [x+1, y+1, s]]](/support/helpjp/helpview.aspx?si=5373/file02680/math545.png)
| (4) |
|
>
|
|
|
![[PIECEWISE([(y+1)*x-s = 0, ``], [y^2+y-s = 0, ``], [y+1 <> 0, ``]), PIECEWISE([x+1 = 0, ``], [y+1 = 0, ``], [s = 0, ``])]](/support/helpjp/helpview.aspx?si=5373/file02680/math552.png)
| (5) |
Print the constructible set in a triangular decomposition of a system of polynomial equations and inequations..
|
>
|
![dec := Triangularize(F, [x], R, output = lazard)](/support/helpjp/helpview.aspx?si=5373/file02680/math558.png)
|
|
| (6) |
|
>
|
|
|
![[[(y+1)*x-s, y^2+y-s], [s]], [[x+1, y+1, s], [1]]](/support/helpjp/helpview.aspx?si=5373/file02680/math568.png)
| (7) |
|
>
|
|
|
![PIECEWISE([(y+1)*x-s = 0, ``], [y^2+y-s = 0, ``], [y+1 <> 0, ``], [s <> 0, ``]), PIECEWISE([x+1 = 0, ``], [y+1 = 0, ``], [s = 0, ``])](/support/helpjp/helpview.aspx?si=5373/file02680/math575.png)
| (8) |
Print the objects returned by a call to the RealRootClassification command.
|
>
|
![rrc := RealRootClassification(F, [], [], [], 1, 1 .. k, R)](/support/helpjp/helpview.aspx?si=5373/file02680/math583.png)
|
|
![rrc := [[regular_semi_algebraic_set], border_polynomial]](/support/helpjp/helpview.aspx?si=5373/file02680/math586.png)
| (9) |
|
>
|
|
|
![[[[[[4*s+1], [[1]]], [], []]], [s, s+1/4]]](/support/helpjp/helpview.aspx?si=5373/file02680/math593.png)
| (10) |
|
>
|
|
|
| (11) |
|
>
|
![pbox := RepresentingBox(rrc[1][1], R)](/support/helpjp/helpview.aspx?si=5373/file02680/math604.png)
|
|
| (12) |
|
>
|
|
|
![[[[4*s+1], [[1]]], [], []]](/support/helpjp/helpview.aspx?si=5373/file02680/math614.png)
| (13) |
|
>
|
|
|
| (14) |
|
>
|
![R := PolynomialRing([x, d, c, b, a])](/support/helpjp/helpview.aspx?si=5373/file02680/math625.png)
|
|
| (15) |
|
>
|
![F := [x^2+d, d^2+c^2-1, c^2+b*c+a^2]](/support/helpjp/helpview.aspx?si=5373/file02680/math632.png)
|
|
![F := [x^2+d, d^2+c^2-1, c^2+b*c+a^2]](/support/helpjp/helpview.aspx?si=5373/file02680/math635.png)
| (16) |
|
>
|
![rrc := RealRootClassification(F, [], [], [], 4, 1 .. k, R)](/support/helpjp/helpview.aspx?si=5373/file02680/math639.png)
|
|
![rrc := [[regular_semi_algebraic_set], border_polynomial]](/support/helpjp/helpview.aspx?si=5373/file02680/math642.png)
| (17) |
|
>
|
![rsat := rrc[1][1]](/support/helpjp/helpview.aspx?si=5373/file02680/math646.png)
|
|
| (18) |
|
>
|
|
|
![[[[d], [[-1]]], [-d^2+a^2+c*b+1, d^2+c^2-1], [[1, 1], [1, 2], [2, 1], [2, 2]]]](/support/helpjp/helpview.aspx?si=5373/file02680/math656.png)
| (19) |
|
>
|
|
|
| (20) |
Print the regular semi-algebraic systems returned by a call to the RealTriangularize command.
|
>
|
![R := PolynomialRing([x, y, s])](/support/helpjp/helpview.aspx?si=5373/file02680/math671.png)
|
|
| (21) |
|
>
|
![F := [s-(y+1)*x, s-(x+1)*y]](/support/helpjp/helpview.aspx?si=5373/file02680/math678.png)
|
|
![F := [s-(y+1)*x, s-(x+1)*y]](/support/helpjp/helpview.aspx?si=5373/file02680/math681.png)
| (22) |
|
>
|
|
|
![rtd := [regular_semi_algebraic_system, regular_semi_algebraic_system, regular_semi_algebraic_system, regular_semi_algebraic_system]](/support/helpjp/helpview.aspx?si=5373/file02680/math688.png)
| (23) |
|
>
|
|
|
![[[[[4*s+1, s], [[1, 0]]], [(y+1)*x-s, y^2+y-s], []], [true, [x, y, s], []], [true, [2*x+1, 2*y+1, 4*s+1], []], [true, [x+1, y+1, s], []]]](/support/helpjp/helpview.aspx?si=5373/file02680/math695.png)
| (24) |
|
>
|
|
|
| (25) |
Print the isolation boxes returned by a call to the RealRootIsolate command.
|
>
|
![R := PolynomialRing([y, x])](/support/helpjp/helpview.aspx?si=5373/file02680/math710.png)
|
|
| (26) |
|
>
|
![F := [1-(y+1)*x, 1-(x+1)*y]](/support/helpjp/helpview.aspx?si=5373/file02680/math717.png)
|
|
![F := [1-(y+1)*x, 1-(x+1)*y]](/support/helpjp/helpview.aspx?si=5373/file02680/math720.png)
| (27) |
|
>
|
![rri := RealRootIsolate(F, [], [], [], R)](/support/helpjp/helpview.aspx?si=5373/file02680/math724.png)
|
|
![rri := [box, box]](/support/helpjp/helpview.aspx?si=5373/file02680/math727.png)
| (28) |
|
>
|
|
|
![[[[y = [-7/4, -1/2], x = [-13/8, -51/32]], [(-x-1)*y+1, -x^2-x+1]], [[y = [1/2, 2], x = [1/2, 3/4]], [(x+1)*y-1, x^2+x-1]]]](/support/helpjp/helpview.aspx?si=5373/file02680/math734.png)
| (29) |
|
>
|
|
|
![[PIECEWISE([y = [-7/4, -1/2], ``], [x = [-13/8, -51/32], ``]), PIECEWISE([y = [1/2, 2], ``], [x = [1/2, 3/4], ``])]](/support/helpjp/helpview.aspx?si=5373/file02680/math741.png)
| (30) |
Print the polynomials of a subresulant chain.
|
>
|
![R := PolynomialRing([y, x, s])](/support/helpjp/helpview.aspx?si=5373/file02680/math747.png)
|
|
| (31) |
|
>
|
|
|
| (32) |
|
>
|
|
|
| (33) |
|
>
|
|
|
| (34) |
|
>
|
|
|
![[-x^5-3*x^4+2*x^4*s+6*x^3*s-x^3*s^2-3*x^3-x^2+x^2*s^3-3*x^2*s^2+6*x^2*s+2*x*s-3*x*s^2-s^2, x^2*s-x^3+2*x*s-2*x^2-y*x^2*s+s-x-y*x*s]](/support/helpjp/helpview.aspx?si=5373/file02680/math778.png)
| (35) |
|
>
|
|
|
![PIECEWISE([(-x^2*s-x*s)*y-x^3+(-2+s)*x^2+(-1+2*s)*x+s, ``], [-x^5+(-3+2*s)*x^4+(6*s-s^2-3)*x^3+(-1+s^3-3*s^2+6*s)*x^2+(2*s-3*s^2)*x-s^2, ``])](/support/helpjp/helpview.aspx?si=5373/file02680/math785.png)
| (36) |
|
|
