On Closure Properties of GapL

Thanh Minh Hoang and Thomas Thierauf

Abstract:
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.