JetBundle(IVar, DVar)ΒΆ

jet.spad line 2056 [edit on github]

JetBundle implements a jet bundle of arbitrary order with given names for the independent and dependent variables. It supports only repeated index notation.

1: %

from JetBundleCategory

<=: (%, %) -> Boolean

from PartialOrder

<: (%, %) -> Boolean

from PartialOrder

=: (%, %) -> Boolean

from BasicType

>=: (%, %) -> Boolean

from PartialOrder

>: (%, %) -> Boolean

from JetBundleCategory

~=: (%, %) -> Boolean

from BasicType

allRepeated: List NonNegativeInteger -> List List PositiveInteger

from JetBundleCategory

class: % -> NonNegativeInteger

from JetBundleCategory

class: List NonNegativeInteger -> NonNegativeInteger

from JetBundleCategory

coerce: % -> Expression Integer

from CoercibleTo Expression Integer

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: Symbol -> %

coerce(sy) allows for the input of jet variables as symbols. Yields an error, if the symbol is not contained in IVar or DVar.

D: (Symbol, List Symbol) -> %

D(U, [X1, ..., Xq]) generates a derivative. U must be in DVar; all other symbols in IVar.

derivativeOf?: (%, %) -> List NonNegativeInteger

from JetBundleCategory

differentiate: (%, PositiveInteger) -> Union(%, 0)

from JetBundleCategory

dimJ: NonNegativeInteger -> NonNegativeInteger

from JetBundleCategory

dimS: NonNegativeInteger -> NonNegativeInteger

from JetBundleCategory

getNotation: () -> Symbol

from JetBundleCategory

index: % -> PositiveInteger

from JetBundleCategory

integrate: (%, PositiveInteger) -> %

from JetBundleCategory

integrateIfCan: (%, PositiveInteger) -> Union(%, failed)

from JetBundleCategory

latex: % -> String

from SetCategory

m2r: List NonNegativeInteger -> List PositiveInteger

from JetBundleCategory

max: (%, %) -> %

from OrderedSet

min: (%, %) -> %

from OrderedSet

multiIndex: % -> List NonNegativeInteger

from JetBundleCategory

name: % -> Symbol

from JetBundleCategory

numDepVar: () -> PositiveInteger

from JetBundleCategory

numIndVar: () -> PositiveInteger

from JetBundleCategory

one?: % -> Boolean

from JetBundleCategory

order: % -> NonNegativeInteger

from JetBundleCategory

P: (PositiveInteger, List NonNegativeInteger) -> %

from JetBundleCategory

P: (PositiveInteger, NonNegativeInteger) -> %

from JetBundleCategory

P: List NonNegativeInteger -> %

from JetBundleCategory

P: NonNegativeInteger -> %

from JetBundleCategory

Pm: (PositiveInteger, List NonNegativeInteger) -> %

from JetBundleCategory

Pr: (PositiveInteger, List PositiveInteger) -> %

from JetBundleCategory

r2m: List PositiveInteger -> List NonNegativeInteger

from JetBundleCategory

repeatedIndex: % -> List PositiveInteger

from JetBundleCategory

setNotation: Symbol -> Symbol

from JetBundleCategory

smaller?: (%, %) -> Boolean

from Comparable

type: % -> Symbol

from JetBundleCategory

U: () -> %

from JetBundleCategory

U: PositiveInteger -> %

from JetBundleCategory

variables: (NonNegativeInteger, PositiveInteger) -> List %

from JetBundleCategory

variables: NonNegativeInteger -> List %

from JetBundleCategory

weight: % -> NonNegativeInteger

from JetBundleCategory

X: () -> %

from JetBundleCategory

X: PositiveInteger -> %

from JetBundleCategory

BasicType

CoercibleTo Expression Integer

CoercibleTo OutputForm

Comparable

JetBundleCategory

OrderedSet

PartialOrder

SetCategory