| |||||||||||||
KASH3 Reference Manual | |||||||||||||
| |||||||||||||
FunctionFloor
(
elt-ord^inf I
)
->
elt-ord^inf
ExamplesFloor(-INFTY);
| |||||||||||||
Built:
Mon Nov 14 21:12:39 UTC 2005 on mackThe KANT Group |