Le lundi 2 juin 2014 13:20:55 UTC+2, Marc Mezzarobba a écrit : > > > How about defining two parents (CU and CCU, with a coercion CCU --> CU > and a partial conversion CU --> CCU), and two element classes (SF and a > subclass CSF), and having CU(0) create an instance of CSF, but set the > instance's parent to CU? >
Thank you for your anwser. Is this the standard way to implement algebraic substructures ? i.e. have a coercion B -> A and a partial conversion B -> A when B is a subspace (in the present case a subalgebra) of A ? Eric. > > -- > Marc > > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
