#8389: Implement MatrixSpace(...)['x']
-------------------------------------+-------------------------------------
Reporter: mmezzarobba | Owner: AlexGhitza
Type: defect | Status: needs_review
Priority: minor | Milestone: sage-6.2
Component: algebra | Resolution:
Keywords: | Merged in:
Authors: Marc Mezzarobba | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/mmezzarobba/8389-ring_getitem | f4abe5d7ff07f6b7c2f83c8a0d993465ec755fed
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by nthiery):
Replying to [comment:13 mmezzarobba]:
> No, that was on purpose: the TODO was part of the SEEALSO block. But I
added the missing cross-references and removed the TODO line altogether.
(I'll push the new commit in a moment.)
> > - Is Frac nicer than .fraction_field()?
>
> No idea, I didn't touch this part `:-)`.
> Let's mention both.
>
> > - Doc of _gen_names, line 2: replacing {{{ZZ['x']}}} by
{{{ZZ[sqrt(5)]}}} could make it more meaninful?
>
> Same thing here.
Ok. I double checked your changes and am happy with them!
> I believe `M[sqrt(5)]` would make sense, and I wouldn't mind deprecating
the notation `parent[integer]` (as a way of enumerating the elements). But
I'd rather do that in another ticket.
Fair enough :-) Do you mind creating a ticket for this task?
> > By the way: shall we use the occasion to also move
{{{PrincipalIdealDomain.__getitem__}}} in the corresponding category? Or
are there some principal ideal domains in Sage that are not yet in the
{{{PrincipalIdealDomains}}} category?
> >
> > Speaking of this method: its documentation says "Create a polynomial
or power series ring over ``self`` and inject the variables into the
global module scope."; the latter statement is wrong, right?
>
> What method are you talking about?
Sorry, I confused myself with Ring.__getitem__ from another branch ...
Btw: what do you think we should do with IntegerRing.__getitem__ which
calls explicitly PrincipalIdealDomains.__getitem__? Just leave it as
it is?
Cheers,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/ticket/8389#comment:16>
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.
