A linear congruence. More...
Public Member Functions | |
| Congruence (Linear_Expression e1, Linear_Expression e2, Coefficient m) | |
Returns the congruence . | |
| Linear_Expression | left_hand_side () |
Returns the left hand side of this. | |
| Linear_Expression | right_hand_side () |
Returns the right hand side of this. | |
| Coefficient | modulus () |
Returns the relation symbol of this. | |
| native String | ascii_dump () |
Returns an ascii formatted internal representation of this. | |
| native String | toString () |
Returns a string representation of this. | |
Protected Attributes | |
| Coefficient | mod |
| The modulus of the congruence. | |
Package Attributes | |
| Linear_Expression | lhs |
The value of the left hand side of this. | |
| Linear_Expression | rhs |
The value of the right hand side of this. | |
A linear congruence.
An object of the class Congruence is an object represeting a congruence:

where
is the dimension of the space,
is the integer coefficient of variable
,
is the integer inhomogeneous term and
is the integer modulus; if
, then
represents the equality congruence
and, if
, then the congruence
is said to be a proper congruence.
1.7.1-20100728