#9511: Upgrade Givaro to version 3.7.0
-------------------------------------------------------------------+--------
       Reporter:  pcpa                                             |         
Owner:  cpernet     
           Type:  enhancement                                      |        
Status:  needs_review
       Priority:  minor                                            |     
Milestone:  sage-5.1    
      Component:  givaro                                           |    
Resolution:              
       Keywords:                                                   |   Work 
issues:              
Report Upstream:  Reported upstream. No feedback yet.              |     
Reviewers:              
        Authors:  Paulo César Pereira de Andrade, Martin Albrecht  |     Merged 
in:              
   Dependencies:  #12883, #12761                                   |      
Stopgaps:              
-------------------------------------------------------------------+--------

Old description:

> Givaro 3.6.x is a requirement for !LinBox 1.3.0.
>
>  * '''Install'''
> http://sage.math.washington.edu/home/malb/spkgs/givaro-3.7.0.spkg
>  * '''Apply''' [attachment:trac_9511_givaro_3_6_x.patch]
>
> See https://bitbucket.org/malb/givaro-spkg for SPKG Repository.

New description:

 Givaro 3.6.x is a requirement for !LinBox 1.3.0.

  * '''Install'''
 http://sage.math.washington.edu/home/malb/spkgs/givaro-3.7.0.spkg
  * '''Apply''' [attachment:trac_9511_givaro_3_7_x.patch]

 See https://bitbucket.org/malb/givaro-spkg for SPKG Repository.

--

Comment (by malb):

 I rebased the patch to 5.1.beta5. In particular, this patch removes the
 line from {{{matrix2.pyx}}} that producses the offending output
 {{{
 sage -t  "devel/sage-main/sage/matrix/matrix2.pyx"
 **********************************************************************
 File "/home/vbraun/opt/sage-5.1.beta5/devel/sage-
 main/sage/matrix/matrix2.pyx", line 9813:
     sage: L
 Expected:
     [            3             0             0]
     [    4*a^2 + 1             1             0]
     [      3*a + 2 a^2 + 2*a + 3             3]
 Got:
     [            2             0             0]
     [      a^2 + 4             1             0]
     [      2*a + 3 a^2 + 2*a + 3             2]
 **********************************************************************
 }}}
 The Cholesky decomposition is not unique over finite fields and we
 shouldn't test for the output (which can be random depending on which
 square-root is chosen) but test for L*L^T^ == A. This is done by the line
 after the line removed in this patch. Hence, correctness is checked. Note
 that I discussed this off-list Rob Beezer who is the author of the line
 removed in this patch.

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