On Sunday, July 21, 2013 8:35:24 PM UTC-4, davidp wrote: > At the moment, I just have Hyperplane as a class deriving from AffineSpace (my version of AffineSpace, that is, which I will change, as > noted above), and HyperplaneArrangement deriving from object. Can you spell out your idea a bit more?
All the data that define the ambient space, the base ring, etc goes into the Parent. The element refers to the parent for constant data. Or, by analogy: Element : Parent Polynomial : PolynomialRing Hyperplane : HyperplaneArrangement There isn't really a simple introduction, but http://www.sagemath.org/doc/thematic_tutorials/coercion_and_categories.html spells out all the details. I don't really see a need for another affine space. It would be very confusing to present the user with multiple affine space implementations. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.