#8072: Kernels of matrices over integral domains are broken
------------------------------+---------------------------------------------
Reporter: rbeezer | Owner: was
Type: defect | Status: new
Priority: minor | Milestone: sage-4.3.2
Component: linear algebra | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------------+---------------------------------------------
Asking for a kernel of a matrix over an integral domain has a dedicated
chunk of code that tries to create a submodule as a return value. Only
there is no support for submodules over domains (just PIDs and fields).
I'll be going after this as part of a larger overhaul of matrix kernels
generally.
{{{
sage: R=ZZ['x']
sage: R.is_integral_domain()
True
sage: W=R^2
sage: W
Ambient free module of rank 2 over the integral domain Univariate
Polynomial Ring in x over Integer Ring
sage: A=matrix(R,[1,2,3])
sage: A.right_kernel()
<snip>
/sage/dev/local/lib/python2.6/site-packages/sage/matrix/matrix2.so in
sage.matrix.matrix2.Matrix.right_kernel (sage/matrix/matrix2.c:13840)()
AttributeError: 'FreeModule_ambient_domain' object has no attribute
'submodule'
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8072>
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.
