On Wed, Sep 30, 2009 at 10:14:05AM -0700, javier wrote:
> Positive review with a sidenote:
Thanks!
> from the point of view of mathematical sanity, I would expect that
> every ring is automatically coerced into a ZZ-algebra and every group
> into a ZZ-module.
Yes. In a similar vein, a field should probably be a vector space over
itself. However, this can cause some trouble by introducing cross
dependencies: ZZ involves constructing the category Rings() which uses
Modules(ZZ) which itself uses ZZ. To avoid this, the current setup
makes the basic categories (Groups(), Rings(), ...) independent of any
parent. This should probably be fixable later on by introducing more
lazyness. I'll add this to the TODO list in the wiki page.
Best,
Nicolas
--
Nicolas M. Thiéry "Isil" <[email protected]>
http://Nicolas.Thiery.name/
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send an email to [email protected]
To unsubscribe from this group, send an email to
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
