expressions¶

class wrenfold.expressions.Variable¶

Concrete expression for a symbolic variable.

__eq__(self: wrenfold.expressions.Variable, other: wrenfold.expressions.Variable) → bool¶: Check for strict equality. This is not the same as mathematical equivalence.

__hash__(self: wrenfold.expressions.Variable) → int¶: Compute hash.

__init__(self: wrenfold.expressions.Variable, name: str, number_set: wrenfold.enumerations.NumberSet = <NumberSet.Unknown: 4>) → None¶

Construct a concrete Variable expression.

Parameters:

name – String name of the variable.
number_set – What numeric set to assume for this variable.

Examples

>>> from wrenfold import expressions, enumerations, sym
>>> x = expressions.Variable('x', number_set=enumerations.NumberSet.RealPositive)
>>> type(x)
wrenfold.expressions.Variable
>>> sym.cos(x.to_expression())
cos(x)

is_identical_to(self: wrenfold.expressions.Variable, other: wrenfold.expressions.Variable) → bool¶: Check for strict equality. This is not the same as mathematical equivalence.

property is_unique_variable¶: True if the variable is a unique_variable.

property name¶: Name of the variable.

property set¶: Numeric set the variable belongs to.

to_expression(self: wrenfold.expressions.Variable) → wrenfold.sym.Expr¶: Convert the variable back to a wrenfold.sym.Expr.