SequentialDifferentialVariable(S)
dpolcat.spad line 142
[edit on github]
OrderlyDifferentialVariable adds a commonly used sequential ranking to the set of derivatives of an ordered list of differential indeterminates. A sequential ranking is a ranking < of the derivatives with the property that for any derivative v, there are only a finite number of derivatives u with u < v. This domain belongs to DifferentialVariableCategory. It defines weight to be just order, and it defines a sequential ranking < on derivatives u by the lexicographic order on the pair (variable(u), order(u)).
- < : (%, %) -> Boolean
- from PartialOrder
- <= : (%, %) -> Boolean
- from PartialOrder
- = : (%, %) -> Boolean
- from BasicType
- > : (%, %) -> Boolean
- from PartialOrder
- >= : (%, %) -> Boolean
- from PartialOrder
- coerce : S -> %
- from DifferentialVariableCategory(S)
- coerce : % -> OutputForm
- from CoercibleTo(OutputForm)
- differentiate : % -> %
- from DifferentialVariableCategory(S)
- differentiate : (%, NonNegativeInteger) -> %
- from DifferentialVariableCategory(S)
- latex : % -> String
- from SetCategory
- makeVariable : (S, NonNegativeInteger) -> %
- from DifferentialVariableCategory(S)
- max : (%, %) -> %
- from OrderedSet
- min : (%, %) -> %
- from OrderedSet
- order : % -> NonNegativeInteger
- from DifferentialVariableCategory(S)
- retract : % -> S
- from RetractableTo(S)
- retractIfCan : % -> Union(S, "failed")
- from RetractableTo(S)
- smaller? : (%, %) -> Boolean
- from Comparable
- variable : % -> S
- from DifferentialVariableCategory(S)
- weight : % -> NonNegativeInteger
- from DifferentialVariableCategory(S)
- ~= : (%, %) -> Boolean
- from BasicType
RetractableTo(S)
CoercibleTo(OutputForm)
Comparable
OrderedSet
CoercibleFrom(S)
SetCategory
BasicType
DifferentialVariableCategory(S)
PartialOrder