SolveTools - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : SolveTools : SolveTools/SemiAlgebraic

SolveTools

  

SemiAlgebraic

  

compute the solutions of a set of equations, inequations, and inequalities

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

SemiAlgebraic(sys)

SemiAlgebraic(sys, vars)

SemiAlgebraic(sys, vars, parameters=parms)

Parameters

sys

-

list or set of equations, inequations, or inequalities with rational real coefficients

vars

-

(optional) list or set of variables

parms

-

(optional) a list of parameters

Description

• 

The command SolveTools[SemiAlgebraic] computes the solutions of a rational polynomial system consisting of a combination of equations, inequations, and inequalities over the real numbers.

• 

If vars is not specified, the command determines the list of unknowns to be solved.

• 

SemiAlgebraic will solve for all the unknown symbols in the input system. If vars is specified, but does not include all symbols in the system then the omitted symbols will be treated as parameters and the output will be a piecewise expression. The parameters option can be used to specify an ordered list of parameters.

• 

The order of equations and inequalities in the solutions is determined by the order of the variables given in vars.  If vars is not specified, the order that was used to solve the polynomial system is used.

• 

This command is part of the SolveTools package, and can be used in the form SemiAlgebraic(..) only after executing the command with(SolveTools).  However, it can always be accessed through the long form of the command using SolveTools[SemiAlgebraic](..).

Examples

withSolveTools:

A set of inequations defines a region in the plane.

ineqsx2y<0&comma;x2&plus;y2<9&comma;0<3yx2

ineqs:=0<3yx2&comma;x2y<0&comma;x2&plus;y2<9

(1)

plots:-inequalineqs&comma;x&equals;2..2&comma;y&equals;0..3&comma;color&equals;Nautical Dark Gray

A semi-algebraic solution defines a decomposition of that region into strips.  The variable order x&comma;y gives vertical strips.

sasolxySolveTools:-SemiAlgebraicineqs&comma;x&comma;y

sasolxy:=RootOf_Z4&plus;_Z29&comma;1.625..1.562<x&comma;x<23&comma;x2<y&comma;y<x2&plus;9&comma;x&equals;23&comma;49<y&comma;y<1377&comma;23<x&comma;x<1&comma;13x&plus;23<y&comma;y<x2&plus;9&comma;x&equals;1&comma;1<y&comma;y<22&comma;1<x&comma;x<RootOf_Z4&plus;_Z29&comma;1.562..1.625&comma;x2<y&comma;y<x2&plus;9

(2)

plots:-inequalsasolxy&comma;x&equals;2..2&comma;y&equals;0..3&comma;optionsfeasible&equals;seqcolor&equals;catNautical &comma;floori&plus;12&comma;i&equals;1..nopssasolxy

The variable order x&comma;y gives horizontal strips.

sasolyxSolveTools:-SemiAlgebraicineqs&comma;y&comma;x

sasolyx:=49<y&comma;y<1&comma;y<x&comma;x<3y2&comma;y&equals;1&comma;1<x&comma;x<1&comma;1<y&comma;y<35&plus;11086&comma;y<x&comma;x<y&comma;y&equals;35&plus;11086&comma;11060&plus;1086<x&comma;x<11060&plus;1086&comma;35&plus;11086<y&comma;y<12&plus;1237&comma;y<x&comma;x<y&comma;y&equals;12&plus;1237&comma;122&plus;237<x&comma;x<122&plus;237&comma;12&plus;1237<y&comma;y<3&comma;y2&plus;9<x&comma;x<y2&plus;9

(3)

plots:-inequalsasolyx&comma;x&equals;2..2&comma;y&equals;0..3&comma;optionsfeasible&equals;seqcolor&equals;catNautical &comma;floori&plus;12&comma;i&equals;1..nopssasolyx

If no variables are given then they are deduced.

SemiAlgebraicx2&plus;x1&equals;0&comma;x&plus;y2<0

x&equals;12125&comma;122&plus;25<y&comma;y<122&plus;25

(4)

SemiAlgebraicx2&plus;x1&equals;0&comma;x&plus;y2<0&comma;y&comma;x

RootOf_Z4_Z21&comma;1.312..1.25<y&comma;y<RootOf_Z4_Z21&comma;1.25..1.312&comma;x&equals;12125

(5)

If some variables are not given, a piecewise case discussion is returned.

SemiAlgebraicax<b&comma;x

&lcub;x&equals;xAnda&equals;0&comma;0<bx<ba0<aba<xa<0otherwise

(6)

SemiAlgebraicax<b&comma;x&comma;&apos;parameters&apos;&equals;b&comma;a

&lcub;x<0Andb&equals;0&comma;0<a0<xAndb&equals;0&comma;a<0x&equals;xAnd0<b&comma;a&equals;0x<baAnd0<b&comma;0<aba<xAnd0<b&comma;a<0x<baAndb<0&comma;0<aba<xAndb<0&comma;a<0otherwise

(7)

SemiAlgebraicx2&plus;x1&equals;0&comma;x&plus;y2<a&comma;x&comma;y

&lcub;a12125x&equals;12125&comma;122&plus;25&plus;4a<y&comma;y<122&plus;25&plus;4aa<12512x&equals;12125&comma;51&sol;4<y&comma;y<51&sol;4a&equals;12512x&equals;12125&comma;122&plus;25&plus;4a<y&comma;y<122&plus;25&plus;4a&comma;x&equals;12512&comma;1225&plus;2&plus;4a<y&comma;y<1225&plus;2&plus;4a12512<a

(8)

SemiAlgebraicx2&plus;x1&equals;0&comma;0<x&plus;y2

x&equals;12125&comma;y<122&plus;25&comma;x&equals;12125&comma;122&plus;25<y&comma;x&equals;12512&comma;y&equals;y

(9)

SemiAlgebraicx2&plus;x1<0&comma;x2&plus;y2<9&comma;x&comma;y

12125<x&comma;x<12512&comma;x2&plus;9<y&comma;y<x2&plus;9

(10)

SemiAlgebraicx2y<0&comma;x2&plus;y2<9&comma;x&comma;y

RootOf_Z4&plus;_Z29&comma;1.625..1.562<x&comma;x<RootOf_Z4&plus;_Z29&comma;1.562..1.625&comma;x2<y&comma;y<x2&plus;9

(11)

Compatibility

• 

The SolveTools[SemiAlgebraic] command was introduced in Maple 16.

• 

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

• 

The parameters option was updated in Maple 17.

See Also

PDETools,Solve

RegularChains

RegularChains/SemiAlgebraicSetTools

RegularChains/SemiAlgebraicSetTools/CylindricalAlgebraicDecompose

RegularChains/SuggestVariableOrder

solve

SolveTools

 


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