#15348: "R.<a> =" syntactic sugar incorrect for EquationOrder
-------------------------------------+-------------------------------------
Reporter: emassop | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-7.0
Component: number fields | Resolution:
Keywords: | Merged in:
Authors: Jeroen Demeyer | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/jdemeyer/ticket/15348 | 496f5ac31807f7613aaddbef6dd8119e33ca4366
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by emassop):
Replying to [comment:36 jdemeyer]:
> Replying to [comment:34 emassop]:
> > Taking `gen_dict()` back into the picture, I'm not so happy with its
elements not necessarily generating the order anymore (as a module, or as
a ring), as there is nothing in the name `gen_dict` that suggests this
would not be the case.
>
> Well, `gens_dict()` is used to extract all "variable names" (that is
what the docstring says and that is how it is used in practice). Perhaps
the name `gens_dict()` is badly chosen, but I would not change that now.
Maybe a better name would have been `variables_dict()` or
`named_elements()` or something.
>
> If you see it this way, using `_defining_generators()` is a better
choice than `gens()`.
Okay, that makes sense. Perhaps `_defining_generators` should be renamed
too then? Perhaps `_definition_names` or some such? (I like 'names'
because it corresponds to the argument `names` that is passed to `f` when
doing `a.<x> = f(...)`.)
--
Ticket URL: <http://trac.sagemath.org/ticket/15348#comment:38>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
