Package org.matheclipse.core.reflection.system

Class FindInstance

java.lang.Object

org.matheclipse.core.eval.interfaces.AbstractEvaluator

org.matheclipse.core.eval.interfaces.AbstractFunctionEvaluator

org.matheclipse.core.eval.interfaces.AbstractFunctionOptionEvaluator

org.matheclipse.core.reflection.system.Solve

org.matheclipse.core.reflection.system.FindInstance

All Implemented Interfaces:

IFunctionEvaluator, IEvaluator

public class FindInstance
extends Solve

 FindInstance(equations, vars)
 

attempts to find one instance which solves the equations for the variables vars.

Examples

 >> FindInstance({x^2==4,x+y^2==6}, {x,y})
 {{x->-2,y->-2*Sqrt(2)}}
 

Related terms

Solve

Nested Class Summary

Nested classes/interfaces inherited from class org.matheclipse.core.reflection.system.Solve

Solve.IsWrongSolveExpression, Solve.NoSolution, Solve.SolveData

Field Summary

Fields inherited from class org.matheclipse.core.eval.interfaces.AbstractFunctionOptionEvaluator

optionSymbols

Fields inherited from interface org.matheclipse.core.eval.interfaces.IFunctionEvaluator

ARGS_0_0, ARGS_0_1, ARGS_0_1_0, ARGS_0_2, ARGS_0_2_0, ARGS_0_3, ARGS_0_INFINITY, ARGS_1_1, ARGS_1_2, ARGS_1_2_0, ARGS_1_2_1, ARGS_1_2_2, ARGS_1_3, ARGS_1_3_0, ARGS_1_3_1, ARGS_1_3_2, ARGS_1_4, ARGS_1_4_0, ARGS_1_4_1, ARGS_1_4_2, ARGS_1_5, ARGS_1_5_1, ARGS_1_INFINITY, ARGS_1_INFINITY_0, ARGS_1_INFINITY_1, ARGS_2_2, ARGS_2_2_1, ARGS_2_3, ARGS_2_3_0, ARGS_2_3_1, ARGS_2_3_2, ARGS_2_4, ARGS_2_4_1, ARGS_2_4_2, ARGS_2_INFINITY, ARGS_3_3, ARGS_3_4, ARGS_3_5, ARGS_3_6, ARGS_3_INFINITY, ARGS_4_4, ARGS_5_5, ARGS_6_6

Constructor Summary

Constructors

Constructor	Description
FindInstance()

Method Summary

Modifier and Type	Method	Description
IExpr	evaluate(IAST ast, int argSize, IExpr[] options, EvalEngine engine, IAST originalAST)	Try to find at least one solution for a set of equations (i.e.
int[]	expectedArgSize(IAST ast)	At index 0 return the "from", at index 1 return the "to" number of arguments, which are expected by this function.
void	setUp(ISymbol newSymbol)	Evaluate built-in rules and define Attributes for a function.
int	status()	The implementation status of this symbol or function.

Methods inherited from class org.matheclipse.core.reflection.system.Solve

solveIntegers

Methods inherited from class org.matheclipse.core.eval.interfaces.AbstractFunctionOptionEvaluator

evaluate, getOptionSymbols, setOptions, setOptions

Methods inherited from class org.matheclipse.core.eval.interfaces.AbstractFunctionEvaluator

createRuleFromMethod, determineOptions, extractImaginaryUnit, extractImaginaryUnit, getComplexExpr, getNegativePlusInTimes, getNormalizedNegativeExpression, getNormalizedNegativeExpression, getPeriodicParts, getPowerNegativeExpression, getPureImaginaryPart, imaginaryPart, initSerializedRules, isNegativeWeighted, isNegativeWeighted, peelOff, peelOffPlusI, peelOffPlusRational, peelOfTimes, peelOfTimes, realPart

Methods inherited from class org.matheclipse.core.eval.interfaces.AbstractEvaluator

defaultReturn, evalCatched, numericEval

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.matheclipse.core.interfaces.IEvaluator

await, setOptions

Methods inherited from interface org.matheclipse.core.eval.interfaces.IFunctionEvaluator

numericFunction, print

Constructor Detail

FindInstance

public FindInstance()

Method Detail

evaluate

public IExpr evaluate(IAST ast,
                      int argSize,
                      IExpr[] options,
                      EvalEngine engine,
                      IAST originalAST)

Try to find at least one solution for a set of equations (i.e. Equal[...] expressions).

Overrides:

evaluate in class Solve

status

public int status()

Description copied from interface: IFunctionEvaluator

The implementation status of this symbol or function.

• ✅ - ImplementationStatus.FULL_SUPPORT the symbol / function is supported. Note that this doesn't mean that every symbolic evaluation is supported.
• ☑ - ImplementationStatus.PARTIAL_SUPPORT the symbol / function is partially implemented and might not support most basic features of the element
• ❌ - ImplementationStatus.NO_SUPPORT the symbol / function is currently not supported
• ⚠ - ImplementationStatus.DEPRECATED the symbol / function is deprecated and will not be further improved
• 🧪 - ImplementationStatus.EXPERIMENTAL the symbol / function is an experimental implementation. It may not fully behave as expected.

Specified by:

status in interface IEvaluator

Specified by:

status in interface IFunctionEvaluator

Overrides:

status in class Solve

expectedArgSize

public int[] expectedArgSize(IAST ast)

Description copied from interface: IFunctionEvaluator

At index 0 return the "from", at index 1 return the "to" number of arguments, which are expected by this function. If the returned int array has length 3, the function allows headers unequal to the built-in function name (i.e. the function can be in "operator form").

Specified by:

expectedArgSize in interface IFunctionEvaluator

Overrides:

expectedArgSize in class Solve

Parameters:

ast - the abstract syntax tree (AST) those arguments should be checked

Returns:

null if no range for the number of arguments is specified.

setUp

public void setUp(ISymbol newSymbol)

Description copied from class: AbstractFunctionEvaluator

Evaluate built-in rules and define Attributes for a function.

Specified by:

setUp in interface IEvaluator

Overrides:

setUp in class Solve

Parameters:

newSymbol - the symbol which should be set up