Struct calcu_rs::expr::Expr

pub struct Expr(Rc<Atom>);

Tuple Fields

0: Rc<Atom>

Implementations

impl Expr

pub fn undef() -> Expr

pub fn zero() -> Expr

pub fn one() -> Expr

pub fn min_one() -> Expr

pub fn var(str: &str) -> Expr

pub fn rational<T: Into<Rational>>(r: T) -> Expr

pub fn add(lhs: impl Borrow<Expr>, rhs: impl Borrow<Expr>) -> Expr

pub fn sub(lhs: impl Borrow<Expr>, rhs: impl Borrow<Expr>) -> Expr

pub fn mul(lhs: impl Borrow<Expr>, rhs: impl Borrow<Expr>) -> Expr

pub fn div(lhs: impl Borrow<Expr>, rhs: impl Borrow<Expr>) -> Expr

pub fn cos(e: impl Borrow<Expr>) -> Expr

pub fn sin(e: impl Borrow<Expr>) -> Expr

pub fn tan(e: impl Borrow<Expr>) -> Expr

pub fn sec(e: impl Borrow<Expr>) -> Expr

pub fn arc_sin(e: impl Borrow<Expr>) -> Expr

pub fn arc_cos(e: impl Borrow<Expr>) -> Expr

pub fn arc_tan(e: impl Borrow<Expr>) -> Expr

pub fn exp(e: impl Borrow<Expr>) -> Expr

pub fn log(base: impl Into<Real>, e: impl Borrow<Expr>) -> Expr

pub fn ln(e: impl Borrow<Expr>) -> Expr

pub fn log10(e: impl Borrow<Expr>) -> Expr

pub fn raw_pow(base: impl Borrow<Expr>, exponent: impl Borrow<Expr>) -> Expr

pub fn pow(base: impl Borrow<Expr>, exponent: impl Borrow<Expr>) -> Expr

pub fn sqrt(v: impl Borrow<Expr>) -> Expr

pub fn is_undef(&self) -> bool

fn is_primitive(&self) -> bool

pub fn check_real(&self, r: &Real) -> bool

impl Expr

pub fn free_of(&self, expr: &Expr) -> bool

pub fn free_of_set<'a, I: IntoIterator<Item = &'a Self>>( &'a self, exprs: I, ) -> bool

pub fn substitude(&self, from: &Expr, to: &Expr) -> Self

pub fn seq_substitude<'a, T>(&self, subs: T) -> Self

where T: IntoIterator<Item = (&'a Expr, &'a Expr)>,

pub fn concurr_substitude<'a, T>(&self, subs: T) -> Self

where T: IntoIterator<Item = (&'a Expr, &'a Expr)> + Copy,

pub fn variables(&self) -> HashSet<Expr, FxBuildHasher>

pub fn numerator(&self) -> Expr

pub fn denominator(&self) -> Expr

pub fn base(&self) -> Expr

pub fn exponent(&self) -> Expr

fn is_const(&self) -> bool

pub fn const(&self) -> Option<Expr>

pub fn term(&self) -> Option<Expr>

pub fn get(&self) -> &Atom

pub fn get_flatten(&self) -> &Atom

pub fn make_mut(&mut self) -> &mut Atom

fn iter_args(&self) -> Box<dyn Iterator<Item = &Self> + '_>

fn iter_args_mut(&mut self) -> Box<dyn Iterator<Item = &mut Self> + '_>

fn try_for_each_compl_sub_expr<F>(&mut self, func: F)

where F: Fn(&mut Expr) -> ControlFlow<()> + Copy,

fn for_each_compl_sub_expr<F>(&mut self, func: F)

where F: Fn(&mut Expr) + Copy,

fn iter_compl_sub_exprs(&self) -> ExprIterator<'_>

fn variables_impl(&self, vars: &mut HashSet<Expr, FxBuildHasher>)

impl Expr

pub fn pow_expand(base: impl Borrow<Expr>, exponent: impl Borrow<Expr>) -> Expr

pub fn mul_expand(lhs: impl Borrow<Expr>, rhs: impl Borrow<Expr>) -> Expr

pub fn derivative<T: Borrow<Self>>(&self, x: T) -> Self

pub fn expand(&self) -> Self

pub fn expand_main_op(&self) -> Self

pub fn distribute(&self) -> Self

pub fn reduce(&self) -> Self

pub fn as_monomial<'a>(&'a self, vars: &'a VarSet) -> MonomialView<'a>

pub fn as_polynomial<'a>(&'a self, vars: &'a VarSet) -> PolynomialView<'a>

fn rationalize_add(lhs: &Self, rhs: &Self) -> Expr

pub fn rationalize(&self) -> Expr

pub fn factorize_common_terms(lhs: &Expr, rhs: &Self) -> (Expr, (Expr, Expr))

divide lhs and rhs by their common factor and return them in the form (fac, (lhs/fac, rhs/fac)

pub fn common_factors(lhs: &Self, rhs: &Self) -> Expr

pub fn factor_out(&self) -> Expr

pub fn cancel(&self) -> Expr

Trait Implementations

impl<T: Borrow<Expr>> Add<T> for &Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: T) -> Self::Output

Performs the + operation.

impl<T: Borrow<Expr>> Add<T> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: T) -> Self::Output

