IndexedVariable v

ivar.spad line 67 [edit on github]

• v: String

IndexedVariable(x) represents potentially infinitely many variables, namely x1, x2, x3. etc. and orders them ascendingly like the natural order of their indices.

<=: (%, %) -> Boolean

from PartialOrder

<: (%, %) -> Boolean

from PartialOrder

=: (%, %) -> Boolean

from BasicType

>=: (%, %) -> Boolean

from PartialOrder

>: (%, %) -> Boolean

from PartialOrder

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

convert: % -> Symbol

from ConvertibleTo Symbol

hash: % -> SingleInteger

from SetCategory

hashUpdate!: (HashState, %) -> HashState

from SetCategory

index: PositiveInteger -> %

index(p) returns the variable v such that lookup(v) = p. p > rank() all variables with numbers less than or equal to p will internally be created and rank() will be updated..

latex: % -> String

from SetCategory

lookup: % -> PositiveInteger

lookup(x) returns the index of the variable.

max: (%, %) -> %

from OrderedSet

min: (%, %) -> %

from OrderedSet

new: () -> %

new() returns a new (not yet used) variable.

rank: () -> Integer

rank() returns the highest index of the currently known variables. It returns 0 if no variables are known.

smaller?: (%, %) -> Boolean

from Comparable

BasicType

CoercibleTo OutputForm

Comparable

ConvertibleTo Symbol

OrderedSet

PartialOrder

SetCategory