RootFinding[Parametric]
SampleSolutions
solve a system for given parameter values
Calling Sequence
Parameters
Description
Examples
SampleSolutions(m, s, options)
SampleSolutions(m, p, options)
SampleSolutions(m, k, options)
m
-
solution record, as returned by CellDecomposition
s
list of equations of the form parameter=rational number representing a point in parameter space
p
list of rational numbers representing a point in parameter space
k
positive integer; the index of a cell
options
(optional) solver options, see RootFinding[Isolate]
The SampleSolutions command computes all real solutions of the system
f=0,g>0f∈m:−Equations,⁢g∈m:−Inequalities
when the parameters are evaluated at the given point.
Solutions are returned as a list of lists of equations of the form variable=number, or variable=[number,number] when the output=interval option is specified.
The point can be specified in three different formats:
as a list s of equations of the form parameter=rational number,
as a list p of rational numbers, in which case the ith parameter in m:-Parameters gets replaced by pi for all i, or
as a cell index k, in which case the point is taken to be the kth sample point in m:-SamplePoints.
Any optional arguments are passed directly to RootFinding[Isolate].
This command is part of the RootFinding[Parametric] package, so it can be used in the form SampleSolutions(..) only after executing the command with(RootFinding[Parametric]). However, it can always be accessed through the long form of the command by using RootFinding[Parametric][SampleSolutions](..).
with⁡RootFindingParametric:
m≔CellDecomposition⁡x2+y2=a,x−y=b,0<a,x,y:
m:-SamplePoints
a=3022314549036572936765311208925819614629174706176,b=−1,a=1,b=−1,a=3022314549036572936765311208925819614629174706176,b=1,a=1,b=1
The following three calling sequences are equivalent:
SampleSolutions⁡m,a=1,b=−1
x=−1.,y=0.,x=0.,y=1.
SampleSolutions⁡m,1,−1
SampleSolutions⁡m,2
You can request the output in the form of isolating intervals instead of floating-point approximations using the option output=interval recognized by RootFinding[Isolate].
SampleSolutions⁡m,a=1,b=−1,output=interval
x=−1,−1,y=0,0,x=0,0,y=1,1
Solve the non-parametric system by substituting parameter values not corresponding to a sample point, and by requesting 15 digits of precision instead of the default of 10.
SampleSolutions⁡m,1,12,digits=15
x=−0.411437827766148,y=−0.911437827766148,x=0.911437827766148,y=0.411437827766148
See Also
CellDecomposition
Parametric
RootFinding
RootFinding[Isolate]
Download Help Document