Enum cycle::Expr

pub enum Expr {
    Sym(Arc<Symbol>),
    Cte(Constant),
    Num(Number),
    Alg(Algebra),
    Fun(Function),
}

Variants

Sym(Arc<Symbol>)

Symbol (variable) on a ring

Cte(Constant)

Special constant

Num(Number)

Exact number

Alg(Algebra)

Algebraic

Fun(Function)

Functional (elementary, special)

Implementations

impl Expr

pub fn fact(self) -> Self

a!

pub fn pow(self, o: Self) -> Self

a^b

pub fn root(self, o: Self) -> Self

b√a

pub fn sqrt(self) -> Self

√a

impl Expr

pub fn sin(self) -> Self

sin(x)

pub fn cos(self) -> Self

cos(x)

pub fn tan(self) -> Self

tan(x)

pub fn arcsin(self) -> Self

arcsin(x)

pub fn arccos(self) -> Self

arccos(x)

pub fn arctan(self) -> Self

arctan(x)

pub fn sinh(self) -> Self

sinh(x)

pub fn cosh(self) -> Self

cosh(x)

pub fn tanh(self) -> Self

tanh(x)

pub fn arsinh(self) -> Self

arsinh(x)

pub fn arcosh(self) -> Self

arcosh(x)

pub fn artanh(self) -> Self

artanh(x)

pub fn exp(self) -> Self

exp(x)

pub fn log(self) -> Self

log(x)

pub fn map(map_str: &str, arg: Vec<Expr>) -> Self

map(x_1, ..., x_n)

impl Expr

pub const ZERO: Expr

pub const ONE: Expr

pub const NEG_ONE: Expr

pub const HALF: Expr

pub const QUARTER: Expr

pub fn trivial(self) -> SymbolicResult<Expr>

pub fn len(&self) -> u64

pub fn dom(&self) -> Set

pub fn free(&self, o: &Expr) -> bool

pub fn subs(&self, m: &Expr, s: &Expr) -> Expr

pub fn is_leaf(&self) -> bool

pub fn iter(&self) -> Iter<'_>

Trait Implementations

impl Add<Expr> for Expr

type Output = Self

The resulting type after applying the + operator.

fn add(self, o: Self) -> Self

a + b

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Expr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Expr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Div<Expr> for Expr

type Output = Self

The resulting type after applying the / operator.

fn div(self, o: Self) -> Self

a/b = a * b^-1

impl Eq for Expr

impl Hash for Expr

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

pub fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl Mul<Expr> for Expr

type Output = Self

The resulting type after applying the * operator.

fn mul(self, o: Self) -> Self

a*b

impl Neg for Expr

type Output = Self

The resulting type after applying the - operator.

fn neg(self) -> Self

-a = (-1)*a

impl Ord for Expr

fn cmp(&self, o: &Self) -> Ordering

This method returns an Ordering between self and other.

#[must_use]pub fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]pub fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl PartialEq<Expr> for Expr

fn eq(&self, other: &Expr) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Expr) -> bool

This method tests for !=.

impl PartialOrd<Expr> for Expr

fn partial_cmp(&self, o: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use]pub fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

#[must_use]pub fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use]pub fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

#[must_use]pub fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralEq for Expr

impl StructuralPartialEq for Expr

impl Sub<Expr> for Expr

type Output = Self

The resulting type after applying the - operator.

fn sub(self, o: Self) -> Self

a - b = a + (-b)