XPolynomial RΒΆ

xpoly.spad line 675

This type supports multivariate polynomials whose set of variables is Symbol. The representation is recursive. The coefficient ring may be non-commutative and the variables do not commute. However, coefficients and variables commute.

0: %
from AbelianMonoid
1: %
from MagmaWithUnit
*: (%, %) -> %
from Magma
*: (%, R) -> %
from XFreeAlgebra(Symbol, R)
*: (Integer, %) -> %
from AbelianGroup
*: (NonNegativeInteger, %) -> %
from AbelianMonoid
*: (PositiveInteger, %) -> %
from AbelianSemiGroup
*: (R, %) -> %
from LeftModule R
*: (Symbol, %) -> %
from XFreeAlgebra(Symbol, R)
+: (%, %) -> %
from AbelianSemiGroup
-: % -> %
from AbelianGroup
-: (%, %) -> %
from AbelianGroup
=: (%, %) -> Boolean
from BasicType
^: (%, NonNegativeInteger) -> %
from MagmaWithUnit
^: (%, PositiveInteger) -> %
from Magma
~=: (%, %) -> Boolean
from BasicType
annihilate?: (%, %) -> Boolean
from Rng
antiCommutator: (%, %) -> %
from NonAssociativeSemiRng
associator: (%, %, %) -> %
from NonAssociativeRng
characteristic: () -> NonNegativeInteger
from NonAssociativeRing
coef: (%, %) -> R
from XFreeAlgebra(Symbol, R)
coef: (%, FreeMonoid Symbol) -> R
from XFreeAlgebra(Symbol, R)
coerce: % -> OutputForm
from CoercibleTo OutputForm
coerce: FreeMonoid Symbol -> %
from RetractableTo FreeMonoid Symbol
coerce: Integer -> %
from NonAssociativeRing
coerce: R -> %
from XAlgebra R
coerce: Symbol -> %
from XFreeAlgebra(Symbol, R)
commutator: (%, %) -> %
from NonAssociativeRng
constant: % -> R
from XFreeAlgebra(Symbol, R)
constant?: % -> Boolean
from XFreeAlgebra(Symbol, R)
degree: % -> NonNegativeInteger
from XPolynomialsCat(Symbol, R)

expand: % -> XDistributedPolynomial(Symbol, R)

hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
latex: % -> String
from SetCategory
leftPower: (%, NonNegativeInteger) -> %
from MagmaWithUnit
leftPower: (%, PositiveInteger) -> %
from Magma
leftRecip: % -> Union(%, failed)
from MagmaWithUnit
lquo: (%, %) -> %
from XFreeAlgebra(Symbol, R)
lquo: (%, FreeMonoid Symbol) -> %
from XFreeAlgebra(Symbol, R)
lquo: (%, Symbol) -> %
from XFreeAlgebra(Symbol, R)
map: (R -> R, %) -> %
from XFreeAlgebra(Symbol, R)
maxdeg: % -> FreeMonoid Symbol
from XPolynomialsCat(Symbol, R)
mindeg: % -> FreeMonoid Symbol
from XFreeAlgebra(Symbol, R)
mindegTerm: % -> Record(k: FreeMonoid Symbol, c: R)
from XFreeAlgebra(Symbol, R)
mirror: % -> %
from XFreeAlgebra(Symbol, R)
monom: (FreeMonoid Symbol, R) -> %
from XFreeAlgebra(Symbol, R)
monomial?: % -> Boolean
from XFreeAlgebra(Symbol, R)
one?: % -> Boolean
from MagmaWithUnit
opposite?: (%, %) -> Boolean
from AbelianMonoid
quasiRegular: % -> %
from XFreeAlgebra(Symbol, R)
quasiRegular?: % -> Boolean
from XFreeAlgebra(Symbol, R)
recip: % -> Union(%, failed)
from MagmaWithUnit

RemainderList: % -> List Record(k: Symbol, c: %)

retract: % -> FreeMonoid Symbol
from RetractableTo FreeMonoid Symbol
retractIfCan: % -> Union(FreeMonoid Symbol, failed)
from RetractableTo FreeMonoid Symbol
rightPower: (%, NonNegativeInteger) -> %
from MagmaWithUnit
rightPower: (%, PositiveInteger) -> %
from Magma
rightRecip: % -> Union(%, failed)
from MagmaWithUnit
rquo: (%, %) -> %
from XFreeAlgebra(Symbol, R)
rquo: (%, FreeMonoid Symbol) -> %
from XFreeAlgebra(Symbol, R)
rquo: (%, Symbol) -> %
from XFreeAlgebra(Symbol, R)
sample: %
from AbelianMonoid
sh: (%, %) -> % if R has CommutativeRing
from XFreeAlgebra(Symbol, R)
sh: (%, NonNegativeInteger) -> % if R has CommutativeRing
from XFreeAlgebra(Symbol, R)
subtractIfCan: (%, %) -> Union(%, failed)
from CancellationAbelianMonoid
trunc: (%, NonNegativeInteger) -> %
from XPolynomialsCat(Symbol, R)

unexpand: XDistributedPolynomial(Symbol, R) -> %

varList: % -> List Symbol
from XFreeAlgebra(Symbol, R)
zero?: % -> Boolean
from AbelianMonoid

AbelianGroup

AbelianMonoid

AbelianSemiGroup

Algebra R if R has CommutativeRing

BasicType

BiModule(%, %)

BiModule(R, R)

CancellationAbelianMonoid

CoercibleTo OutputForm

LeftModule %

LeftModule R

Magma

MagmaWithUnit

Module R if R has CommutativeRing

Monoid

NonAssociativeRing

NonAssociativeRng

NonAssociativeSemiRing

NonAssociativeSemiRng

noZeroDivisors if R has noZeroDivisors

RetractableTo FreeMonoid Symbol

RightModule %

RightModule R

Ring

Rng

SemiGroup

SemiRing

SemiRng

SetCategory

unitsKnown

XAlgebra R

XFreeAlgebra(Symbol, R)

XPolynomialsCat(Symbol, R)