Even if you could make it inherit, unfortunately actual inheritance is too week to express the richness of all the different types in mathematics. You might want to look into the category framework. https://groups.google.com/forum/#!searchin/sage-devel/ringelement/sage-devel/s03GWigKz0M/TjiS78C_i1EJ
On Thu, Nov 7, 2013 at 7:03 PM, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > Hi, > > I was working with #15378 and I wondered why SchemeMorphism inherits > from Element and not from Morphism as they should. I just discovered > that this is because points on a scheme are special kind of > SchemeMorphism. So in order to make it a group law for example, they > need to be Element... > > I am completely stuck here. For the moment, my hack is to make > SchemeMorphism_polynomial not inherit from SchemeMorphism. This is > just crazy! > > Please help > Vincent > > -- > 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. -- 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.
