#15381: gens() can mean both module and algebra generators, confusing
morphism.pyx
-------------------------------------------------+-------------------------
Reporter: darij | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-5.13
Component: categories | Resolution:
Keywords: categories, gens, morphisms, | Merged in:
modules | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: #10963 |
-------------------------------------------------+-------------------------
Changes (by darij):
* cc: SimonKing, nthiery (added)
* dependencies: => #10963
Comment:
Battle plan:
- Wait for #10963 to be merged.
- Define `monoid_gens(self)`, `group_gens(self)`, `module_gens(self,
base_ring)`, `ring_gens(self)` and `algebra_gens(self, base_ring)`.
- For every (relevant) category `C`, define a category-level method
`C.object_gens(object)` that calls `object.[whatever]_gens()` where
`[whatever]` is the name of the category.
- Redefine `gens(self)` to only work in the case when `self` is DEFINED by
generators and relations: for example, if `self` is defined as a
polynomial ring (or a quotient thereof), then `gens(self)` should be the
(projections of the) indeterminates; but when `self` is (say) a group
algebra, `gens(self)` shouldn't be defined at all. For the sake of
deprecation, don't actually throw errors but rather return the old result
with a deprecation warning.
What do you think?
--
Ticket URL: <http://trac.sagemath.org/ticket/15381#comment:2>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
