A linear congruence. More...

Public Member Functions
	Congruence (Linear_Expression e1, Linear_Expression e2, Coefficient m)
	Returns the congruence $\mathtt{e1} = \mathtt{e2} \pmod{\mathtt{m}}$ .

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.

Detailed Description

A linear congruence.

An object of the class Congruence is an object represeting a congruence:

$\cg = \sum_{i=0}^{n-1} a_i x_i + b = 0 \pmod{m}$

where $n$ is the dimension of the space, $a_i$ is the integer coefficient of variable $x_i$ , $b$ is the integer inhomogeneous term and $m$ is the integer modulus; if $m = 0$ , then $\cg$ represents the equality congruence $\sum_{i=0}^{n-1} a_i x_i + b = 0$ and, if $m \neq 0$ , then the congruence $\cg$ is said to be a proper congruence.

The documentation for this class was generated from the following file:

Congruence.java

Public Member Functions

Protected Attributes

Detailed Description