WOLFRAM

Wolfram Language & System Documentation Center

"HeldMathFormula" (Interpreter Type)

Mathematical formula in natural language.

Details

Allowed Forms

  • Any free-form mathematical equality or inequality.

Restriction Specifications

Interpretation

Examples

Basic Examples  (7)

Interpret mathematical formulas:

Wolfram Language code: Interpreter["HeldMathFormula"]["sin(x)+1 = 1.5"]
Wolfram Language code: Interpreter["HeldMathFormula"]["b^2-4ac < 0"]

Find out Wolfram Language representations of natural language queries:

Wolfram Language code: Interpreter["HeldMathFormula"]["limit of 1/x for x->0 = infinity"]

No evaluation is attempted when matching the choices:

Wolfram Language code: Interpreter[Restricted["HeldMathFormula", {{True, False}}]]["2=2"]
Wolfram Language code: Interpreter[Restricted["HeldMathFormula", {{ HoldComplete[2 == 2] , False}}]]["2=2"]

By default, all symbols are allowed. Restrict to a list of allowed symbols:

Wolfram Language code: Interpreter[Restricted["HeldMathFormula", {Greater}]]["x>2"]
Wolfram Language code: Interpreter[Restricted["HeldMathFormula", {Greater}]]["log e>2"]

By default, new symbols are created in $Context, but a custom context can be specified:

Wolfram Language code: Interpreter[Restricted["HeldMathFormula", All, Automatic, Automatic]]["x = y + 2"] Context[y]
Wolfram Language code: Interpreter[Restricted["HeldMathFormula", All, Automatic, "mycontext`"]]["h = log k"] Context[h]

Specify contexts for the allowed and output symbols:

Wolfram Language code: mycontext`b = 10; Interpreter[Restricted["HeldMathFormula", Automatic, {"mycontext`", "System`"}, "mycontext`"]]["a = b+c"] Context[c]

Prevent the creation of any new symbol:

Wolfram Language code: Interpreter[Restricted["HeldMathFormula", Automatic, Automatic, None]]["cos(pi) = -1"]
Wolfram Language code: Interpreter[Restricted["HeldMathFormula", Automatic, Automatic, None]]["cos(z) = -1"]