On Thu, Oct 29, 2009 at 02:33:04AM -0700, javier wrote:
>
>
>
> On Oct 29, 12:38 am, "Nicolas M. Thiery"
> wrote:
> > Again, that's just how it used to be. Do we have an agreement for
> > having both:
> >
> > PartiallyOrderedSets()
> > TotallyOrderedSets()
> >
> > I haven't Wik
On Oct 29, 12:38 am, "Nicolas M. Thiery"
wrote:
> Again, that's just how it used to be. Do we have an agreement for
> having both:
>
> PartiallyOrderedSets()
> TotallyOrderedSets()
>
> I haven't Wikipedia under hand. But since an OrderedMonoid is a
> partially ordered set there,
Dear Javier, dear all,
On Wed, Oct 28, 2009 at 09:44:33AM -0700, javier wrote:
> I have been reviewing the last categories I had assigned. Here some
> comments
Yippee!
> ordered_sets.py
> Partially ordered or totally ordered? Why not to call it the
> appropriate way then?
Again,
