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. | |
An object of the class Congruence_System is a system of congruences, i.e., a multiset of objects of the class Congruence.
1.5.7.1