On Fri, Feb 06, 2009 at 03:32:25PM -0800, William Stein wrote: > On Fri, Feb 6, 2009 at 1:01 PM, mabshoff <mabsh...@googlemail.com> wrote: > > On Feb 6, 11:53 am, "Nicolas M. Thiery" <nicolas.thi...@u-psud.fr> > >> I just want to mention that I am precisely setting up a standardized > >> way in the category framework for setting up this kind of generic > >> tests. See in particular Sets? after installing the sage-combinat > >> patches. Comments, suggestions and reviews most welcome! > >> > >> General idea: Imagine you have just implemented a parent P in the > >> category SemiGroups(). Here, I'll just take the example of semi-group > >> provided by the category: > >> > >> sage: P = SemiGroups().example() > >> The trivial semigroup with a*b == a > >> > >> (for the record, this line above is fake, but it will actually work > >> very soon; by the way: should this be called a_parent() or something else?) > >> > >> Now, you want to run generic checks on P. You can just do: > >> > >> sage: P.check(verbose = True) > >> running test_an_element ... > >> running test_some_elements ... > >> running test_pickling ... > >> running test_element_pickling ... > >> running test_associativity ... > > >> Best regards, > >> Nicolas > > > > This looks *very* cool and useful. Any idea when it will be ready and > > how much of it has a dependency on code in Sage-combinat not yet > > merged into Sage? > > Yes, a very big +1. I definitely would want to have doctests that use the > above in Sage somewhere.
:-) It's quite tied up into the category framework, so I don't see a way to merge it into Sage without the category framework. As for the category framework itself: it has been experimented with quite much during the sage-combinat workshop, and sounds reasonably stable and definitely useful. So it would make sense to start thinking about the merge. At this stage, I'd love to get comments and pre-reviews on the design from the Sage community. There is one show-stopper though: the class pickling issue. I still did not get any answer from my post in comp.lang.python and feel pretty much stuck. http://groups.google.com/group/comp.lang.python/msg/92fdf6759c0e087f Any ideas on who to contact? All the best, Nicolas -- Nicolas M. Thiéry "Isil" <nthi...@users.sf.net> http://Nicolas.Thiery.name/ --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
