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.