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> > wrote: >> Dear all, > > <SNIP> > > HI Nicolas, > >> 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. William --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
