Enum Expr

Source

pub enum Expr {
Show 147 variants
    Constant(f64),
    BigInt(BigInt),
    Rational(BigRational),
    Boolean(bool),
    Variable(String),
    Pattern(String),
    Add(Arc<Expr>, Arc<Expr>),
    Sub(Arc<Expr>, Arc<Expr>),
    Mul(Arc<Expr>, Arc<Expr>),
    Div(Arc<Expr>, Arc<Expr>),
    Power(Arc<Expr>, Arc<Expr>),
    Neg(Arc<Expr>),
    AddList(Vec<Expr>),
    MulList(Vec<Expr>),
    Sin(Arc<Expr>),
    Cos(Arc<Expr>),
    Tan(Arc<Expr>),
    Exp(Arc<Expr>),
    Log(Arc<Expr>),
    Abs(Arc<Expr>),
    Sqrt(Arc<Expr>),
    Eq(Arc<Expr>, Arc<Expr>),
    Lt(Arc<Expr>, Arc<Expr>),
    Gt(Arc<Expr>, Arc<Expr>),
    Le(Arc<Expr>, Arc<Expr>),
    Ge(Arc<Expr>, Arc<Expr>),
    Matrix(Vec<Vec<Expr>>),
    Vector(Vec<Expr>),
    Complex(Arc<Expr>, Arc<Expr>),
    Transpose(Arc<Expr>),
    MatrixMul(Arc<Expr>, Arc<Expr>),
    MatrixVecMul(Arc<Expr>, Arc<Expr>),
    Inverse(Arc<Expr>),
    Derivative(Arc<Expr>, String),
    DerivativeN(Arc<Expr>, String, Arc<Expr>),
    Integral {
        integrand: Arc<Expr>,
        var: Arc<Expr>,
        lower_bound: Arc<Expr>,
        upper_bound: Arc<Expr>,
    },
    VolumeIntegral {
        scalar_field: Arc<Expr>,
        volume: Arc<Expr>,
    },
    SurfaceIntegral {
        vector_field: Arc<Expr>,
        surface: Arc<Expr>,
    },
    Limit(Arc<Expr>, String, Arc<Expr>),
    Sum {
        body: Arc<Expr>,
        var: Arc<Expr>,
        from: Arc<Expr>,
        to: Arc<Expr>,
    },
    Series(Arc<Expr>, String, Arc<Expr>, Arc<Expr>),
    Summation(Arc<Expr>, String, Arc<Expr>, Arc<Expr>),
    Product(Arc<Expr>, String, Arc<Expr>, Arc<Expr>),
    ConvergenceAnalysis(Arc<Expr>, String),
    AsymptoticExpansion(Arc<Expr>, String, Arc<Expr>, Arc<Expr>),
    Sec(Arc<Expr>),
    Csc(Arc<Expr>),
    Cot(Arc<Expr>),
    ArcSin(Arc<Expr>),
    ArcCos(Arc<Expr>),
    ArcTan(Arc<Expr>),
    ArcSec(Arc<Expr>),
    ArcCsc(Arc<Expr>),
    ArcCot(Arc<Expr>),
    Sinh(Arc<Expr>),
    Cosh(Arc<Expr>),
    Tanh(Arc<Expr>),
    Sech(Arc<Expr>),
    Csch(Arc<Expr>),
    Coth(Arc<Expr>),
    ArcSinh(Arc<Expr>),
    ArcCosh(Arc<Expr>),
    ArcTanh(Arc<Expr>),
    ArcSech(Arc<Expr>),
    ArcCsch(Arc<Expr>),
    ArcCoth(Arc<Expr>),
    LogBase(Arc<Expr>, Arc<Expr>),
    Atan2(Arc<Expr>, Arc<Expr>),
    Binomial(Arc<Expr>, Arc<Expr>),
    Factorial(Arc<Expr>),
    Permutation(Arc<Expr>, Arc<Expr>),
    Combination(Arc<Expr>, Arc<Expr>),
    FallingFactorial(Arc<Expr>, Arc<Expr>),
    RisingFactorial(Arc<Expr>, Arc<Expr>),
    Path(PathType, Arc<Expr>, Arc<Expr>),
    Boundary(Arc<Expr>),
    Domain(String),
    Pi,
    E,
    Infinity,
    NegativeInfinity,
    Gamma(Arc<Expr>),
    Beta(Arc<Expr>, Arc<Expr>),
    Erf(Arc<Expr>),
    Erfc(Arc<Expr>),
    Erfi(Arc<Expr>),
    Zeta(Arc<Expr>),
    BesselJ(Arc<Expr>, Arc<Expr>),
    BesselY(Arc<Expr>, Arc<Expr>),
    LegendreP(Arc<Expr>, Arc<Expr>),
    LaguerreL(Arc<Expr>, Arc<Expr>),
    HermiteH(Arc<Expr>, Arc<Expr>),
    Digamma(Arc<Expr>),
    KroneckerDelta(Arc<Expr>, Arc<Expr>),
    And(Vec<Expr>),
    Or(Vec<Expr>),
    Not(Arc<Expr>),
    Xor(Arc<Expr>, Arc<Expr>),
    Implies(Arc<Expr>, Arc<Expr>),
    Equivalent(Arc<Expr>, Arc<Expr>),
    Predicate {
        name: String,
        args: Vec<Expr>,
    },
    ForAll(String, Arc<Expr>),
    Exists(String, Arc<Expr>),
    Union(Vec<Expr>),
    Interval(Arc<Expr>, Arc<Expr>, bool, bool),
    Polynomial(Vec<Expr>),
    SparsePolynomial(SparsePolynomial),
    Floor(Arc<Expr>),
    IsPrime(Arc<Expr>),
    Gcd(Arc<Expr>, Arc<Expr>),
    Mod(Arc<Expr>, Arc<Expr>),
    Solve(Arc<Expr>, String),
    Substitute(Arc<Expr>, String, Arc<Expr>),
    System(Vec<Expr>),
    Solutions(Vec<Expr>),
    ParametricSolution {
        x: Arc<Expr>,
        y: Arc<Expr>,
    },
    RootOf {
        poly: Arc<Expr>,
        index: u32,
    },
    InfiniteSolutions,
    NoSolution,
    Ode {
        equation: Arc<Expr>,
        func: String,
        var: String,
    },
    Pde {
        equation: Arc<Expr>,
        func: String,
        vars: Vec<String>,
    },
    GeneralSolution(Arc<Expr>),
    ParticularSolution(Arc<Expr>),
    Fredholm(Arc<Expr>, Arc<Expr>, Arc<Expr>, Arc<Expr>),
    Volterra(Arc<Expr>, Arc<Expr>, Arc<Expr>, Arc<Expr>),
    Apply(Arc<Expr>, Arc<Expr>),
    Tuple(Vec<Expr>),
    Dag(Arc<DagNode>),
    Distribution(Arc<dyn Distribution>),
    Max(Arc<Expr>, Arc<Expr>),
    Quantity(Arc<UnitQuantity>),
    QuantityWithValue(Arc<Expr>, String),
    CustomZero,
    CustomString(String),
    CustomArcOne(Arc<Expr>),
    CustomArcTwo(Arc<Expr>, Arc<Expr>),
    CustomArcThree(Arc<Expr>, Arc<Expr>, Arc<Expr>),
    CustomArcFour(Arc<Expr>, Arc<Expr>, Arc<Expr>, Arc<Expr>),
    CustomArcFive(Arc<Expr>, Arc<Expr>, Arc<Expr>, Arc<Expr>, Arc<Expr>),
    CustomVecOne(Vec<Expr>),
    CustomVecTwo(Vec<Expr>, Vec<Expr>),
    CustomVecThree(Vec<Expr>, Vec<Expr>, Vec<Expr>),
    CustomVecFour(Vec<Expr>, Vec<Expr>, Vec<Expr>, Vec<Expr>),
    CustomVecFive(Vec<Expr>, Vec<Expr>, Vec<Expr>, Vec<Expr>, Vec<Expr>),
    UnaryList(String, Arc<Expr>),
    BinaryList(String, Arc<Expr>, Arc<Expr>),
    NaryList(String, Vec<Expr>),
}

