JetBundleXExpression JBΒΆ

jet.spad line 2821

JetBundleXExpression implements arbitrary functions in a jet bundle which depend only on the independent variables x. Otherwise it is identical with JetBundleExpression. Such a domain is needed for JetLinearFunction.

0: %
from AbelianMonoid
1: %
from MagmaWithUnit
*: (%, %) -> %
from Magma
*: (%, Fraction Integer) -> %
from RightModule Fraction Integer
*: (%, Integer) -> %
from RightModule Integer
*: (Fraction Integer, %) -> %
from LeftModule Fraction Integer
*: (Integer, %) -> %
from AbelianGroup
*: (NonNegativeInteger, %) -> %
from AbelianMonoid
*: (PositiveInteger, %) -> %
from AbelianSemiGroup
+: (%, %) -> %
from AbelianSemiGroup
-: % -> %
from AbelianGroup
-: (%, %) -> %
from AbelianGroup
/: (%, %) -> %
from Group
/: (SparseMultivariatePolynomial(Integer, Kernel %), SparseMultivariatePolynomial(Integer, Kernel %)) -> %
from FunctionSpace Integer
=: (%, %) -> Boolean
from BasicType
^: (%, %) -> %
from ElementaryFunctionCategory
^: (%, Fraction Integer) -> %
from RadicalCategory
^: (%, Integer) -> %
from Group
^: (%, NonNegativeInteger) -> %
from MagmaWithUnit
^: (%, PositiveInteger) -> %
from Magma
~=: (%, %) -> Boolean
from BasicType
abs: % -> %
from SpecialFunctionCategory
acos: % -> %
from ArcTrigonometricFunctionCategory
acosh: % -> %
from ArcHyperbolicFunctionCategory
acot: % -> %
from ArcTrigonometricFunctionCategory
acoth: % -> %
from ArcHyperbolicFunctionCategory
acsc: % -> %
from ArcTrigonometricFunctionCategory
acsch: % -> %
from ArcHyperbolicFunctionCategory
airyAi: % -> %
from SpecialFunctionCategory
airyAiPrime: % -> %
from SpecialFunctionCategory
airyBi: % -> %
from SpecialFunctionCategory
airyBiPrime: % -> %
from SpecialFunctionCategory
algtower: % -> List Kernel %
from FunctionSpace Integer
algtower: List % -> List Kernel %
from FunctionSpace Integer
angerJ: (%, %) -> %
from SpecialFunctionCategory
annihilate?: (%, %) -> Boolean
from Rng
antiCommutator: (%, %) -> %
from NonAssociativeSemiRng
applyQuote: (Symbol, %) -> %
from FunctionSpace Integer
applyQuote: (Symbol, %, %) -> %
from FunctionSpace Integer
applyQuote: (Symbol, %, %, %) -> %
from FunctionSpace Integer
applyQuote: (Symbol, %, %, %, %) -> %
from FunctionSpace Integer
applyQuote: (Symbol, List %) -> %
from FunctionSpace Integer
asec: % -> %
from ArcTrigonometricFunctionCategory
asech: % -> %
from ArcHyperbolicFunctionCategory
asin: % -> %
from ArcTrigonometricFunctionCategory
asinh: % -> %
from ArcHyperbolicFunctionCategory
associates?: (%, %) -> Boolean
from EntireRing
associator: (%, %, %) -> %
from NonAssociativeRng
atan: % -> %
from ArcTrigonometricFunctionCategory
atanh: % -> %
from ArcHyperbolicFunctionCategory
autoReduce: List % -> List %
from JetBundleFunctionCategory JB
belong?: BasicOperator -> Boolean
from ExpressionSpace
besselI: (%, %) -> %
from SpecialFunctionCategory
besselJ: (%, %) -> %
from SpecialFunctionCategory
besselK: (%, %) -> %
from SpecialFunctionCategory
besselY: (%, %) -> %
from SpecialFunctionCategory
Beta: (%, %) -> %
from SpecialFunctionCategory
binomial: (%, %) -> %
from CombinatorialFunctionCategory
box: % -> %
from ExpressionSpace
box: List % -> %
from ExpressionSpace
characteristic: () -> NonNegativeInteger
from NonAssociativeRing
charlierC: (%, %, %) -> %
from SpecialFunctionCategory
charthRoot: % -> Union(%, failed) if Integer has CharacteristicNonZero
from CharacteristicNonZero
Chi: % -> %
from LiouvillianFunctionCategory
Ci: % -> %
from LiouvillianFunctionCategory
class: % -> NonNegativeInteger
from JetBundleFunctionCategory JB
coerce: % -> %
from Algebra %

