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 nicolas.thi...@u-psud.fr 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

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 mention

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 simon.k...@uni-jena.de wrote: Hi William, On 2015-01-13, William Stein wst...@gmail.com 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

[sage-devel] Re: inherit group from monoid

2015-01-13 Thread Simon King
On 2015-01-13, Daniel Krenn kr...@aon.at 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

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 simon.k...@uni-jena.de wrote: On 2015-01-13, Daniel Krenn kr...@aon.at 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.

[sage-devel] Re: inherit group from monoid

2015-01-13 Thread Simon King
Hi William, On 2015-01-13, William Stein wst...@gmail.com 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