On 6/8/11 3:38 AM, Simon King wrote:
Hi Gonzalo,
On 8 Jun., 07:04, Robert Bradshaw<[email protected]>
wrote:
One caveat, though. The standard "Ring" and "Algebra" parents both
inherit from the ParentWithBase. Am I allowed to mix an element class
derived from AlgebraElements with a parent class derived from Parent?
I can't say for sure that there aren't any hidden assumptions, but I
don't think the Parent's class hierarchy constrains the Element's.
I agree with Robert. As much as I understand, ring elements do not do
any special assumption on their parents.
Also, is it my impression or this model seems to require a lot of
boilerplate if I wanted to implement it fully (with categories,
functors, etc)?
I didn't mention functors, although I love the stuff in
sage.categories.pushout :))
The full "boilerplate", if you want to do all of coercion model and
category framework, should roughly be as described below.
This is great stuff! Have you considered contributing this to the docs?
Jason
--
To post to this group, send an email to [email protected]
To unsubscribe from this group, send an email to
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
