|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
| CR | Constructive real numbers, also known as recursive, or computable reals. |
| UnaryCRFunction | Unary functions on constructive reals implemented as objects. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||