Enum Obj 

pub enum Obj {
    Identifier(Identifier),
    IdentifierWithMod(IdentifierWithMod),
    FieldAccess(FieldAccess),
    FieldAccessWithMod(FieldAccessWithMod),
    FnObj(FnObj),
    Number(Number),
    Add(Add),
    Sub(Sub),
    Mul(Mul),
    Div(Div),
    Mod(Mod),
    Pow(Pow),
    Abs(Abs),
    Log(Log),
    Max(Max),
    Min(Min),
    Union(Union),
    Intersect(Intersect),
    SetMinus(SetMinus),
    SetDiff(SetDiff),
    Cup(Cup),
    Cap(Cap),
    PowerSet(PowerSet),
    ListSet(ListSet),
    SetBuilder(SetBuilder),
    FnSet(FnSet),
    Cart(Cart),
    CartDim(CartDim),
    Proj(Proj),
    TupleDim(TupleDim),
    Tuple(Tuple),
    Count(Count),
    Range(Range),
    ClosedRange(ClosedRange),
    FiniteSeqSet(FiniteSeqSet),
    SeqSet(SeqSet),
    FiniteSeqListObj(FiniteSeqListObj),
    Choose(Choose),
    ObjAtIndex(ObjAtIndex),
    StandardSet(StandardSet),
    FamilyObj(FamilyObj),
    StructObj(StructObj),
    MatrixSet(MatrixSet),
    MatrixListObj(MatrixListObj),
    MatrixAdd(MatrixAdd),
    MatrixSub(MatrixSub),
    MatrixMul(MatrixMul),
    MatrixScalarMul(MatrixScalarMul),
    MatrixPow(MatrixPow),
}

Variants

Identifier(Identifier)

IdentifierWithMod(IdentifierWithMod)

FieldAccess(FieldAccess)

FieldAccessWithMod(FieldAccessWithMod)

FnObj(FnObj)

Number(Number)

Add(Add)

Sub(Sub)

Mul(Mul)

Div(Div)

Mod(Mod)

Pow(Pow)

Abs(Abs)

Log(Log)

Max(Max)

Min(Min)

Union(Union)

Intersect(Intersect)

SetMinus(SetMinus)

SetDiff(SetDiff)

Cup(Cup)

Cap(Cap)

PowerSet(PowerSet)

ListSet(ListSet)

SetBuilder(SetBuilder)

FnSet(FnSet)

Cart(Cart)

CartDim(CartDim)

Proj(Proj)

TupleDim(TupleDim)

Tuple(Tuple)

Count(Count)

Range(Range)

ClosedRange(ClosedRange)

FiniteSeqSet(FiniteSeqSet)

SeqSet(SeqSet)

FiniteSeqListObj(FiniteSeqListObj)

Choose(Choose)

ObjAtIndex(ObjAtIndex)

StandardSet(StandardSet)

FamilyObj(FamilyObj)

StructObj(StructObj)

MatrixSet(MatrixSet)

MatrixListObj(MatrixListObj)

MatrixAdd(MatrixAdd)

MatrixSub(MatrixSub)

MatrixMul(MatrixMul)

MatrixScalarMul(MatrixScalarMul)

MatrixPow(MatrixPow)

Implementations

impl Obj