Expand description

The central enum representing a mathematical expression in the symbolic system.

Expr is an Abstract Syntax Tree (AST) that can represent a wide variety of mathematical objects and operations. Manual implementations for Debug, Clone, PartialEq, Eq, and Hash are provided to handle variants containing types that do not derive these traits automatically (e.g., f64, Arc<dyn Distribution>).

Variants§

§

Constant(f64)

A floating-point constant (64-bit).

§

BigInt(BigInt)

An arbitrary-precision integer.

§

Rational(BigRational)

An arbitrary-precision rational number.

§

Boolean(bool)

A boolean value (true or false).

§

Variable(String)

A symbolic variable, represented by a string name.

§

Pattern(String)

A pattern variable, used for rule-matching systems.

§

Add(Arc<Expr>, Arc<Expr>)

Addition of two expressions.

§

Sub(Arc<Expr>, Arc<Expr>)

Subtraction of two expressions.

§

Mul(Arc<Expr>, Arc<Expr>)

Multiplication of two expressions.

§

Div(Arc<Expr>, Arc<Expr>)

Division of two expressions.

§

Power(Arc<Expr>, Arc<Expr>)

Exponentiation (base raised to the power of exponent).

§

Neg(Arc<Expr>)

Negation of an expression.

§

AddList(Vec<Expr>)

