Dear Sage team,
i am confused about the use of the notion "category" in Sage.
I defined M=Modules(PolynomialRing(QQ,'x,y,z')), and then i expected
that "M?"or dir(M) would provide me with informations on how to
construct objects of that category and morphisms between them, and
also tensor products. But i found nothing.
The Sage Tutorial and Programming Guide were not helpful (BTW, I'm
missing an index or a "search" functionality for both of them!).
The index of Sage Constructions holds no entry "category" or "tensor
product".
The Reference Manual provides some entries "category()", but they do
not explain what a category is ("Return the category of x." is not
exactly an explanation of the notion "category").
The Reference Manual describes a tensor product for graphs (something
that i am not familiar with), but not for modules over commutative
rings.
Are there other Sage manuals that i forgot to include into my
bookmarks?
Can you tell me what a "category" is in Sage, and how to construct
modules over a polynomial ring, module homomorphisms and tensor
products (actually i just need it for free modules)?
Yours sincerely
Simon
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