Performs the + operation.

impl<T: Borrow<Expr>> AddAssign<T> for Expr

fn add_assign(&mut self, rhs: T)

Performs the += operation.

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<T: Borrow<Expr>> Div<T> for &Expr

type Output = Expr

The resulting type after applying the / operator.

fn div(self, rhs: T) -> Self::Output

Performs the / operation.

impl<T: Borrow<Expr>> Div<T> for Expr

type Output = Expr

The resulting type after applying the / operator.

fn div(self, rhs: T) -> Self::Output

Performs the / operation.

impl<T: Borrow<Expr>> DivAssign<T> for Expr

fn div_assign(&mut self, rhs: T)

Performs the /= operation.

impl From<&str> for Expr

fn from(value: &str) -> Self

Converts to this type from the input type.

impl From<Atom> for Expr

fn from(value: Atom) -> Self

Converts to this type from the input type.

impl From<Expr> for ReducedProd

fn from(value: Expr) -> Self

Converts to this type from the input type.

impl From<Expr> for VarSet

fn from(value: Expr) -> Self

Converts to this type from the input type.

impl From<Irrational> for Expr

fn from(value: Irrational) -> Self

Converts to this type from the input type.

impl From<Real> for Expr

fn from(value: Real) -> Self

Converts to this type from the input type.

impl<T: Into<Rational>> From<T> for Expr

fn from(value: T) -> Self

Converts to this type from the input type.

impl Hash for Expr

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: Borrow<Expr>> Mul<T> for &Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: T) -> Self::Output

Performs the * operation.

impl<T: Borrow<Expr>> Mul<T> for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: T) -> Self::Output

Performs the * operation.

impl<T: Borrow<Expr>> MulAssign<T> for Expr

fn mul_assign(&mut self, rhs: T)

Performs the *= operation.

impl Ord for Expr

fn cmp(&self, other: &Expr) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq 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: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Expr

fn partial_cmp(&self, other: &Expr) -> Option<Ordering>

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

fn lt(&self, other: &Rhs) -> bool

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

fn le(&self, other: &Rhs) -> bool

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

fn gt(&self, other: &Rhs) -> bool

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

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<T: Borrow<Expr>> Sub<T> for &Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: T) -> Self::Output

Performs the - operation.

impl<T: Borrow<Expr>> Sub<T> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: T) -> Self::Output

Performs the - operation.

impl<T: Borrow<Expr>> SubAssign<T> for Expr

fn sub_assign(&mut self, rhs: T)

Performs the -= operation.

impl Eq for Expr

impl StructuralPartialEq for Expr