A system of congruences. More...
Public Member Functions | |
| Congruence_System () | |
| Default constructor: builds an empty system of congruences. | |
| native String | ascii_dump () |
Returns an ascii formatted internal representation of this. | |
| native String | toString () |
Returns a string representation of this. | |
A system of congruences.
An object of the class Congruence_System is a system of congruences, i.e., a multiset of objects of the class Congruence.
1.7.1-20100728