JetBundleSymAna(JB1, xi, eta)

jet.spad line 5066 [edit on github]

• JB1 : JetBundleCategory
• xi : Union(Symbol, List(Symbol))
• eta : Union(Symbol, List(Symbol))

JetBundleSymAna is only necessary to have a valid return type for some procedures in SymmetryAnalysis. It is essentially identical with JetBundle but computes its parameters in a more complicated way.

1 : () -> %

from JetBundleCategory

< : (%, %) -> Boolean

from PartialOrder

<= : (%, %) -> Boolean

from PartialOrder

= : (%, %) -> Boolean

from BasicType

> : (%, %) -> Boolean

from JetBundleCategory

>= : (%, %) -> Boolean

from PartialOrder

D : (Symbol, List(Symbol)) -> %

D(u, der) generates a derivative.

P : List(NonNegativeInteger) -> %

from JetBundleCategory

P : NonNegativeInteger -> %

from JetBundleCategory

P : (PositiveInteger, List(NonNegativeInteger)) -> %

from JetBundleCategory

P : (PositiveInteger, NonNegativeInteger) -> %

from JetBundleCategory

Pm : (PositiveInteger, List(NonNegativeInteger)) -> %

from JetBundleCategory

Pr : (PositiveInteger, List(PositiveInteger)) -> %

from JetBundleCategory

U : () -> %

from JetBundleCategory

U : PositiveInteger -> %

from JetBundleCategory

X : () -> %

from JetBundleCategory

X : PositiveInteger -> %

from JetBundleCategory

allRepeated : List(NonNegativeInteger) -> List(List(PositiveInteger))

from JetBundleCategory

class : % -> NonNegativeInteger

from JetBundleCategory

class : List(NonNegativeInteger) -> NonNegativeInteger

from JetBundleCategory

coerce : Symbol -> %

coerce(s) allows for the input of jet variables as symbols.

coerce : % -> Expression(Integer)

from CoercibleTo(Expression(Integer))

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

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

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

variables : NonNegativeInteger -> List(%)

from JetBundleCategory

variables : (NonNegativeInteger, PositiveInteger) -> List(%)

from JetBundleCategory

weight : % -> NonNegativeInteger

from JetBundleCategory

~= : (%, %) -> Boolean

from BasicType

CoercibleTo(Expression(Integer))

PartialOrder

OrderedSet

Comparable

SetCategory

JetBundleCategory

BasicType

CoercibleTo(OutputForm)