pub fn fmt_with_precedence( &self, f: &mut Formatter<'_>, parent_precedent: u8, ) -> Result

按优先级输出：当子表达式优先级低于父节点时自动加括号，例如 ^ 下出现 + 则写成 (a + b)。

pub fn replace_bound_identifier(self, from: &str, to: &str) -> Obj

impl Obj

pub fn evaluate_to_normalized_decimal_number(&self) -> Option<Number>

pub fn two_objs_can_be_calculated_and_equal_by_calculation( &self, other: &Obj, ) -> bool

impl Obj

pub fn replace_with_numeric_result_if_can_be_calculated(&self) -> (Obj, bool)

impl Obj

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for Obj

fn clone(&self) -> Obj

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for Obj

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

Formats the value using the given formatter.

impl From<&str> for Obj

fn from(name: &str) -> Self

Converts to this type from the input type.

impl From<Abs> for Obj

fn from(a: Abs) -> Self

Converts to this type from the input type.

impl From<Add> for Obj

fn from(a: Add) -> Self

Converts to this type from the input type.

impl From<Atom> for Obj

fn from(atom: Atom) -> Self

Converts to this type from the input type.

impl From<Cap> for Obj

fn from(c: Cap) -> Self

Converts to this type from the input type.

impl From<Cart> for Obj

fn from(c: Cart) -> Self

Converts to this type from the input type.

impl From<CartDim> for Obj

fn from(c: CartDim) -> Self

Converts to this type from the input type.

impl From<Choose> for Obj

fn from(c: Choose) -> Self

Converts to this type from the input type.

impl From<ClosedRange> for Obj

fn from(r: ClosedRange) -> Self

Converts to this type from the input type.

impl From<Count> for Obj

fn from(c: Count) -> Self

Converts to this type from the input type.

impl From<Cup> for Obj

fn from(c: Cup) -> Self

Converts to this type from the input type.

impl From<Div> for Obj

fn from(d: Div) -> Self

Converts to this type from the input type.

impl From<FamilyObj> for Obj

fn from(f: FamilyObj) -> Self

Converts to this type from the input type.

impl From<FieldAccess> for Obj

fn from(f: FieldAccess) -> Self

Converts to this type from the input type.

impl From<FieldAccessWithMod> for Obj

fn from(f: FieldAccessWithMod) -> Self

Converts to this type from the input type.

impl From<FiniteSeqListObj> for Obj

fn from(v: FiniteSeqListObj) -> Self

Converts to this type from the input type.

impl From<FiniteSeqSet> for Obj

fn from(v: FiniteSeqSet) -> Self

Converts to this type from the input type.

impl From<FnObj> for Obj

fn from(f: FnObj) -> Self

Converts to this type from the input type.

impl From<FnSet> for Obj

fn from(f: FnSet) -> Self

Converts to this type from the input type.

impl From<Identifier> for Obj

fn from(id: Identifier) -> Self

Converts to this type from the input type.

impl From<IdentifierWithMod> for Obj

fn from(m: IdentifierWithMod) -> Self

Converts to this type from the input type.

impl From<Intersect> for Obj

fn from(i: Intersect) -> Self

Converts to this type from the input type.

impl From<ListSet> for Obj

fn from(l: ListSet) -> Self

Converts to this type from the input type.

impl From<Log> for Obj

fn from(l: Log) -> Self

Converts to this type from the input type.

impl From<MatrixAdd> for Obj

fn from(m: MatrixAdd) -> Self

Converts to this type from the input type.

impl From<MatrixListObj> for Obj

fn from(v: MatrixListObj) -> Self

Converts to this type from the input type.

impl From<MatrixMul> for Obj

fn from(m: MatrixMul) -> Self

Converts to this type from the input type.

impl From<MatrixPow> for Obj

fn from(m: MatrixPow) -> Self

Converts to this type from the input type.

impl From<MatrixScalarMul> for Obj

fn from(m: MatrixScalarMul) -> Self

Converts to this type from the input type.

impl From<MatrixSet> for Obj

fn from(v: MatrixSet) -> Self

Converts to this type from the input type.

impl From<MatrixSub> for Obj

fn from(m: MatrixSub) -> Self

Converts to this type from the input type.

impl From<Max> for Obj

fn from(m: Max) -> Self

Converts to this type from the input type.

impl From<Min> for Obj

fn from(m: Min) -> Self

Converts to this type from the input type.

impl From<Mod> for Obj

fn from(m: Mod) -> Self

Converts to this type from the input type.

impl From<Mul> for Obj

fn from(m: Mul) -> Self

Converts to this type from the input type.

impl From<Number> for Obj

fn from(n: Number) -> Self

Converts to this type from the input type.

impl From<ObjAtIndex> for Obj

fn from(o: ObjAtIndex) -> Self

Converts to this type from the input type.

impl From<Pow> for Obj

fn from(p: Pow) -> Self

Converts to this type from the input type.

impl From<PowerSet> for Obj

fn from(p: PowerSet) -> Self

Converts to this type from the input type.

impl From<Proj> for Obj

fn from(p: Proj) -> Self

Converts to this type from the input type.

impl From<Range> for Obj

fn from(r: Range) -> Self

Converts to this type from the input type.

impl From<SeqSet> for Obj

fn from(v: SeqSet) -> Self

Converts to this type from the input type.

impl From<SetBuilder> for Obj

fn from(s: SetBuilder) -> Self

Converts to this type from the input type.

impl From<SetDiff> for Obj

fn from(s: SetDiff) -> Self

Converts to this type from the input type.

impl From<SetMinus> for Obj

fn from(s: SetMinus) -> Self

Converts to this type from the input type.

impl From<StandardSet> for Obj

fn from(s: StandardSet) -> Self

Converts to this type from the input type.

impl From<String> for Obj

fn from(name: String) -> Self

Converts to this type from the input type.

impl From<StructObj> for Obj

fn from(s: StructObj) -> Self

Converts to this type from the input type.

impl From<Sub> for Obj

fn from(s: Sub) -> Self

Converts to this type from the input type.

impl From<Tuple> for Obj

fn from(t: Tuple) -> Self

Converts to this type from the input type.

impl From<TupleDim> for Obj

fn from(t: TupleDim) -> Self

Converts to this type from the input type.

impl From<Union> for Obj

fn from(u: Union) -> Self

Converts to this type from the input type.

impl From<usize> for Obj

fn from(n: usize) -> Self

Converts to this type from the input type.