Opened 11 years ago

Last modified 7 years ago

#8072 new defect

Kernels of matrices over integral domains are broken

Reported by: rbeezer Owned by: was
Priority: minor Milestone: sage-6.4
Component: linear algebra Keywords:
Cc: jason Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

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'

Change History (5)

comment:1 Changed 11 years ago by jason

  • Cc jason added

Feel free to CC me on any linear algebra tickets.

comment:2 Changed 8 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:3 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:4 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:5 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4
Note: See TracTickets for help on using tickets.