#8071: Trivial kernel of a matrix over non-fields 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: |
------------------------------+---------------------------------------------
Matrices with zero rows or zero columns, over rings that are not fields,
try to construct vector spaces as return values. The return value should
be built as a {{{FreeModule}}} which seems to promote the result to a
vector space when the ring is a field.
{{{
sage: A=matrix(Integers(6),[])
sage: A.right_kernel()
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
/home/rob/.sage/temp/wave/21471/_home_rob__sage_init_sage_0.py in
<module>()
/sage/four-three/local/lib/python2.6/site-packages/sage/matrix/matrix2.so
in sage.matrix.matrix2.Matrix.right_kernel (sage/matrix/matrix2.c:12440)()
/sage/four-three/local/lib/python2.6/site-
packages/sage/modules/free_module.pyc in VectorSpace(K, dimension, sparse,
inner_product_matrix)
400 """
401 if not K.is_field():
--> 402 raise TypeError, "Argument K (= %s) must be a field." % K
403 if not sparse in (True,False):
404 raise TypeError, "Argument sparse (= %s) must be a
boolean."%sparse
TypeError: Argument K (= Ring of integers modulo 6) must be a field.
}}}
Patch is in-progress.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8071>
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.