N-ary Addition (Sum of a list of expressions).

This variant represents the sum of multiple expressions in a single operation, which is more efficient than nested binary Add operations for associative operations. It’s part of the AST to DAG migration strategy, allowing for more flexible expression representation without breaking existing code.

§Examples

use rssn::symbolic::core::Expr;

// Representing a + b + c + d as a single n-ary operation
let sum = Expr::AddList(vec![
    Expr::Variable("a".to_string()),
    Expr::Variable("b".to_string()),
    Expr::Variable("c".to_string()),
    Expr::Variable("d".to_string()),
]);

§

MulList(Vec<Expr>)

N-ary Multiplication (Product of a list of expressions).

This variant represents the product of multiple expressions in a single operation, which is more efficient than nested binary Mul operations for associative operations. It’s part of the AST to DAG migration strategy, allowing for more flexible expression representation without breaking existing code.

§Examples

use rssn::symbolic::core::Expr;

// Representing a * b * c * d as a single n-ary operation
let product = Expr::MulList(vec![
    Expr::Variable("a".to_string()),
    Expr::Variable("b".to_string()),
    Expr::Variable("c".to_string()),
    Expr::Variable("d".to_string()),
]);

§

Sin(Arc<Expr>)

The sine function.

§

Cos(Arc<Expr>)

The cosine function.

§

Tan(Arc<Expr>)

The tangent function.

§

Exp(Arc<Expr>)

The natural exponential function, e^x.

§

Log(Arc<Expr>)

The natural logarithm, ln(x).

§

Abs(Arc<Expr>)

The absolute value function, |x|.

§

Sqrt(Arc<Expr>)

The square root function.

§

Eq(Arc<Expr>, Arc<Expr>)

Represents an equation (left = right).

§

Lt(Arc<Expr>, Arc<Expr>)

Less than (<).

§

Gt(Arc<Expr>, Arc<Expr>)

Greater than (>).

§

Le(Arc<Expr>, Arc<Expr>)

Less than or equal to (<=).

§

Ge(Arc<Expr>, Arc<Expr>)

Greater than or equal to (>=).

§

Matrix(Vec<Vec<Expr>>)

A matrix, represented as a vector of row vectors.

§

Vector(Vec<Expr>)

A vector (or column matrix).

§

Complex(Arc<Expr>, Arc<Expr>)

A complex number with real and imaginary parts.

§

Transpose(Arc<Expr>)

Matrix transpose.

§

MatrixMul(Arc<Expr>, Arc<Expr>)

Matrix-matrix multiplication.

§

MatrixVecMul(Arc<Expr>, Arc<Expr>)

Matrix-vector multiplication.

§

Inverse(Arc<Expr>)

Matrix inverse.

§

Derivative(Arc<Expr>, String)

The derivative of an expression with respect to a variable.

§

DerivativeN(Arc<Expr>, String, Arc<Expr>)

The N-th derivative of an expression.

§

Integral

A definite integral of integrand with respect to var from lower_bound to upper_bound.

