SemiAlgebraicSetTools Subpackage - RegularChains - Factorization and Solving Equations - Mathematics - Maple Help - Maplesoft

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : RegularChains : SemiAlgebraicSetTools Subpackage

SemiAlgebraicSetTools Subpackage

Category Documents

Page 1 of 1
RegularChains/ChainTools/RemoveRedundantComponents
remove redundant quasi-components from a list of regular chains

RegularChains/ConstructibleSetTools/Complement
compute the complement of a constructible set

RegularChains/ConstructibleSetTools/Difference
compute the difference of two constructible sets

RegularChains/ConstructibleSetTools/EmptyConstructibleSet
construct the empty constructible set

RegularChains/ConstructibleSetTools/Intersection
compute the intersection of two constructible sets

RegularChains/ConstructibleSetTools/IsContained
check whether or not a constructible set is a subset of another one

RegularChains/ConstructibleSetTools/IsEmpty
check whether a constructible set is empty or not

RegularChains/ConstructibleSetTools/Projection
compute the projection of a variety, a constructible set onto a specified coordinate space

RegularChains/SemiAlgebraicSetTools/CylindricalAlgebraicDecompose
compute an F-invariant cylindrical algebraic decomposition

RegularChains/SemiAlgebraicSetTools/DisplayParametricBox
pretty printing of a parametric box object

RegularChains/SemiAlgebraicSetTools/DisplayQuantifierFreeFormula
pretty printing of a quantifier-free formula

RegularChains/SemiAlgebraicSetTools/IsParametricBox
check if an input is a parametric box


RegularChains/SemiAlgebraicSetTools/PositiveInequalities
return the positive inequalities of a regular semi-algebraic system

RegularChains/SemiAlgebraicSetTools/RealRootCounting
number of distinct real solutions of a semi-algebraic system



RegularChains/SemiAlgebraicSetTools/RepresentingBox
return the representing box of a semi-algebraic set

RegularChains/SemiAlgebraicSetTools/RepresentingChain
return the regular chain part of a regular semi-algebraic set/system

RegularChains/SemiAlgebraicSetTools/RepresentingQuantifierFreeFormula
return the quantifier-free formula of a parametric box or a regular semi-algebraic system

RegularChains/SemiAlgebraicSetTools/RepresentingRootIndex
return the root index in a parametric box

RegularChains/SemiAlgebraicSetTools/VariableOrdering
return the variable ordering defined in a quantifier-free formula

RegularChains/SemiAlgebraicSetTools
Overview of the RegularChains[SemiAlgebraicSetTools] Subpackage of RegularChains

Page 1 of 1