Re: [sage-devel] Re: inherit group from monoid

2015-01-20 Thread Daniel Krenn
Am 2015-01-13 um 23:53 schrieb Simon King: > On 2015-01-13, Daniel Krenn wrote: >> Am 2015-01-12 um 22:07 schrieb David Roe: >>> I would say that, ideally, the kind of functionality that >>> you're moving from Group to Monoid should go in the categories. Then we >>> don't need an intermediate cla

Re: [sage-devel] Re: inherit group from monoid

2015-01-19 Thread Robert Bradshaw
On Sun, Jan 18, 2015 at 2:17 AM, Nicolas M. Thiery wrote: > Hi Robert, > > On Tue, Jan 13, 2015 at 06:11:09PM -0800, Robert Bradshaw wrote: >> :). It might be possible, but it'd be really, really messy (messier >> than it is in C++, because one needs the shared PyObject_HEAD to be >> corre

Re: [sage-devel] Re: inherit group from monoid

2015-01-18 Thread Nicolas M. Thiery
Hi Robert, On Tue, Jan 13, 2015 at 06:11:09PM -0800, Robert Bradshaw wrote: > :). It might be possible, but it'd be really, really messy (messier > than it is in C++, because one needs the shared PyObject_HEAD to be > correctly accessed by all the Python C API framework). Didn't you menti

Re: [sage-devel] Re: inherit group from monoid

2015-01-13 Thread Robert Bradshaw
On Tue, Jan 13, 2015 at 3:20 PM, Simon King wrote: > Hi William, > > On 2015-01-13, William Stein wrote: >>> Ideally, there would be a category framework fully implemented in >>> Cython---which is impossible, since you can't create cdef classes >>> dynamically >>> and also can not (yet?) create c

[sage-devel] Re: inherit group from monoid

2015-01-13 Thread Simon King
Hi William, On 2015-01-13, William Stein wrote: >> Ideally, there would be a category framework fully implemented in >> Cython---which is impossible, since you can't create cdef classes >> dynamically >> and also can not (yet?) create cdef classes inheriting from more than >> one base class. >> >

Re: [sage-devel] Re: inherit group from monoid

2015-01-13 Thread William Stein
On Tue, Jan 13, 2015 at 4:53 PM, Simon King wrote: > On 2015-01-13, Daniel Krenn wrote: > > Am 2015-01-12 um 22:07 schrieb David Roe: > >> I would say that, ideally, the kind of functionality that > >> you're moving from Group to Monoid should go in the categories. Then we > >> don't need an in

[sage-devel] Re: inherit group from monoid

2015-01-13 Thread Simon King
On 2015-01-13, Daniel Krenn wrote: > Am 2015-01-12 um 22:07 schrieb David Roe: >> I would say that, ideally, the kind of functionality that >> you're moving from Group to Monoid should go in the categories. Then we >> don't need an intermediate class in the Python inheritance tree. > > Does this