Fields

§integrand: Arc<Expr>

§var: Arc<Expr>

§lower_bound: Arc<Expr>

§upper_bound: Arc<Expr>

§

VolumeIntegral

A volume integral of a scalar field over a specified volume.

Fields

§scalar_field: Arc<Expr>

§volume: Arc<Expr>

§

SurfaceIntegral

A surface integral of a vector field over a specified surface.

Fields

§vector_field: Arc<Expr>

§surface: Arc<Expr>

§

Limit(Arc<Expr>, String, Arc<Expr>)

A limit of an expression as a variable approaches a point.

§

Sum

A summation of body with var from from to to.

Fields

§body: Arc<Expr>

§var: Arc<Expr>

§from: Arc<Expr>

§to: Arc<Expr>

§

Series(Arc<Expr>, String, Arc<Expr>, Arc<Expr>)

A finite or infinite series expansion.

§

Summation(Arc<Expr>, String, Arc<Expr>, Arc<Expr>)

A summation over a range (similar to Sum).

§

Product(Arc<Expr>, String, Arc<Expr>, Arc<Expr>)

A product of terms over a range.

§

ConvergenceAnalysis(Arc<Expr>, String)

Represents a convergence analysis for a series.

§

AsymptoticExpansion(Arc<Expr>, String, Arc<Expr>, Arc<Expr>)

An asymptotic expansion of a function.

§

Sec(Arc<Expr>)

Secant function.

§

Csc(Arc<Expr>)

Cosecant function.

§

Cot(Arc<Expr>)

Cotangent function.

§

ArcSin(Arc<Expr>)

Arcsine (inverse sine).

§

ArcCos(Arc<Expr>)

Arccosine (inverse cosine).

§

ArcTan(Arc<Expr>)

Arctangent (inverse tangent).

§

ArcSec(Arc<Expr>)

Arcsecant (inverse secant).

§

ArcCsc(Arc<Expr>)

Arccosecant (inverse cosecant).

§

ArcCot(Arc<Expr>)

Arccotangent (inverse cotangent).

§

Sinh(Arc<Expr>)

Hyperbolic sine.

§

Cosh(Arc<Expr>)

Hyperbolic cosine.

§

Tanh(Arc<Expr>)

Hyperbolic tangent.

§

Sech(Arc<Expr>)

Hyperbolic secant.

§

Csch(Arc<Expr>)

Hyperbolic cosecant.

§

Coth(Arc<Expr>)

Hyperbolic cotangent.

§

ArcSinh(Arc<Expr>)

Inverse hyperbolic sine.

§

ArcCosh(Arc<Expr>)

Inverse hyperbolic cosine.

§

ArcTanh(Arc<Expr>)

Inverse hyperbolic tangent.

§

ArcSech(Arc<Expr>)

Inverse hyperbolic secant.

§

ArcCsch(Arc<Expr>)

Inverse hyperbolic cosecant.

§

ArcCoth(Arc<Expr>)

Inverse hyperbolic cotangent.

§

LogBase(Arc<Expr>, Arc<Expr>)

Logarithm with a specified base.

§

Atan2(Arc<Expr>, Arc<Expr>)

Two-argument arctangent.

§

Binomial(Arc<Expr>, Arc<Expr>)

Binomial coefficient, “n choose k”.

§

Factorial(Arc<Expr>)

Factorial, n!.

§

Permutation(Arc<Expr>, Arc<Expr>)

Permutations, P(n, k).

§

Combination(Arc<Expr>, Arc<Expr>)

Combinations, C(n, k).

§

FallingFactorial(Arc<Expr>, Arc<Expr>)

Falling factorial.

§

RisingFactorial(Arc<Expr>, Arc<Expr>)

Rising factorial.

§

Path(PathType, Arc<Expr>, Arc<Expr>)

A path for path integrals (e.g., line, circle).

§

Boundary(Arc<Expr>)

Represents the boundary of a domain.

§

Domain(String)

Represents a named domain (e.g., for integrals).

§

Pi

The mathematical constant Pi (π).

§

E

The mathematical constant E (e, Euler’s number).

§

Infinity

Represents infinity.

§

NegativeInfinity

