#21112: wrong base ring in sigma_invariants
-------------------------------------+-------------------------------------
       Reporter:  bhutz              |        Owner:
           Type:  defect             |       Status:  needs_work
       Priority:  minor              |    Milestone:  sage-7.3
      Component:  algebraic          |   Resolution:
  geometry                           |
       Keywords:                     |    Merged in:
        Authors:  Ben Hutz           |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:  u/bhutz/sigma_bug  |       Commit:
                                     |  a41d7397734bf0bc2538ba81a8e80cc0721326d7
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by mmanes):

 * status:  needs_review => needs_work


Comment:

 Returns "NameError: global name 'NonImplementedError' is not defined" for
 morphisms of higher dimensional projective spaces.

 {{{
 R.<t> = QQ[]
 K.<a> = NumberField(t^2-2)
 P.<x,y,z> = ProjectiveSpace(K,2)
 H = End(P)
 f = H([x^2, y^2, x*y])
 f.sigma_invariants(1)
 }}}

--
Ticket URL: <https://trac.sagemath.org/ticket/21112#comment:3>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to