SolveTools/AbstractRootOfSolution - Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : SolveTools/AbstractRootOfSolution

SolveTools

  

AbstractRootOfSolution

  

returns the solution to a system of equations as a group of abstract RootOfs

 

Calling Sequence

Parameters

Options

Description

Examples

Calling Sequence

AbstractRootOfSolution(eqns, vars)

Parameters

eqns

-

list or set of equations to solve

vars

-

list or set of variables for which to solve

approx

-

(optional) bounding boxes for the variables for a specific solution.

options

-

(optional) equation(s) of the form keyword = value, where keyword is one of 'simplified' or 'removemultiplicities'.

Options

• 

If the option 'simplify'=false is given, then the resulting RootOfs in the output will not be simplified.  The default is 'simplify'=true, in which case a call to simplify/RootOf will be performed.

• 

If the option 'removemultiplicities'=true is given, then the :-remove_multiplicities flag will be passed to simplify, if simplification is performed.

Description

• 

The AbstractRootOfSolution command takes a system of equations in multiple variables, rewrites each equation as an abstract function of one or more variables, solves the resulting system to obtain a solution in RootOf form, and then back-substitutes the original equation into the result and simplifies.

• 

The number of variables in vars must be greater than or equal to the number of equations in eqns (this method does not work with overdetermined systems, since each variable can be expressed as at most one RootOf in the output).

• 

If the solution to the system of abstract functions cannot be expressed as a group of RootOfs (because there are not enough indeterminates, or the system cannot be triangularized) then NULL is returned and the global variable _SolutionsMayBeLost is set to true.

Examples

SolveTools:-AbstractRootOfSolutionhx,t,gt,u,fx,x,t,u

t=RootOfhRootOff_Z,_Z,u=RootOfgRootOfhRootOff_Z,_Z,_Z,x=RootOff_Z

(1)

SolveTools:-AbstractRootOfSolutionr=fx,t,s=uht+h2t,v=mx,x,t,u

x=RootOfvm_Z,t=RootOfrfRootOfvm_Z,_Z,u=h2RootOfrfRootOfvm_Z,_Z+shRootOfrfRootOfvm_Z,_Z

(2)

SolveTools:-AbstractRootOfSolutionfx,y,z,fx,x,y,z

x=RootOff_Z,y=y,z=RootOffRootOff_Z,y,_Z

(3)

SolveTools:-AbstractRootOfSolutionx2=y,y2+y=6,x,y

x=RootOf_Z2RootOf_Z2+_Z6,y=RootOf_Z2+_Z6

(4)

See Also

RootOf

simplify/RootOf

solve

SolveTools