Represents negative infinity.

§

Gamma(Arc<Expr>)

The Gamma function.

§

Beta(Arc<Expr>, Arc<Expr>)

The Beta function.

§

Erf(Arc<Expr>)

The error function.

§

Erfc(Arc<Expr>)

The complementary error function.

§

Erfi(Arc<Expr>)

The imaginary error function.

§

Zeta(Arc<Expr>)

The Riemann Zeta function.

§

BesselJ(Arc<Expr>, Arc<Expr>)

Bessel function of the first kind.

§

BesselY(Arc<Expr>, Arc<Expr>)

Bessel function of the second kind.

§

LegendreP(Arc<Expr>, Arc<Expr>)

Legendre polynomial.

§

LaguerreL(Arc<Expr>, Arc<Expr>)

Laguerre polynomial.

§

HermiteH(Arc<Expr>, Arc<Expr>)

Hermite polynomial.

§

Digamma(Arc<Expr>)

The digamma function (psi function).

§

KroneckerDelta(Arc<Expr>, Arc<Expr>)

The Kronecker delta function.

§

And(Vec<Expr>)

Logical AND of a vector of expressions.

§

Or(Vec<Expr>)

Logical OR of a vector of expressions.

§

Not(Arc<Expr>)

Logical NOT.

§

Xor(Arc<Expr>, Arc<Expr>)

Logical XOR (exclusive OR).

§

Implies(Arc<Expr>, Arc<Expr>)

Logical implication (A => B).

§

Equivalent(Arc<Expr>, Arc<Expr>)

Logical equivalence (A <=> B).

§

Predicate

A predicate with a name and arguments.

Fields

§name: String

§args: Vec<Expr>

§

ForAll(String, Arc<Expr>)

Universal quantifier (“for all”).

§

Exists(String, Arc<Expr>)

Existential quantifier (“there exists”).

§

Union(Vec<Expr>)

A union of sets or intervals.

§

Interval(Arc<Expr>, Arc<Expr>, bool, bool)

An interval with a lower and upper bound, and flags for inclusion.

§

Polynomial(Vec<Expr>)

A dense polynomial represented by its coefficients.

§

SparsePolynomial(SparsePolynomial)

A sparse polynomial.

§

Floor(Arc<Expr>)

The floor function.

§

IsPrime(Arc<Expr>)

A predicate to check if a number is prime.

§

Gcd(Arc<Expr>, Arc<Expr>)

Greatest Common Divisor (GCD).

§

Mod(Arc<Expr>, Arc<Expr>)

Modulo operation.

§

Solve(Arc<Expr>, String)

Represents the action of solving an equation for a variable.

§

Substitute(Arc<Expr>, String, Arc<Expr>)

Represents the substitution of a variable in an expression with another expression.

§

System(Vec<Expr>)

Represents a system of equations to be solved.

§

Solutions(Vec<Expr>)

Represents the set of solutions to an equation or system.

§

ParametricSolution

A parametric solution, e.g., for a system of ODEs.

Fields

§x: Arc<Expr>

§y: Arc<Expr>

§

RootOf

Represents the i-th root of a polynomial.

Fields

§poly: Arc<Expr>

§index: u32

§

InfiniteSolutions

Represents infinite solutions.

§

NoSolution

Represents that no solution exists.

§

Ode

An ordinary differential equation (ODE).

Fields

§equation: Arc<Expr>

§func: String

§var: String

§

Pde

A partial differential equation (PDE).

Fields

§equation: Arc<Expr>

§func: String

§vars: Vec<String>

§

GeneralSolution(Arc<Expr>)

The general solution to a differential equation.

§

ParticularSolution(Arc<Expr>)

A particular solution to a differential equation.

§

Fredholm(Arc<Expr>, Arc<Expr>, Arc<Expr>, Arc<Expr>)

A Fredholm integral equation.

§

Volterra(Arc<Expr>, Arc<Expr>, Arc<Expr>, Arc<Expr>)

A Volterra integral equation.

§

Apply(Arc<Expr>, Arc<Expr>)

Application of a function to an argument.

§

Tuple(Vec<Expr>)

A tuple of expressions.

§

Dag(Arc<DagNode>)

