#12005: Relativize should take one 'name' if a morphism is given
-------------------------------------+-------------------------------------
       Reporter:  jdemeyer           |        Owner:  davidloeffler
           Type:  defect             |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.5
      Component:  number fields      |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Alex Ghitza        |    Reviewers:  Jeroen Demeyer
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/jdemeyer/ticket/12005            |  87d3531f1457e2e768102b143bfd8cb3ab72e66e
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by jdemeyer):

 * status:  positive_review => needs_work


Comment:

 {{{
 sage -t --long src/sage/schemes/elliptic_curves/ell_field.py
 **********************************************************************
 File "src/sage/schemes/elliptic_curves/ell_field.py", line 631, in
 sage.schemes.elliptic_curves.ell_field.EllipticCurve_field.descend_to
 Failed example:
     EF = E.descend_to(F); EF
 Exception raised:
     Traceback (most recent call last):
       File "/usr/local/src/sage-git/local/lib/python2.7/site-
 packages/sage/doctest/forker.py", line 488, in _run
         self.compile_and_execute(example, compiler, test.globs)
       File "/usr/local/src/sage-git/local/lib/python2.7/site-
 packages/sage/doctest/forker.py", line 850, in compile_and_execute
         exec(compiled, globs)
       File "<doctest
 sage.schemes.elliptic_curves.ell_field.EllipticCurve_field.descend_to[5]>",
 line 1, in <module>
         EF = E.descend_to(F); EF
       File "/usr/local/src/sage-git/local/lib/python2.7/site-
 packages/sage/schemes/elliptic_curves/ell_field.py", line 742, in
 descend_to
         dlist = t.descend_mod_power(K,2)
       File "sage/rings/number_field/number_field_element.pyx", line 3605,
 in
 
sage.rings.number_field.number_field_element.NumberFieldElement.descend_mod_power
 (build/cythonized/sage/rings/number_field/number_field_element.cpp:30743)
         LK = L.relativize(f, names='b')
       File "/usr/local/src/sage-git/local/lib/python2.7/site-
 packages/sage/rings/number_field/number_field_rel.py", line 2439, in
 relativize
         L = K.relativize(beta, names)
       File "/usr/local/src/sage-git/local/lib/python2.7/site-
 packages/sage/rings/number_field/number_field.py", line 7840, in
 relativize
         return L.extension(f, names[0], structure=structure)
       File "/usr/local/src/sage-git/local/lib/python2.7/site-
 packages/sage/rings/number_field/number_field.py", line 4581, in extension
         return NumberField_relative(self, poly, str(name), check=check,
 embedding=embedding, latex_name=latex_name, structure=structure)
       File "/usr/local/src/sage-git/local/lib/python2.7/site-
 packages/sage/rings/number_field/number_field_rel.py", line 261, in
 __init__
         raise ValueError("Base field and extension cannot have the same
 name")
     ValueError: Base field and extension cannot have the same name
 **********************************************************************
 }}}

--
Ticket URL: <http://trac.sagemath.org/ticket/12005#comment:12>
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/d/optout.

Reply via email to