Dear Javier!
On Wed, Sep 30, 2009 at 10:00:54AM -0700, javier wrote:
> I am reviewing some of the remaining fines for categories. Will post
> remarks about different files in different threads.
Yippee! Thanks!
> Concerning algebra_ideals.py and algebra_modules.py
>
> are the base algebras assumed to be commutative? If so, commutativity
> should be checked before returning the category. If not, what exactly
> are the output categories? Left ideals/modules, right ones, or two
> sided ones? This should be specified in the documentation.
Opinions anyone?
So far, those have been adapted as is from what was in Sage
beforehand. So I don't have a strong opinion myself. I assume that
they currently have only been used in the commutative case (ideals of
polynomial rings, ...). At some point we (the sage-combinat people)
will certainly need the non commutative case. That probably will
require to do like for modules, with analogues of LeftModules,
RightModules, Bimodules).
In the meantime, a reasonable option is to require the base algebras
to be commutative, and put a call for comments in the documentation.
Cheers,
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
-~----------~----~----~----~------~----~------~--~---
