Biblioteca de Álgebra Linear de Campo Finito (Campo de Galois) para C (não C ++)

Estou procurando por umcampo finito / campo de galois biblioteca de álgebra linear exata para C (C + + não é aceitável porque eu preciso ser capaz de escrever uma ligação Haskell para ele e isso é aparentementedifícil com C ++).

Eu encontrei bibliotecas paraFFLAS-FFPACK eGivaro mas estas são C ++ - bibliotecas de modelos :-(

Em particular, eu quero ser capaz de multiplicarpn × 1 ep1 × m matrizes (vetores) parapn × m matrizes.

Então, alguém sabe que uma biblioteca C ou "extern C" é adequada?

PS: Aqui está meuPergunta de Haskell sobre o mesmo assunto.