Computing obstructions for existence of connections on modules. - Eivind Eriksen; Trond Stølen Gustavsen (J. Symb. Comput., 2007)