coerce: % -> Expression Integer

coerce: % -> OutputForm
from CoercibleTo OutputForm

coerce: Expression Integer -> %

coerce: Fraction Integer -> %
from FunctionSpace Integer
coerce: Fraction Polynomial Fraction Integer -> %
from FunctionSpace Integer
coerce: Fraction Polynomial Integer -> %
from RetractableTo Fraction Polynomial Integer
coerce: Integer -> %
from Algebra Integer
coerce: JB -> %
from JetBundleFunctionCategory JB
coerce: Kernel % -> %
from RetractableTo Kernel %
coerce: Polynomial Fraction Integer -> %
from FunctionSpace Integer
coerce: Polynomial Integer -> %
from RetractableTo Polynomial Integer
coerce: SparseMultivariatePolynomial(Integer, Kernel %) -> %
from FunctionSpace Integer
coerce: Symbol -> %
from RetractableTo Symbol
commutator: (%, %) -> %
from NonAssociativeRng
conjugate: (%, %) -> % if Integer has Group
from Group
const?: % -> Boolean
from JetBundleFunctionCategory JB
convert: % -> InputForm
from ConvertibleTo InputForm
convert: % -> Pattern Float if Integer has ConvertibleTo Pattern Float
from ConvertibleTo Pattern Float
convert: % -> Pattern Integer
from ConvertibleTo Pattern Integer
convert: Factored % -> %
from FunctionSpace Integer
cos: % -> %
from TrigonometricFunctionCategory
cosh: % -> %
from HyperbolicFunctionCategory
cot: % -> %
from TrigonometricFunctionCategory
coth: % -> %
from HyperbolicFunctionCategory
csc: % -> %
from TrigonometricFunctionCategory
csch: % -> %
from HyperbolicFunctionCategory
D: (%, List Symbol) -> %
from PartialDifferentialRing Symbol
D: (%, List Symbol, List NonNegativeInteger) -> %
from PartialDifferentialRing Symbol
D: (%, Symbol) -> %
from PartialDifferentialRing Symbol
D: (%, Symbol, NonNegativeInteger) -> %
from PartialDifferentialRing Symbol
denom: % -> SparseMultivariatePolynomial(Integer, Kernel %)
from FunctionSpace Integer
denominator: % -> %
from FunctionSpace Integer
differentiate: (%, JB) -> %
from JetBundleFunctionCategory JB
differentiate: (%, List Symbol) -> %
from PartialDifferentialRing Symbol
differentiate: (%, List Symbol, List NonNegativeInteger) -> %
from PartialDifferentialRing Symbol
differentiate: (%, Symbol) -> %
from PartialDifferentialRing Symbol
differentiate: (%, Symbol, NonNegativeInteger) -> %
from PartialDifferentialRing Symbol
digamma: % -> %
from SpecialFunctionCategory
dilog: % -> %
from LiouvillianFunctionCategory
dimension: (List %, SparseEchelonMatrix(JB, %), NonNegativeInteger) -> NonNegativeInteger
from JetBundleFunctionCategory JB
distribute: % -> %
from ExpressionSpace
distribute: (%, %) -> %
from ExpressionSpace
divide: (%, %) -> Record(quotient: %, remainder: %)
from EuclideanDomain
dSubst: (%, JB, %) -> %
from JetBundleFunctionCategory JB
Ei: % -> %
from LiouvillianFunctionCategory
ellipticE: % -> %
from SpecialFunctionCategory
ellipticE: (%, %) -> %
from SpecialFunctionCategory
ellipticF: (%, %) -> %
from SpecialFunctionCategory
ellipticK: % -> %
from SpecialFunctionCategory
ellipticPi: (%, %, %) -> %
from SpecialFunctionCategory
elt: (BasicOperator, %) -> %
from ExpressionSpace
elt: (BasicOperator, %, %) -> %
from ExpressionSpace
elt: (BasicOperator, %, %, %) -> %
from ExpressionSpace
elt: (BasicOperator, %, %, %, %) -> %
from ExpressionSpace
elt: (BasicOperator, %, %, %, %, %) -> %
from ExpressionSpace
elt: (BasicOperator, %, %, %, %, %, %) -> %
from ExpressionSpace
elt: (BasicOperator, %, %, %, %, %, %, %) -> %
from ExpressionSpace
elt: (BasicOperator, %, %, %, %, %, %, %, %) -> %
from ExpressionSpace
elt: (BasicOperator, %, %, %, %, %, %, %, %, %) -> %
from ExpressionSpace
elt: (BasicOperator, List %) -> %
from ExpressionSpace
erf: % -> %
from LiouvillianFunctionCategory
erfi: % -> %
from LiouvillianFunctionCategory
euclideanSize: % -> NonNegativeInteger
from EuclideanDomain
eval: % -> %
from FunctionSpace Integer
eval: (%, %, %) -> %
from InnerEvalable(%, %)
eval: (%, BasicOperator, % -> %) -> %
from ExpressionSpace
eval: (%, BasicOperator, %, Symbol) -> %
from FunctionSpace Integer
eval: (%, BasicOperator, List % -> %) -> %
from ExpressionSpace
eval: (%, Equation %) -> %
from Evalable %
eval: (%, Kernel %, %) -> %
from InnerEvalable(Kernel %, %)
eval: (%, List %, List %) -> %
from InnerEvalable(%, %)
eval: (%, List BasicOperator, List % -> %) -> %
from ExpressionSpace
eval: (%, List BasicOperator, List %, Symbol) -> %
from FunctionSpace Integer
eval: (%, List BasicOperator, List List % -> %) -> %
from ExpressionSpace
eval: (%, List Equation %) -> %
from Evalable %
eval: (%, List Kernel %, List %) -> %
from InnerEvalable(Kernel %, %)
eval: (%, List Symbol) -> %
from FunctionSpace Integer
eval: (%, List Symbol, List % -> %) -> %
from ExpressionSpace
eval: (%, List Symbol, List List % -> %) -> %
from ExpressionSpace
eval: (%, List Symbol, List NonNegativeInteger, List % -> %) -> %
from FunctionSpace Integer
eval: (%, List Symbol, List NonNegativeInteger, List List % -> %) -> %
from FunctionSpace Integer
eval: (%, Symbol) -> %
from FunctionSpace Integer
eval: (%, Symbol, % -> %) -> %
from ExpressionSpace
eval: (%, Symbol, List % -> %) -> %
from ExpressionSpace
eval: (%, Symbol, NonNegativeInteger, % -> %) -> %
from FunctionSpace Integer
eval: (%, Symbol, NonNegativeInteger, List % -> %) -> %
from FunctionSpace Integer
exp: % -> %
from ElementaryFunctionCategory
expressIdealMember: (List %, %) -> Union(List %, failed)
from PrincipalIdealDomain
exquo: (%, %) -> Union(%, failed)
from EntireRing
extendedEuclidean: (%, %) -> Record(coef1: %, coef2: %, generator: %)
from EuclideanDomain
extendedEuclidean: (%, %, %) -> Union(Record(coef1: %, coef2: %), failed)
from EuclideanDomain
extractSymbol: SparseEchelonMatrix(JB, %) -> SparseEchelonMatrix(JB, %)
from JetBundleFunctionCategory JB
factor: % -> Factored %
from UniqueFactorizationDomain
factorial: % -> %
from CombinatorialFunctionCategory
factorials: % -> %
from CombinatorialOpsCategory
factorials: (%, Symbol) -> %
from CombinatorialOpsCategory
formalDiff2: (%, PositiveInteger, SparseEchelonMatrix(JB, %)) -> Record(DPhi: %, JVars: List JB)
from JetBundleFunctionCategory JB
formalDiff2: (List %, PositiveInteger, SparseEchelonMatrix(JB, %)) -> Record(DSys: List %, JVars: List List JB)
from JetBundleFunctionCategory JB
formalDiff: (%, List NonNegativeInteger) -> %
from JetBundleFunctionCategory JB
formalDiff: (%, PositiveInteger) -> %
from JetBundleFunctionCategory JB
formalDiff: (List %, PositiveInteger) -> List %
from JetBundleFunctionCategory JB
freeOf?: (%, %) -> Boolean
from ExpressionSpace
freeOf?: (%, JB) -> Boolean
from JetBundleFunctionCategory JB
freeOf?: (%, Symbol) -> Boolean
from ExpressionSpace
fresnelC: % -> %
from LiouvillianFunctionCategory
fresnelS: % -> %
from LiouvillianFunctionCategory
function: (Symbol, List %) -> %
function(f, arg) generates a function with name f and arguments arg.
Gamma: % -> %
from SpecialFunctionCategory
Gamma: (%, %) -> %
from SpecialFunctionCategory
gcd: (%, %) -> %
from GcdDomain
gcd: List % -> %
from GcdDomain
gcdPolynomial: (SparseUnivariatePolynomial %, SparseUnivariatePolynomial %) -> SparseUnivariatePolynomial %
from GcdDomain
getNotation: () -> Symbol
from JetBundleFunctionCategory JB
ground: % -> Integer
from FunctionSpace Integer
ground?: % -> Boolean
from FunctionSpace Integer
hankelH1: (%, %) -> %
from SpecialFunctionCategory
hankelH2: (%, %) -> %
from SpecialFunctionCategory
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
height: % -> NonNegativeInteger
from ExpressionSpace
hermiteH: (%, %) -> %
from SpecialFunctionCategory
integral: (%, SegmentBinding %) -> %
from PrimitiveFunctionCategory
integral: (%, Symbol) -> %
from PrimitiveFunctionCategory
inv: % -> %
from Group
is?: (%, BasicOperator) -> Boolean
from ExpressionSpace
is?: (%, Symbol) -> Boolean
from ExpressionSpace
isExpt: % -> Union(Record(var: Kernel %, exponent: Integer), failed)
from FunctionSpace Integer
isExpt: (%, BasicOperator) -> Union(Record(var: Kernel %, exponent: Integer), failed)
from FunctionSpace Integer
isExpt: (%, Symbol) -> Union(Record(var: Kernel %, exponent: Integer), failed)
from FunctionSpace Integer
isMult: % -> Union(Record(coef: Integer, var: Kernel %), failed)
from FunctionSpace Integer
isPlus: % -> Union(List %, failed)
from FunctionSpace Integer
isPower: % -> Union(Record(val: %, exponent: Integer), failed)
from FunctionSpace Integer
isTimes: % -> Union(List %, failed)
from FunctionSpace Integer
jacobiCn: (%, %) -> %
from SpecialFunctionCategory
jacobiDn: (%, %) -> %
from SpecialFunctionCategory
jacobiMatrix: (List %, List List JB) -> SparseEchelonMatrix(JB, %)
from JetBundleFunctionCategory JB
jacobiMatrix: List % -> SparseEchelonMatrix(JB, %)
from JetBundleFunctionCategory JB
jacobiP: (%, %, %, %) -> %
from SpecialFunctionCategory
jacobiSn: (%, %) -> %
from SpecialFunctionCategory
jacobiTheta: (%, %) -> %
from SpecialFunctionCategory
jacobiZeta: (%, %) -> %
from SpecialFunctionCategory
jetVariables: % -> List JB
from JetBundleFunctionCategory JB
kelvinBei: (%, %) -> %
from SpecialFunctionCategory
kelvinBer: (%, %) -> %
from SpecialFunctionCategory
kelvinKei: (%, %) -> %
from SpecialFunctionCategory
kelvinKer: (%, %) -> %
from SpecialFunctionCategory
kernel: (BasicOperator, %) -> %
from ExpressionSpace
kernel: (BasicOperator, List %) -> %
from ExpressionSpace
kernels: % -> List Kernel %
from ExpressionSpace
kernels: List % -> List Kernel %
from ExpressionSpace
kummerM: (%, %, %) -> %
from SpecialFunctionCategory
kummerU: (%, %, %) -> %
from SpecialFunctionCategory
laguerreL: (%, %, %) -> %
from SpecialFunctionCategory
lambertW: % -> %
from SpecialFunctionCategory
latex: % -> String
from SetCategory
lcm: (%, %) -> %
from GcdDomain
lcm: List % -> %
from GcdDomain
lcmCoef: (%, %) -> Record(llcm_res: %, coeff1: %, coeff2: %)
from LeftOreRing
leadingDer: % -> JB
from JetBundleFunctionCategory JB
leftPower: (%, NonNegativeInteger) -> %
from MagmaWithUnit
leftPower: (%, PositiveInteger) -> %
from Magma
leftRecip: % -> Union(%, failed)
from MagmaWithUnit
legendreP: (%, %, %) -> %
from SpecialFunctionCategory
legendreQ: (%, %, %) -> %
from SpecialFunctionCategory
lerchPhi: (%, %, %) -> %
from SpecialFunctionCategory
li: % -> %
from LiouvillianFunctionCategory
log: % -> %
from ElementaryFunctionCategory
lommelS1: (%, %, %) -> %
from SpecialFunctionCategory
lommelS2: (%, %, %) -> %
from SpecialFunctionCategory
mainKernel: % -> Union(Kernel %, failed)
from ExpressionSpace
map: (% -> %, Kernel %) -> %
from ExpressionSpace
meixnerM: (%, %, %, %) -> %
from SpecialFunctionCategory
multiEuclidean: (List %, %) -> Union(List %, failed)
from EuclideanDomain
nthRoot: (%, Integer) -> %
from RadicalCategory
numDepVar: () -> PositiveInteger
from JetBundleFunctionCategory JB
numer: % -> SparseMultivariatePolynomial(Integer, Kernel %)
from FunctionSpace Integer
numerator: % -> %
from FunctionSpace Integer
numIndVar: () -> PositiveInteger
from JetBundleFunctionCategory JB
one?: % -> Boolean
from MagmaWithUnit
operator: BasicOperator -> BasicOperator
from ExpressionSpace
operators: % -> List BasicOperator
from ExpressionSpace
opposite?: (%, %) -> Boolean
from AbelianMonoid
order: % -> NonNegativeInteger
from JetBundleFunctionCategory JB
orderDim: (List %, SparseEchelonMatrix(JB, %), NonNegativeInteger) -> NonNegativeInteger
from JetBundleFunctionCategory JB
P: (PositiveInteger, List NonNegativeInteger) -> %
from JetBundleFunctionCategory JB
P: (PositiveInteger, NonNegativeInteger) -> %
from JetBundleFunctionCategory JB
P: List NonNegativeInteger -> %
from JetBundleFunctionCategory JB
P: NonNegativeInteger -> %
from JetBundleFunctionCategory JB
paren: % -> %
from ExpressionSpace
paren: List % -> %
from ExpressionSpace
patternMatch: (%, Pattern Float, PatternMatchResult(Float, %)) -> PatternMatchResult(Float, %) if Integer has PatternMatchable Float
from PatternMatchable Float
patternMatch: (%, Pattern Integer, PatternMatchResult(Integer, %)) -> PatternMatchResult(Integer, %)
from PatternMatchable Integer
permutation: (%, %) -> %
from CombinatorialFunctionCategory
pi: () -> %
from TranscendentalFunctionCategory
polygamma: (%, %) -> %
from SpecialFunctionCategory
polylog: (%, %) -> %
from SpecialFunctionCategory
prime?: % -> Boolean
from UniqueFactorizationDomain
principalIdeal: List % -> Record(coef: List %, generator: %)
from PrincipalIdealDomain
product: (%, SegmentBinding %) -> %
from CombinatorialOpsCategory
product: (%, Symbol) -> %
from CombinatorialOpsCategory
quo: (%, %) -> %
from EuclideanDomain
recip: % -> Union(%, failed)
from MagmaWithUnit
reduce: % -> %
reduce(x) reduces the algebraics in x.
reducedSystem: (Matrix %, Vector %) -> Record(mat: Matrix Integer, vec: Vector Integer)
from LinearlyExplicitOver Integer
reducedSystem: Matrix % -> Matrix Integer
from LinearlyExplicitOver Integer
reduceMod: (List %, List %) -> List %
from JetBundleFunctionCategory JB
rem: (%, %) -> %
from EuclideanDomain
retract: % -> Fraction Integer
from RetractableTo Fraction Integer
retract: % -> Fraction Polynomial Integer
from RetractableTo Fraction Polynomial Integer
retract: % -> Integer
from RetractableTo Integer
retract: % -> JB
from RetractableTo JB
retract: % -> Kernel %
from RetractableTo Kernel %
retract: % -> Polynomial Integer
from RetractableTo Polynomial Integer
retract: % -> Symbol
from RetractableTo Symbol
retract: JetBundleExpression JB -> %
retract(p) is like retractIfCan(p) put yields a hard error, if p contains further jet variables.
retractIfCan: % -> Union(Fraction Integer, failed)
from RetractableTo Fraction Integer
retractIfCan: % -> Union(Fraction Polynomial Integer, failed)
from RetractableTo Fraction Polynomial Integer
retractIfCan: % -> Union(Integer, failed)
from RetractableTo Integer
retractIfCan: % -> Union(JB, failed)
from RetractableTo JB
retractIfCan: % -> Union(Kernel %, failed)
from RetractableTo Kernel %
retractIfCan: % -> Union(Polynomial Integer, failed)
from RetractableTo Polynomial Integer
retractIfCan: % -> Union(Symbol, failed)
from RetractableTo Symbol
retractIfCan: JetBundleExpression JB -> Union(%, failed)
retractIfCan(p) checks whether p depends only on the independent variables. If yes, it is coerced.
riemannZeta: % -> %
from SpecialFunctionCategory
rightPower: (%, NonNegativeInteger) -> %
from MagmaWithUnit
rightPower: (%, PositiveInteger) -> %
from Magma
rightRecip: % -> Union(%, failed)
from MagmaWithUnit
rootOf: % -> %
from AlgebraicallyClosedFunctionSpace Integer
rootOf: (%, Symbol) -> %
from AlgebraicallyClosedFunctionSpace Integer
rootOf: (SparseUnivariatePolynomial %, Symbol) -> %
from AlgebraicallyClosedField
rootOf: Polynomial % -> %
from AlgebraicallyClosedField
rootOf: SparseUnivariatePolynomial % -> %
from AlgebraicallyClosedField
rootsOf: % -> List %
from AlgebraicallyClosedFunctionSpace Integer
rootsOf: (%, Symbol) -> List %
from AlgebraicallyClosedFunctionSpace Integer
rootsOf: (SparseUnivariatePolynomial %, Symbol) -> List %
from AlgebraicallyClosedField
rootsOf: Polynomial % -> List %
from AlgebraicallyClosedField
rootsOf: SparseUnivariatePolynomial % -> List %
from AlgebraicallyClosedField
rootSum: (%, SparseUnivariatePolynomial %, Symbol) -> %
from AlgebraicallyClosedFunctionSpace Integer
sample: %
from AbelianMonoid
sec: % -> %
from TrigonometricFunctionCategory
sech: % -> %
from HyperbolicFunctionCategory
setNotation: Symbol -> Void
from JetBundleFunctionCategory JB
Shi: % -> %
from LiouvillianFunctionCategory
Si: % -> %
from LiouvillianFunctionCategory
simplify: (List %, SparseEchelonMatrix(JB, %)) -> Record(Sys: List %, JM: SparseEchelonMatrix(JB, %), Depend: Union(failed, List List NonNegativeInteger))
from JetBundleFunctionCategory JB
simpMod: (List %, List %) -> List %
from JetBundleFunctionCategory JB
simpMod: (List %, SparseEchelonMatrix(JB, %), List %) -> Record(Sys: List %, JM: SparseEchelonMatrix(JB, %), Depend: Union(failed, List List NonNegativeInteger))
from JetBundleFunctionCategory JB
simpOne: % -> %
from JetBundleFunctionCategory JB
sin: % -> %
from TrigonometricFunctionCategory
sinh: % -> %
from HyperbolicFunctionCategory
sizeLess?: (%, %) -> Boolean
from EuclideanDomain
smaller?: (%, %) -> Boolean
from Comparable
solveFor: (%, JB) -> Union(%, failed)
from JetBundleFunctionCategory JB
sortLD: List % -> List %
from JetBundleFunctionCategory JB
sqrt: % -> %
from RadicalCategory
squareFree: % -> Factored %
from UniqueFactorizationDomain
squareFreePart: % -> %
from UniqueFactorizationDomain
struveH: (%, %) -> %
from SpecialFunctionCategory
struveL: (%, %) -> %
from SpecialFunctionCategory
subst: (%, Equation %) -> %
from ExpressionSpace
subst: (%, JB, %) -> %
from JetBundleFunctionCategory JB
subst: (%, List Equation %) -> %
from ExpressionSpace
subst: (%, List Kernel %, List %) -> %
from ExpressionSpace
subtractIfCan: (%, %) -> Union(%, failed)
from CancellationAbelianMonoid
summation: (%, SegmentBinding %) -> %
from CombinatorialOpsCategory
summation: (%, Symbol) -> %
from CombinatorialOpsCategory
symbol: List % -> SparseEchelonMatrix(JB, %)
from JetBundleFunctionCategory JB
tan: % -> %
from TrigonometricFunctionCategory
tanh: % -> %
from HyperbolicFunctionCategory
tower: % -> List Kernel %
from ExpressionSpace
tower: List % -> List Kernel %
from ExpressionSpace
U: () -> %
from JetBundleFunctionCategory JB
U: PositiveInteger -> %
from JetBundleFunctionCategory JB
unit?: % -> Boolean
from EntireRing
unitCanonical: % -> %
from EntireRing
unitNormal: % -> Record(unit: %, canonical: %, associate: %)
from EntireRing
univariate: (%, Kernel %) -> Fraction SparseUnivariatePolynomial %
from FunctionSpace Integer
variables: % -> List Symbol
from FunctionSpace Integer
variables: List % -> List Symbol
from FunctionSpace Integer
weberE: (%, %) -> %
from SpecialFunctionCategory
weierstrassP: (%, %, %) -> %
from SpecialFunctionCategory
weierstrassPInverse: (%, %, %) -> %
from SpecialFunctionCategory
weierstrassPPrime: (%, %, %) -> %
from SpecialFunctionCategory
weierstrassSigma: (%, %, %) -> %
from SpecialFunctionCategory
weierstrassZeta: (%, %, %) -> %
from SpecialFunctionCategory
whittakerM: (%, %, %) -> %
from SpecialFunctionCategory
whittakerW: (%, %, %) -> %
from SpecialFunctionCategory
X: () -> %
from JetBundleFunctionCategory JB
X: PositiveInteger -> %
from JetBundleFunctionCategory JB
zero?: % -> Boolean
from AbelianMonoid
zeroOf: % -> %
from AlgebraicallyClosedFunctionSpace Integer
zeroOf: (%, Symbol) -> %
from AlgebraicallyClosedFunctionSpace Integer
zeroOf: (SparseUnivariatePolynomial %, Symbol) -> %
from AlgebraicallyClosedField
zeroOf: Polynomial % -> %
from AlgebraicallyClosedField
zeroOf: SparseUnivariatePolynomial % -> %
from AlgebraicallyClosedField
zerosOf: % -> List %
from AlgebraicallyClosedFunctionSpace Integer
zerosOf: (%, Symbol) -> List %
from AlgebraicallyClosedFunctionSpace Integer
zerosOf: (SparseUnivariatePolynomial %, Symbol) -> List %
from AlgebraicallyClosedField
zerosOf: Polynomial % -> List %
from AlgebraicallyClosedField
zerosOf: SparseUnivariatePolynomial % -> List %
from AlgebraicallyClosedField

