Re: [sage-devel] Getting rid of the pickle jar

2017-10-27 Thread William Stein
On Fri, Oct 27, 2017 at 5:47 PM Travis Scrimshaw wrote: > > > On Friday, October 27, 2017 at 10:19:31 PM UTC+10, Erik Bray wrote: > >> On Fri, Oct 27, 2017 at 10:42 AM, Jeroen Demeyer >> wrote: >> > This is a topic which comes up now and then but which hasn't been >> resolved >> > so far. >> > >

Re: [sage-devel] Getting rid of the pickle jar

2017-10-27 Thread Travis Scrimshaw
On Friday, October 27, 2017 at 10:19:31 PM UTC+10, Erik Bray wrote: > > On Fri, Oct 27, 2017 at 10:42 AM, Jeroen Demeyer > wrote: > > This is a topic which comes up now and then but which hasn't been > resolved > > so far. > > > > Sage has a "pickle jar" stored in src/ext/pickle_jar/pickle_

Re: [sage-devel] Getting rid of the pickle jar

2017-10-27 Thread Erik Bray
On Fri, Oct 27, 2017 at 10:42 AM, Jeroen Demeyer wrote: > This is a topic which comes up now and then but which hasn't been resolved > so far. > > Sage has a "pickle jar" stored in src/ext/pickle_jar/pickle_jar.tar.bz2 and > there are tests in src/sage/structure/sage_object.pyx which check that ev

[sage-devel] Getting rid of the pickle jar

2017-10-27 Thread Jeroen Demeyer
This is a topic which comes up now and then but which hasn't been resolved so far. Sage has a "pickle jar" stored in src/ext/pickle_jar/pickle_jar.tar.bz2 and there are tests in src/sage/structure/sage_object.pyx which check that every object in the pickle jar can be unpickled without raising