Re: [sage-devel] Re: Random testing for finite lattices

2017-08-30 Thread Jori Mäntysalo
On Wed, 30 Aug 2017, Travis Scrimshaw wrote: What if we add tests of, say, random graphs to this file? Or should we have basically one function in one file? It doesn't have to necessarily be one function, but I think it would be good to keep it closer to one specific type of o

Re: [sage-devel] Re: Random testing for finite lattices

2017-08-30 Thread Travis Scrimshaw
On Wednesday, August 30, 2017 at 12:27:04 PM UTC-5, Jori Mäntysalo wrote: > > On Wed, 30 Aug 2017, Travis Scrimshaw wrote: > > > Looks good (other than call the file something like "lattice_tests.py"). > > What if we add tests of, say, random graphs to this file? Or should we > have basically

Re: [sage-devel] Re: Random testing for finite lattices

2017-08-30 Thread Jori Mäntysalo
On Wed, 30 Aug 2017, Travis Scrimshaw wrote: Looks good (other than call the file something like "lattice_tests.py"). What if we add tests of, say, random graphs to this file? Or should we have basically one function in one file? Now to fully flush it out. Once all the tests are in there, w

Re: [sage-devel] Re: Random testing for finite lattices

2017-08-30 Thread Travis Scrimshaw
> > So the use would be something like > > > > sage: from some.place.tests import test_finite_lattice > > sage: for L in big_list_of_random_lattices: > > sage: test_finite_lattice(L) > > sage: print("All OK") > > > Yes, but I would not do the print(). > >

Re: [sage-devel] Re: Random testing for finite lattices

2017-08-30 Thread Jori Mäntysalo
On Wed, 30 Aug 2017, Travis Scrimshaw wrote: So the use would be something like sage: from some.place.tests import test_finite_lattice sage: for L in big_list_of_random_lattices: sage:     test_finite_lattice(L) sage: print("All OK") Yes, but I would not do the

Re: [sage-devel] Re: Random testing for finite lattices

2017-08-30 Thread Travis Scrimshaw
On Wednesday, August 30, 2017 at 1:16:37 AM UTC-5, Jori Mäntysalo wrote: > > 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? > > >

Re: [sage-devel] Re: Random testing for finite lattices

2017-08-29 Thread Jori Mäntysalo
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? Since they are around 1 second, you could add the test code to our tests folder with one to a few "

Re: [sage-devel] Re: Random testing for finite lattices

2017-08-23 Thread Travis Scrimshaw
On Wednesday, August 23, 2017 at 12:51:54 PM UTC-5, Jori Mäntysalo wrote: > > 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 s

Re: [sage-devel] Re: Random testing for finite lattices

2017-08-23 Thread Jori Mäntysalo
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 n

[sage-devel] Re: Random testing for finite lattices

2017-08-23 Thread Travis Scrimshaw
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 c