SortedExponentVector

vecrec.spad line 1 [edit on github]

Domain for storing information about structure of polynomials as vectors of exponents

#: % -> NonNegativeInteger

from Aggregate

<=: (%, %) -> Boolean

from PartialOrder

<: (%, %) -> Boolean

from PartialOrder

=: (%, %) -> Boolean

from BasicType

>=: (%, %) -> Boolean

from PartialOrder

>: (%, %) -> Boolean

from PartialOrder

~=: (%, %) -> Boolean

from BasicType

any?: (Integer -> Boolean, %) -> Boolean

from HomogeneousAggregate Integer

coerce: % -> OutputForm

from CoercibleTo OutputForm

concat: (%, %) -> %

from LinearAggregate Integer

concat: (%, Integer) -> %

from LinearAggregate Integer

concat: (Integer, %) -> %

from LinearAggregate Integer

concat: List % -> %

from LinearAggregate Integer

construct: List Integer -> %

from Collection Integer

convert: % -> InputForm

from ConvertibleTo InputForm

copy: % -> %

from Aggregate

copyInto!: (%, %, Integer) -> %

from LinearAggregate Integer

count: (Integer -> Boolean, %) -> NonNegativeInteger

from HomogeneousAggregate Integer

count: (Integer, %) -> NonNegativeInteger

from HomogeneousAggregate Integer

delete: (%, Integer) -> %

from LinearAggregate Integer

delete: (%, UniversalSegment Integer) -> %

from LinearAggregate Integer

elt: (%, Integer) -> Integer

from Eltable(Integer, Integer)

elt: (%, Integer, Integer) -> Integer

from EltableAggregate(Integer, Integer)

elt: (%, UniversalSegment Integer) -> %

from Eltable(UniversalSegment Integer, %)

empty?: % -> Boolean

from Aggregate

empty: () -> %

from Aggregate

entries: % -> List Integer

from IndexedAggregate(Integer, Integer)

entry?: (Integer, %) -> Boolean

from IndexedAggregate(Integer, Integer)

eq?: (%, %) -> Boolean

from Aggregate

eval: (%, Equation Integer) -> % if Integer has Evalable Integer

from Evalable Integer

eval: (%, Integer, Integer) -> % if Integer has Evalable Integer

from InnerEvalable(Integer, Integer)

eval: (%, List Equation Integer) -> % if Integer has Evalable Integer

from Evalable Integer

eval: (%, List Integer, List Integer) -> % if Integer has Evalable Integer

from InnerEvalable(Integer, Integer)

every?: (Integer -> Boolean, %) -> Boolean

from HomogeneousAggregate Integer

fill!: (%, Integer) -> %

from IndexedAggregate(Integer, Integer)

find: (Integer -> Boolean, %) -> Union(Integer, failed)

from Collection Integer

first: % -> Integer

from IndexedAggregate(Integer, Integer)

first: (%, NonNegativeInteger) -> %

from LinearAggregate Integer

hash: % -> SingleInteger

from Hashable

hashUpdate!: (HashState, %) -> HashState

from Hashable

index?: (Integer, %) -> Boolean

from IndexedAggregate(Integer, Integer)

indices: % -> List Integer

from IndexedAggregate(Integer, Integer)

insert: (%, %, Integer) -> %

from LinearAggregate Integer

insert: (Integer, %, Integer) -> %

from LinearAggregate Integer

latex: % -> String

from SetCategory

leftTrim: (%, Integer) -> %

from LinearAggregate Integer

less?: (%, NonNegativeInteger) -> Boolean

from Aggregate

map!: (Integer -> Integer, %) -> %

from HomogeneousAggregate Integer

map: ((Integer, Integer) -> Integer, %, %) -> %

from LinearAggregate Integer

map: (Integer -> Integer, %) -> %

from HomogeneousAggregate Integer

max: % -> Integer

from HomogeneousAggregate Integer

max: (%, %) -> %

from OrderedSet

max: ((Integer, Integer) -> Boolean, %) -> Integer

from HomogeneousAggregate Integer

maxIndex: % -> Integer

from IndexedAggregate(Integer, Integer)

member?: (Integer, %) -> Boolean

from HomogeneousAggregate Integer

members: % -> List Integer

from HomogeneousAggregate Integer

merge: (%, %) -> %

from LinearAggregate Integer

merge: ((Integer, Integer) -> Boolean, %, %) -> %

from LinearAggregate Integer

min: % -> Integer

from HomogeneousAggregate Integer

min: (%, %) -> %

from OrderedSet

minIndex: % -> Integer

from IndexedAggregate(Integer, Integer)

more?: (%, NonNegativeInteger) -> Boolean

from Aggregate

new: (NonNegativeInteger, Integer) -> %

from LinearAggregate Integer

parts: % -> List Integer

from HomogeneousAggregate Integer

position: (Integer -> Boolean, %) -> Integer

from LinearAggregate Integer

position: (Integer, %) -> Integer

from LinearAggregate Integer

position: (Integer, %, Integer) -> Integer

from LinearAggregate Integer

qelt: (%, Integer) -> Integer

from EltableAggregate(Integer, Integer)

qsetelt!: (%, Integer, Integer) -> Integer

from EltableAggregate(Integer, Integer)

reduce: ((Integer, Integer) -> Integer, %) -> Integer

from Collection Integer

reduce: ((Integer, Integer) -> Integer, %, Integer) -> Integer

from Collection Integer

reduce: ((Integer, Integer) -> Integer, %, Integer, Integer) -> Integer

from Collection Integer

remove: (Integer -> Boolean, %) -> %

from Collection Integer

remove: (Integer, %) -> %

from Collection Integer

removeDuplicates: % -> %

from Collection Integer

reverse!: % -> %

from LinearAggregate Integer

reverse: % -> %

from LinearAggregate Integer

rightTrim: (%, Integer) -> %

from LinearAggregate Integer

sample: %

from Aggregate

select: (Integer -> Boolean, %) -> %

from Collection Integer

setelt!: (%, Integer, Integer) -> Integer

from EltableAggregate(Integer, Integer)

setelt!: (%, UniversalSegment Integer, Integer) -> Integer

from LinearAggregate Integer

size?: (%, NonNegativeInteger) -> Boolean

from Aggregate

smaller?: (%, %) -> Boolean

from Comparable

sort!: % -> %

from LinearAggregate Integer

sort!: ((Integer, Integer) -> Boolean, %) -> %

from LinearAggregate Integer

sort: % -> %

from LinearAggregate Integer

sort: ((Integer, Integer) -> Boolean, %) -> %

from LinearAggregate Integer

sorted?: % -> Boolean

from LinearAggregate Integer

sorted?: ((Integer, Integer) -> Boolean, %) -> Boolean

from LinearAggregate Integer

swap!: (%, Integer, Integer) -> Void

from IndexedAggregate(Integer, Integer)

trim: (%, Integer) -> %

from LinearAggregate Integer

Aggregate

BasicType

CoercibleTo OutputForm

Collection Integer

Comparable

ConvertibleTo InputForm

Eltable(Integer, Integer)

Eltable(UniversalSegment Integer, %)

EltableAggregate(Integer, Integer)

Evalable Integer if Integer has Evalable Integer

finiteAggregate

FiniteLinearAggregate Integer

Hashable

HomogeneousAggregate Integer

IndexedAggregate(Integer, Integer)

InnerEvalable(Integer, Integer) if Integer has Evalable Integer

LinearAggregate Integer

OneDimensionalArrayAggregate Integer

OrderedSet

PartialOrder

SetCategory

shallowlyMutable