#14711: Weak references in the coercion graph
-------------------------------------+-------------------------------------
       Reporter:  jpflori            |        Owner:  davidloeffler
           Type:  defect             |       Status:  needs_work
       Priority:  critical           |    Milestone:  sage-6.0
      Component:  number fields      |   Resolution:
       Keywords:  memleak, number    |    Merged in:
  field, QuadraticField              |    Reviewers:
        Authors:  Simon King         |  Work issues:  Fix doctests errors
Report Upstream:  N/A                |  after merging master
         Branch:                     |       Commit:
  u/SimonKing/ticket/14711           |  d68c5df4618cc4fcf8ef215ee6b2f475be028209
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by SimonKing):

 * status:  needs_review => needs_work


Comment:

 The new commit fixes some trivial errors (some people were still using
 `._domain` and were still not copying coerce maps when exposing them to
 the outside world).

 However, this will be a tough one:
 {{{
 sage -t src/sage/schemes/projective/projective_morphism.py
 **********************************************************************
 File "src/sage/schemes/projective/projective_morphism.py", line 1326, in
 
sage.schemes.projective.projective_morphism.SchemeMorphism_polynomial_projective_space.canonical_height
 Failed example:
     f.canonical_height(Q,badprimes=[2])
 Expected:
     0.0013538030870311431824555314882
 Got:
     verbose 0 (3533: multi_polynomial_ideal.py, groebner_basis) Warning:
 falling back to very slow toy implementation.
     verbose 0 (3533: multi_polynomial_ideal.py, groebner_basis) Warning:
 falling back to very slow toy implementation.
     0.0013538030870311431824555314882
 **********************************************************************
 1 item had failures:
    1 of  16 in
 
sage.schemes.projective.projective_morphism.SchemeMorphism_polynomial_projective_space.canonical_height
     [481 tests, 1 failure, 8.63 s]
 ----------------------------------------------------------------------
 sage -t src/sage/schemes/projective/projective_morphism.py  # 1 doctest
 failed
 ----------------------------------------------------------------------
 Total time for all tests: 8.9 seconds
     cpu time: 7.7 seconds
     cumulative wall time: 8.6 seconds
 }}}
 Somehow, the use of a weakened coerce map makes the Gröbner machinery use
 a slow toy implementation `:-/`

--
Ticket URL: <http://trac.sagemath.org/ticket/14711#comment:147>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to