AbelianGroup

AbelianMonoid

AbelianSemiGroup

Algebra %

Algebra Fraction Integer

Algebra Integer

AlgebraicallyClosedField

AlgebraicallyClosedFunctionSpace Integer

ArcHyperbolicFunctionCategory

ArcTrigonometricFunctionCategory

BasicType

BiModule(%, %)

BiModule(Fraction Integer, Fraction Integer)

BiModule(Integer, Integer)

CancellationAbelianMonoid

canonicalsClosed

canonicalUnitNormal

CharacteristicNonZero if Integer has CharacteristicNonZero

CharacteristicZero

CoercibleTo OutputForm

CombinatorialFunctionCategory

CombinatorialOpsCategory

CommutativeRing

CommutativeStar

Comparable

ConvertibleTo InputForm

ConvertibleTo Pattern Float if Integer has ConvertibleTo Pattern Float

ConvertibleTo Pattern Integer

DivisionRing

ElementaryFunctionCategory

EntireRing

EuclideanDomain

Evalable %

ExpressionSpace

Field

FullyLinearlyExplicitOver Integer

FullyPatternMatchable Integer

FullyRetractableTo Integer

FunctionSpace Integer

GcdDomain

Group if Integer has Group

HyperbolicFunctionCategory

InnerEvalable(%, %)

