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?
Best, Travis On Tuesday, August 22, 2017 at 11:27:28 PM UTC-5, Jori Mäntysalo wrote: > > I have been doing some quality check for finite lattice code. This is a > work in progress, but already can give some ideas for others, so I make it > public for few weeks: > > https://sage.sis.uta.fi/home/pub/153/ > > -- > Jori Mäntysalo > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.