We show necessary and sufficient conditions that
certain algebraic functions like the rank or the inertia
of an integer matrix can be computed in GapL.
We show necessary and sufficient conditions that
certain algebraic functions like the rank or the signature
of an integer matrix can be computed in GapL.
The revision fixes an error in the original paper.
Please use the revised paper only.