A node in a Directed Acyclic Graph (DAG) for expression sharing.

This is now the preferred representation for all expressions. When serialized, the DAG structure is preserved.

§

Distribution(Arc<dyn Distribution>)

A probability distribution.

§

Max(Arc<Expr>, Arc<Expr>)

Maximum of two expressions.

§

Quantity(Arc<UnitQuantity>)

A unified quantity with its value and unit string.

§

QuantityWithValue(Arc<Expr>, String)

A temporary representation of a value with a unit string, before unification.

§

CustomZero

👎Deprecated since 0.1.18: Please use the ‘UnaryList’ variant instead.

§

CustomString(String)

👎Deprecated since 0.1.18: Please use the ‘UnaryList’ variant instead.

§

CustomArcOne(Arc<Expr>)

👎Deprecated since 0.1.18: Please use the ‘UnaryList’ variant instead.

§

CustomArcTwo(Arc<Expr>, Arc<Expr>)

👎Deprecated since 0.1.18: Please use the ‘BinaryList’ variant instead.

§

CustomArcThree(Arc<Expr>, Arc<Expr>, Arc<Expr>)

👎Deprecated since 0.1.18: Please use the ‘NaryList’ variant instead.

§

CustomArcFour(Arc<Expr>, Arc<Expr>, Arc<Expr>, Arc<Expr>)

👎Deprecated since 0.1.18: Please use the ‘NaryList’ variant instead.

§

CustomArcFive(Arc<Expr>, Arc<Expr>, Arc<Expr>, Arc<Expr>, Arc<Expr>)

👎Deprecated since 0.1.18: Please use the ‘NaryList’ variant instead.

§

CustomVecOne(Vec<Expr>)

👎Deprecated since 0.1.18: Please use the ‘UnaryList’ variant instead.

§

CustomVecTwo(Vec<Expr>, Vec<Expr>)

👎Deprecated since 0.1.18: Please use the ‘BinaryList’ variant instead.

§

CustomVecThree(Vec<Expr>, Vec<Expr>, Vec<Expr>)

👎Deprecated since 0.1.18: Please use the ‘NaryList’ variant instead.

§

CustomVecFour(Vec<Expr>, Vec<Expr>, Vec<Expr>, Vec<Expr>)

👎Deprecated since 0.1.18: Please use the ‘NaryList’ variant instead.

§

CustomVecFive(Vec<Expr>, Vec<Expr>, Vec<Expr>, Vec<Expr>, Vec<Expr>)

👎Deprecated since 0.1.18: Please use the ‘NaryList’ variant instead.

§

UnaryList(String, Arc<Expr>)

Generic unary operation identified by a name.

This variant allows for extensible unary operations without modifying the Expr enum. Operations are registered in the DYNAMIC_OP_REGISTRY with their properties (associativity, commutativity, etc.). This is part of the plugin system and future-proofing strategy.

§Examples

use rssn::symbolic::core::{Expr, register_dynamic_op, DynamicOpProperties};
use std::sync::Arc;

// Register a custom operation
register_dynamic_op("my_func", DynamicOpProperties {
    name: "my_func".to_string(),
    description: "My custom function".to_string(),
    is_associative: false,
    is_commutative: false,
});

// Use it
let expr = Expr::UnaryList(
    "my_func".to_string(),
    Arc::new(Expr::Variable("x".to_string()))
);

§

BinaryList(String, Arc<Expr>, Arc<Expr>)

Generic binary operation identified by a name.

This variant allows for extensible binary operations without modifying the Expr enum. Operations are registered in the DYNAMIC_OP_REGISTRY with their properties.

§Examples

use rssn::symbolic::core::{Expr, register_dynamic_op, DynamicOpProperties};
use std::sync::Arc;

// Register a custom binary operation
register_dynamic_op("my_binop", DynamicOpProperties {
    name: "my_binop".to_string(),
    description: "My custom binary operation".to_string(),
    is_associative: true,
    is_commutative: true,
});

// Use it
let expr = Expr::BinaryList(
    "my_binop".to_string(),
    Arc::new(Expr::Variable("x".to_string())),
    Arc::new(Expr::Variable("y".to_string()))
);

§

NaryList(String, Vec<Expr>)

