Project

General

Profile

Design #1279

Updated by John Abbott over 3 years ago

I recently encountered an unexpected error while trying to compute the determinant of a 2x2 matrix over @ZZ/(841)@ where @841 = 29^2@.

There seem to be several "suboptimal" aspects in the code:
* @DetDirect@ has an incorrect assertion assetion that the ring is a PolyRing
* @DetDirect@ probably should not have been called anyway
* why wasn't @det2x2@ called?

Review the code, and tidy it up!

Back