On Feb 9, 2009, at 2:21 PM, Nicolas M. Thiery wrote: > 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.
Yes, let's get some non-combinat people looking at this! Could the relevant patches be posted to a ticket? > 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? I personally have no idea on this, but pickling is something that certainly needs to work well. Is this because you're still making classes on the fly to parallel all the existing classes? - Robert --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