InnerEvalable(Kernel %, %)

IntegralDomain

JetBundleBaseFunctionCategory JB

JetBundleFunctionCategory JB

LeftModule %

LeftModule Fraction Integer

LeftModule Integer

LeftOreRing

LinearlyExplicitOver Integer

LiouvillianFunctionCategory

Magma

MagmaWithUnit

Module %

Module Fraction Integer

Module Integer

Monoid

NonAssociativeRing

NonAssociativeRng

NonAssociativeSemiRing

NonAssociativeSemiRng

noZeroDivisors

PartialDifferentialRing Symbol

Patternable Integer

PatternMatchable Float if Integer has PatternMatchable Float

PatternMatchable Integer

PrimitiveFunctionCategory

PrincipalIdealDomain

RadicalCategory

RetractableTo Fraction Integer

RetractableTo Fraction Polynomial Integer

RetractableTo Integer

RetractableTo JB

RetractableTo Kernel %

RetractableTo Polynomial Integer

RetractableTo Symbol

RightModule %

RightModule Fraction Integer

RightModule Integer

Ring

Rng

SemiGroup

SemiRing

SemiRng

SetCategory

SpecialFunctionCategory

TranscendentalFunctionCategory

TrigonometricFunctionCategory

UniqueFactorizationDomain

unitsKnown