Public Member Functions | |
Congruence (Linear_Expression e1, Linear_Expression e2, Coefficient m) | |
Returns the congruence ![]() | |
native String | ascii_dump () |
Returns an ascii formatted internal representation of this . | |
native String | toString () |
Returns a string representation of this . | |
Protected Attributes | |
Coefficient | modulus |
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 . |
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.