On Wed, 23 Aug 2017, Travis Scrimshaw wrote:
Thank you for doing this. Do you want to add this as a file into the
$SAGE_SRC/sage/tests? How long does it take to run these tests on your
system?
It seems to already be more than a second per lattice.
This kind of randomized stress testing can not be added to any normal
release cycle. I do not know if our current framework has any good place
for this.
Is there more places for this kind of testing? Personally I have run some
tests for QQ-polynomial factoring and found several bugs in Singular (they
have been corrected). For matrices we know that product of eigenvalues
equals to determinant etc, product of invertible matrices is invertible
etc. What else could be done?
--
Jori Mäntysalo
