Enum cycle::Expr

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

Variants

Sym(Rc<Symbol>)

Symbol (variable) on a ring

Cte(Rc<Constant>)

Special constant

Num(Number)

Exact number

Alg(Algebra)

Algebraic operation

Implementations

impl Expr

pub fn fac(self) -> Expr

a!

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

a^b

impl Expr

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

pub fn ord(&self) -> u64

pub fn len(&self) -> u64

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

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

pub fn iter(&self) -> impl Iterator<Item = &Expr> + '_

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.

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 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]fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

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

Compares and returns the minimum of two values.

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

🔬 This is a nightly-only experimental API. (clamp)

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]fn lt(&self, other: &Rhs) -> bool

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

#[must_use]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]fn gt(&self, other: &Rhs) -> bool

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

#[must_use]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 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)