#8389: Sage eats all memory trying to evaluate MatrixSpace(QQ, 2)['x']
---------------------------+------------------------------------------------
Reporter: mmezzarobba | Owner: AlexGhitza
Type: defect | Status: needs_review
Priority: major | Milestone: sage-5.0
Component: algebra | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author: Michael Orlitzky
Merged: | Dependencies:
---------------------------+------------------------------------------------
Comment(by mjo):
Replying to [comment:4 kcrisman]:
> I was about to give this positive review, but after reading comment:2 I
wonder. Are we just hiding a bug here? In which case this ticket could
just be changed to either raising a `NotImplementedError` or making it do
what it's supposed to, namely creating a polynomial ring over the matrix
space in question.
This is "easy" to do for one variable by overriding
`MatrixSpace_generic.__getitem__` to check for a string, and then calling
`PolynomialRing()`.
But ideally, we would want to offer the same interface that we do when
constructing polynomial rings from other rings or fields. Does
constructing a polynomial ring over matrix spaces even make sense
mathematically? All of the existing code to do this is in
`ring.__getitem__`, which sounds right to me, but this is very much not a
strong point of mine.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8389#comment:5>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
