#19045: better subs method for matrices
-------------------------------------+-------------------------------------
Reporter: vdelecroix | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.9
Component: linear algebra | Resolution:
Keywords: | Merged in:
Authors: Vincent Delecroix | Reviewers: Nathann Cohen,
Report Upstream: N/A | Thierry Monteil
Branch: | Work issues:
u/vdelecroix/19045 | Commit:
Dependencies: | 59990af70ddf8f7de42d7c781b12248977eac664
| Stopgaps:
-------------------------------------+-------------------------------------
Changes (by tmonteil):
* status: needs_review => needs_work
* reviewer: Nathann Cohen => Nathann Cohen, Thierry Monteil
Comment:
The current situation is not homogeneous:
{{{
sage: R.<x> = ZZ[]
sage: M = matrix([[x]])
sage: M.subs({x:1}).parent()
Full MatrixSpace of 1 by 1 dense matrices over Integer Ring
sage: R.<x,y,z> = ZZ[]
sage: M = matrix([[x]])
sage: M.subs({x:1}).parent()
Full MatrixSpace of 1 by 1 dense matrices over Multivariate Polynomial
Ring in x, y, z over Integer Ring
}}}
This is probably due to a problem in the substitution at the polynomial
level.
Also, the parent of the result should be determined by the parent of the
matrix and the parent of the substitued values, not only the entries of
the result, or it will be unpredictable.
--
Ticket URL: <http://trac.sagemath.org/ticket/19045#comment:9>
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/d/optout.
