OrderedExpression

mrv_limit.spad line 1 [edit on github]

undocumented

* : (%, %) -> %

from Magma

* : (%, Fraction(Integer)) -> %

from RightModule(Fraction(Integer))

* : (Fraction(Integer), %) -> %

from LeftModule(Fraction(Integer))

* : (Integer, %) -> %

from AbelianGroup

* : (NonNegativeInteger, %) -> %

from AbelianMonoid

* : (PositiveInteger, %) -> %

from AbelianSemiGroup

+ : (%, %) -> %

from AbelianSemiGroup

- : % -> %

from AbelianGroup

- : (%, %) -> %

from AbelianGroup

0 : () -> %

from AbelianMonoid

1 : () -> %

from MagmaWithUnit

< : (%, %) -> Boolean

from PartialOrder

<= : (%, %) -> Boolean

from PartialOrder

= : (%, %) -> Boolean

from BasicType

> : (%, %) -> Boolean

from PartialOrder

>= : (%, %) -> Boolean

from PartialOrder

^ : (%, NonNegativeInteger) -> %

from MagmaWithUnit

^ : (%, PositiveInteger) -> %

from Magma

abs : % -> %

from OrderedRing

annihilate? : (%, %) -> Boolean

from Rng

antiCommutator : (%, %) -> %

from NonAssociativeSemiRng

associator : (%, %, %) -> %

from NonAssociativeRng

characteristic : () -> NonNegativeInteger

from NonAssociativeRing

coerce : Fraction(Integer) -> %

from Algebra(Fraction(Integer))

coerce : Integer -> %

from NonAssociativeRing

coerce : % -> Expression(Integer)

from CoercibleTo(Expression(Integer))

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

commutator : (%, %) -> %

from NonAssociativeRng

latex : % -> String

from SetCategory

leftPower : (%, NonNegativeInteger) -> %

from MagmaWithUnit

leftPower : (%, PositiveInteger) -> %

from Magma

leftRecip : % -> Union(%, "failed")

from MagmaWithUnit

max : (%, %) -> %

from OrderedSet

min : (%, %) -> %

from OrderedSet

negative? : % -> Boolean

from OrderedRing

one? : % -> Boolean

from MagmaWithUnit

opposite? : (%, %) -> Boolean

from AbelianMonoid

plenaryPower : (%, PositiveInteger) -> %

from NonAssociativeAlgebra(Fraction(Integer))

positive? : % -> Boolean

from OrderedRing

recip : % -> Union(%, "failed")

from MagmaWithUnit

retract : Expression(Integer) -> %

from RetractableFrom(Expression(Integer))

retractIfCan : Expression(Integer) -> Union(%, "failed")

from RetractableFrom(Expression(Integer))

rightPower : (%, NonNegativeInteger) -> %

from MagmaWithUnit

rightPower : (%, PositiveInteger) -> %

from Magma

rightRecip : % -> Union(%, "failed")

from MagmaWithUnit

sample : () -> %

from AbelianMonoid

sign : % -> Integer

from OrderedRing

smaller? : (%, %) -> Boolean

from Comparable

subtractIfCan : (%, %) -> Union(%, "failed")

from CancellationAbelianMonoid

zero? : % -> Boolean

from AbelianMonoid

~= : (%, %) -> Boolean

from BasicType

Module(Fraction(Integer))

Comparable

LeftModule(Fraction(Integer))

OrderedAbelianSemiGroup

RightModule(%)

Monoid

AbelianMonoid

RetractableFrom(Expression(Integer))

CancellationAbelianMonoid

OrderedSet

MagmaWithUnit

NonAssociativeRing

OrderedCancellationAbelianMonoid

LeftModule(%)

CoercibleTo(Expression(Integer))

SetCategory

CoercibleTo(OutputForm)

Algebra(Fraction(Integer))

NonAssociativeAlgebra(Fraction(Integer))

RightModule(Fraction(Integer))

Magma

Rng

SemiGroup

OrderedAbelianMonoid

PartialOrder

BiModule(%, %)

unitsKnown

AbelianGroup

AbelianSemiGroup

NonAssociativeSemiRing

OrderedAbelianGroup

OrderedRing

BiModule(Fraction(Integer), Fraction(Integer))

NonAssociativeRng

Ring

SemiRng

NonAssociativeSemiRng

CharacteristicZero

BasicType

SemiRing