On 29 May 2014 09:40, Nicolas M. Thiery wrote:
> Hi Simon,
>
> On Wed, May 28, 2014 at 03:36:09PM +, Simon King wrote:
>> Are you sure that this is a problem? In order to construct ZZ, we need
>> CommutativeAdditiveGroups()---which is already there. Now, someone does
>> Modules(ZZ)---a
Hi Simon,
On Wed, May 28, 2014 at 03:36:09PM +, Simon King wrote:
> Are you sure that this is a problem? In order to construct ZZ, we need
> CommutativeAdditiveGroups()---which is already there. Now, someone does
> Modules(ZZ)---and of course we can make it so that it returns
> Commuta
> 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 give
On 28 May 2014 00:51, Nathann Cohen wrote:
> Could this be related ?
>
> http://trac.sagemath.org/ticket/16384
>
> I do not understand much about categories, but if we implement
> multiplication by a positive integer for semigroups and multiplication by a
> negative integer for semigroup with inve