Generic n-ary operation identified by a name.

This variant allows for extensible n-ary operations without modifying the Expr enum. Operations are registered in the DYNAMIC_OP_REGISTRY with their properties. This is particularly useful for operations that can take a variable number of arguments.

§Examples

use rssn::symbolic::core::{Expr, register_dynamic_op, DynamicOpProperties};

// Register a custom n-ary operation
register_dynamic_op("my_nary", DynamicOpProperties {
    name: "my_nary".to_string(),
    description: "My custom n-ary operation".to_string(),
    is_associative: true,
    is_commutative: false,
});

// Use it
let expr = Expr::NaryList(
    "my_nary".to_string(),
    vec![
        Expr::Variable("a".to_string()),
        Expr::Variable("b".to_string()),
        Expr::Variable("c".to_string()),
    ]
);

Enum Expr Copy item path

Variants§

Constant(f64)

BigInt(BigInt)

Rational(BigRational)

Boolean(bool)

Variable(String)

Pattern(String)

Add(Arc<Expr>, Arc<Expr>)

Sub(Arc<Expr>, Arc<Expr>)

Mul(Arc<Expr>, Arc<Expr>)

Div(Arc<Expr>, Arc<Expr>)

Power(Arc<Expr>, Arc<Expr>)

Neg(Arc<Expr>)

AddList(Vec<Expr>)

§Examples

MulList(Vec<Expr>)

§Examples

Sin(Arc<Expr>)

Cos(Arc<Expr>)

Tan(Arc<Expr>)

Exp(Arc<Expr>)

Log(Arc<Expr>)

Abs(Arc<Expr>)

Sqrt(Arc<Expr>)

Eq(Arc<Expr>, Arc<Expr>)

Lt(Arc<Expr>, Arc<Expr>)

Gt(Arc<Expr>, Arc<Expr>)

Le(Arc<Expr>, Arc<Expr>)

Ge(Arc<Expr>, Arc<Expr>)

Matrix(Vec<Vec<Expr>>)

Vector(Vec<Expr>)

Complex(Arc<Expr>, Arc<Expr>)

Transpose(Arc<Expr>)

MatrixMul(Arc<Expr>, Arc<Expr>)

MatrixVecMul(Arc<Expr>, Arc<Expr>)

Inverse(Arc<Expr>)

Derivative(Arc<Expr>, String)

DerivativeN(Arc<Expr>, String, Arc<Expr>)

Integral

Fields

VolumeIntegral

Fields

SurfaceIntegral

Fields

Limit(Arc<Expr>, String, Arc<Expr>)

Sum

Fields

Series(Arc<Expr>, String, Arc<Expr>, Arc<Expr>)

Summation(Arc<Expr>, String, Arc<Expr>, Arc<Expr>)

Product(Arc<Expr>, String, Arc<Expr>, Arc<Expr>)

ConvergenceAnalysis(Arc<Expr>, String)

AsymptoticExpansion(Arc<Expr>, String, Arc<Expr>, Arc<Expr>)

Sec(Arc<Expr>)

Csc(Arc<Expr>)

Cot(Arc<Expr>)

ArcSin(Arc<Expr>)

ArcCos(Arc<Expr>)

ArcTan(Arc<Expr>)

ArcSec(Arc<Expr>)

ArcCsc(Arc<Expr>)

ArcCot(Arc<Expr>)

Sinh(Arc<Expr>)

Cosh(Arc<Expr>)

Tanh(Arc<Expr>)

Sech(Arc<Expr>)

Csch(Arc<Expr>)

Coth(Arc<Expr>)

ArcSinh(Arc<Expr>)

ArcCosh(Arc<Expr>)

ArcTanh(Arc<Expr>)

ArcSech(Arc<Expr>)

ArcCsch(Arc<Expr>)

ArcCoth(Arc<Expr>)

LogBase(Arc<Expr>, Arc<Expr>)

Atan2(Arc<Expr>, Arc<Expr>)

Binomial(Arc<Expr>, Arc<Expr>)

Factorial(Arc<Expr>)

Permutation(Arc<Expr>, Arc<Expr>)

Combination(Arc<Expr>, Arc<Expr>)

Enum Expr