ExpressionSpace

fspace.spad line 347 [edit on github]

undocumented

= : (%, %) -> Boolean

from BasicType

belong? : BasicOperator -> Boolean

from ExpressionSpace2(Kernel(%))

box : % -> %

from ExpressionSpace2(Kernel(%))

coerce : Kernel(%) -> %

from CoercibleFrom(Kernel(%))

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

definingPolynomial : % -> % if % has Ring

from ExpressionSpace2(Kernel(%))

distribute : % -> %

from ExpressionSpace2(Kernel(%))

distribute : (%, %) -> %

from ExpressionSpace2(Kernel(%))

elt : (BasicOperator, %) -> %

from ExpressionSpace2(Kernel(%))

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

from ExpressionSpace2(Kernel(%))

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

from ExpressionSpace2(Kernel(%))

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

from ExpressionSpace2(Kernel(%))

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

from ExpressionSpace2(Kernel(%))

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

from ExpressionSpace2(Kernel(%))

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

from ExpressionSpace2(Kernel(%))

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

from ExpressionSpace2(Kernel(%))

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

from ExpressionSpace2(Kernel(%))

elt : (BasicOperator, List(%)) -> %

from ExpressionSpace2(Kernel(%))

eval : (%, %, %) -> %

from InnerEvalable(%, %)

eval : (%, BasicOperator, Mapping(%, %)) -> %

from ExpressionSpace2(Kernel(%))

eval : (%, BasicOperator, Mapping(%, List(%))) -> %

from ExpressionSpace2(Kernel(%))

eval : (%, Equation(%)) -> %

from Evalable(%)

eval : (%, Kernel(%), %) -> %

from InnerEvalable(Kernel(%), %)

eval : (%, List(%), List(%)) -> %

from InnerEvalable(%, %)

eval : (%, List(BasicOperator), List(Mapping(%, %))) -> %

from ExpressionSpace2(Kernel(%))

eval : (%, List(BasicOperator), List(Mapping(%, List(%)))) -> %

from ExpressionSpace2(Kernel(%))

eval : (%, List(Equation(%))) -> %

from Evalable(%)

eval : (%, List(Kernel(%)), List(%)) -> %

from InnerEvalable(Kernel(%), %)

eval : (%, List(Symbol), List(Mapping(%, %))) -> %

from ExpressionSpace2(Kernel(%))

eval : (%, List(Symbol), List(Mapping(%, List(%)))) -> %

from ExpressionSpace2(Kernel(%))

eval : (%, Symbol, Mapping(%, %)) -> %

from ExpressionSpace2(Kernel(%))

eval : (%, Symbol, Mapping(%, List(%))) -> %

from ExpressionSpace2(Kernel(%))

even? : % -> Boolean if % has RetractableTo(Integer)

from ExpressionSpace2(Kernel(%))

freeOf? : (%, %) -> Boolean

from ExpressionSpace2(Kernel(%))

freeOf? : (%, Symbol) -> Boolean

from ExpressionSpace2(Kernel(%))

height : % -> NonNegativeInteger

from ExpressionSpace2(Kernel(%))

is? : (%, BasicOperator) -> Boolean

from ExpressionSpace2(Kernel(%))

is? : (%, Symbol) -> Boolean

from ExpressionSpace2(Kernel(%))

kernel : (BasicOperator, %) -> %

from ExpressionSpace2(Kernel(%))

kernel : (BasicOperator, List(%)) -> %

from ExpressionSpace2(Kernel(%))

kernels : % -> List(Kernel(%))

from ExpressionSpace2(Kernel(%))

kernels : List(%) -> List(Kernel(%))

from ExpressionSpace2(Kernel(%))

latex : % -> String

from SetCategory

mainKernel : % -> Union(Kernel(%), "failed")

from ExpressionSpace2(Kernel(%))

map : (Mapping(%, %), Kernel(%)) -> %

from ExpressionSpace2(Kernel(%))

minPoly : Kernel(%) -> SparseUnivariatePolynomial(%) if % has Ring

from ExpressionSpace2(Kernel(%))

odd? : % -> Boolean if % has RetractableTo(Integer)

from ExpressionSpace2(Kernel(%))

operator : BasicOperator -> BasicOperator

from ExpressionSpace2(Kernel(%))

operators : % -> List(BasicOperator)

from ExpressionSpace2(Kernel(%))

paren : % -> %

from ExpressionSpace2(Kernel(%))

retract : % -> Kernel(%)

from RetractableTo(Kernel(%))

retractIfCan : % -> Union(Kernel(%), "failed")

from RetractableTo(Kernel(%))

smaller? : (%, %) -> Boolean

from Comparable

subst : (%, Equation(%)) -> %

from ExpressionSpace2(Kernel(%))

subst : (%, List(Equation(%))) -> %

from ExpressionSpace2(Kernel(%))

subst : (%, List(Kernel(%)), List(%)) -> %

from ExpressionSpace2(Kernel(%))

tower : % -> List(Kernel(%))

from ExpressionSpace2(Kernel(%))

tower : List(%) -> List(Kernel(%))

from ExpressionSpace2(Kernel(%))

~= : (%, %) -> Boolean

from BasicType

InnerEvalable(Kernel(%), %)

Evalable(%)

ExpressionSpace2(Kernel(%))

InnerEvalable(%, %)

BasicType

CoercibleTo(OutputForm)

SetCategory

Comparable

RetractableTo(Kernel(%))

CoercibleFrom(Kernel(%))