enumerations

class wrenfold.enumerations.NumberSet(value, names=<not given>, *values, module=None, qualname=None, type=None, start=1, boundary=None)

The classification or mathematical type of a symbol.

Complex = 3
Real = 2
RealNonNegative = 1
RealPositive = 0
Unknown = 4
class wrenfold.enumerations.RelationalOperation(value, names=<not given>, *values, module=None, qualname=None, type=None, start=1, boundary=None)

Comparison operations are canonicalized in terms of these three comparison operators.

Equal = 2
LessThan = 0
LessThanOrEqual = 1
class wrenfold.enumerations.StdMathFunction(value, names=<not given>, *values, module=None, qualname=None, type=None, start=1, boundary=None)

Standard-library math functions utilized in generated code.

Abs = 15
Acos = 3
Acosh = 9
Asin = 4
Asinh = 10
Atan = 5
Atan2 = 18
Atanh = 11
Cos = 0
Cosh = 6
Exp = 13
Floor = 17
Log = 12
Powf = 20
Powi = 19
Signum = 16
Sin = 1
Sinh = 7
Sqrt = 14
Tan = 2
Tanh = 8
to_string

Convert to string.

class wrenfold.enumerations.SymbolicConstant(value, names=<not given>, *values, module=None, qualname=None, type=None, start=1, boundary=None)

Significant mathematical constants.

Euler = 0
Pi = 1