AInterval RΒΆ
ainterval.spad line 244 [edit on github]
- R: Join(OrderedRing, CommutativeRing) 
AInterval(R) implements ring operations on intervals.
- 0: %
- from AIntervalCategory R 
- 1: %
- from AIntervalCategory R 
- *: (%, %) -> %
- from AIntervalCategory R 
- *: (Integer, %) -> %
- from AIntervalCategory R 
- *: (PositiveInteger, %) -> %
- from AIntervalCategory R 
- *: (R, %) -> %
- from AIntervalCategory R 
- +: (%, %) -> %
- from AIntervalCategory R 
- +: (%, R) -> %
- from AIntervalCategory R 
- -: % -> %
- from AIntervalCategory R 
- -: (%, %) -> %
- from AIntervalCategory R 
- /: (%, %) -> % if R has Field
- from AIntervalCategory R 
- =: (%, %) -> %
- from AIntervalCategory R 
- =: (%, %) -> Boolean
- from BasicType 
- ^: (%, NonNegativeInteger) -> %
- from AIntervalCategory R 
- ^: (%, PositiveInteger) -> %
- from AIntervalCategory R 
- abs: % -> %
- from AIntervalCategory R 
- coerce: % -> List R
- from AIntervalCategory R 
- coerce: % -> OutputForm
- from CoercibleTo OutputForm 
- contains?: (%, %) -> Boolean
- from AIntervalCategory R 
- contains?: (%, R) -> Boolean
- from AIntervalCategory R 
- error?: % -> Boolean
- from AIntervalCategory R 
- inf: % -> R
- from AIntervalCategory R 
- interval: (R, R) -> %
- from AIntervalCategory R 
- inv: % -> % if R has Field
- from AIntervalCategory R 
- latex: % -> String
- from SetCategory 
- negative?: % -> Boolean
- from AIntervalCategory R 
- one?: % -> Boolean
- from AIntervalCategory R 
- positive?: % -> Boolean
- from AIntervalCategory R 
- qinterval: (R, R) -> %
- from AIntervalCategory R 
- sup: % -> R
- from AIntervalCategory R 
- unit?: % -> Boolean if R has Field
- from AIntervalCategory R 
- width: % -> R
- from AIntervalCategory R 
- zero?: % -> Boolean
- from AIntervalCategory R