#7714: bug in matrix pivots over multivariate polynomial ring
-----------------------------------------+----------------------------------
   Reporter:  was                        |          Owner:  malb           
       Type:  defect                     |         Status:  needs_review   
   Priority:  major                      |      Milestone:  sage-4.7.2     
  Component:  commutative algebra        |       Keywords:                 
Work_issues:                             |       Upstream:  N/A            
   Reviewer:  Luis Felipe Tabera Alonso  |         Author:  Martin Albrecht
     Merged:                             |   Dependencies:                 
-----------------------------------------+----------------------------------
Changes (by lftabera):

  * status:  needs_work => needs_review
  * reviewer:  => Luis Felipe Tabera Alonso


Old description:

> {{{
> sage: matrix([PolynomialRing(GF(2),2,'x').gen()]).pivots()
> [x0]
> 1
> {(0, 0): x0}
> ---------------------------------------------------------------------------
> RuntimeError                              Traceback (most recent call
> last)
>
> /scratch/wstein/sage/temp/sage.math.washington.edu/22996/_scratch_wstein_sage_init_sage_0.py
> in <module>()
>
> /scratch/wstein/build/sage-4.3.rc0/local/lib/python2.6/site-
> packages/sage/matrix/matrix0.so in sage.matrix.matrix0.Matrix.pivots
> (sage/matrix/matrix0.c:16074)()
>
> RuntimeError: BUG: matrix pivots should have been set but weren't, matrix
> parent = 'Full MatrixSpace of 1 by 1 dense matrices over Multivariate
> Polynomial Ring in x0, x1 over Finite Field of size 2'
>
> }}}

New description:

 {{{
 sage: matrix([PolynomialRing(GF(2),2,'x').gen()]).pivots()
 [x0]
 1
 {(0, 0): x0}
 ---------------------------------------------------------------------------
 RuntimeError                              Traceback (most recent call
 last)

 
/scratch/wstein/sage/temp/sage.math.washington.edu/22996/_scratch_wstein_sage_init_sage_0.py
 in <module>()

 /scratch/wstein/build/sage-4.3.rc0/local/lib/python2.6/site-
 packages/sage/matrix/matrix0.so in sage.matrix.matrix0.Matrix.pivots
 (sage/matrix/matrix0.c:16074)()

 RuntimeError: BUG: matrix pivots should have been set but weren't, matrix
 parent = 'Full MatrixSpace of 1 by 1 dense matrices over Multivariate
 Polynomial Ring in x0, x1 over Finite Field of size 2'

 }}}

 Apply:

    * trac_7714.patch
    * trac_7714_reviewer.patch

--

Comment:

 I give a positive review to Martin's patch.

 I also send a reviewr patch uptading the doctest (pivots return a tuple)
 and adding another example.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7714#comment:8>
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.

Reply via email to