Thomas Breuer wrote:
Currently the GAP function `DeterminantMat' assumes that nonzero
elements in the ring spanned by the matrix entries can be inverted.
If this does not hold, as in your example, we know no other method
for computing a determinant than summing certain products over the
symmetric group or writing the determinant recursively in terms of
determinants of smaller matrices.
Is only no better method known, or is there in fact a theorem that states
that in 'general', there is no more efficient way to compute the determinant ?