© 2018 John Abbott, Anna M. Bigatti
GNU Free Documentation License, Version 1.2

CoCoALib Documentation Index


User documentation

BigRatInterval is designed to represent (finite, non-empty) intervals with BigRat rational end points.

Constructors and pseudo-constructors

Queries and views

Let I be a BigRatInterval


Basic interval arithmetic operations between two intervals I1 and I2:

Basic arithmetic operations between an interval I and a rational q:

Division is not yet supported!

Maintainer documentation

I have preferred simplicity over efficiency for this first version.

Bugs, shortcomings and other ideas

Not efficient!

What should the interface to soften be? Is there a better fn name?

Main changes