> Mathematically that is exactly right, there is no difference between > "Z-module" and "abelian group" just as there is none between > (commutative) "Z-algebra" and "ring". We know this, but the point was > whether the two things could or should be distinguished in Sage.
Well, if the ticket given above gets reviewed+merged, and if we do the same for multiplication by negative integers, doesn't it mean that all AdditiveAbelian parents will automatically inherit the structure of ZZ-module and be detected as such ? What I mean is that we may see the two appear in the code, but that the category framework would always return the same object as they have the very same dependencies ?... Nathann -- 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/d/optout.
