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