Opened 2 years ago
Closed 2 years ago
#21112 closed defect (fixed)
wrong base ring in sigma_invariants
Reported by:  bhutz  Owned by:  

Priority:  minor  Milestone:  sage7.4 
Component:  algebraic geometry  Keywords:  
Cc:  Merged in:  
Authors:  Ben Hutz  Reviewers:  Michelle Manes 
Report Upstream:  N/A  Work issues:  
Branch:  258462d (Commits)  Commit:  258462d3708c23932539ae295ba1639dce19f67e 
Dependencies:  Stopgaps: 
Description
The elementary symmetric polynomials of the multiplier spectra of a projective morphism will defined over the base ring. Currently, they are QQbar elements.
Change History (11)
comment:1 Changed 2 years ago by
 Branch set to u/bhutz/sigma_bug
comment:2 Changed 2 years ago by
 Commit set to a41d7397734bf0bc2538ba81a8e80cc0721326d7
 Status changed from new to needs_review
comment:3 Changed 2 years ago by
 Status changed from needs_review to needs_work
Returns "NameError?: global name 'NonImplementedError?' is not defined" for morphisms of higher dimensional projective spaces.
R.<t> = QQ[] K.<a> = NumberField(t^22) P.<x,y,z> = ProjectiveSpace(K,2) H = End(P) f = H([x^2, y^2, x*y]) f.sigma_invariants(1)
comment:4 Changed 2 years ago by
 Commit changed from a41d7397734bf0bc2538ba81a8e80cc0721326d7 to b7ca29fda6391f31ef52bd622aaa81be478b95b6
Branch pushed to git repo; I updated commit sha1. New commits:
b7ca29f  21112: fix error and add example

comment:5 Changed 2 years ago by
 Status changed from needs_work to needs_review
comment:6 Changed 2 years ago by
 Reviewers set to Michelle Manes
 Status changed from needs_review to needs_work
P.<x,y> = ProjectiveSpace(QQ,1) H = End(P) f = H([x^2 + y^2, x*y]) f.sigma_invariants(3)
returns just two values (should be 4)
P.<x,y> = ProjectiveSpace(QQ,1) H = End(P) f = H([x^2 + y^2, x*y]) f.sigma_invariants(1)
returns "AttributeError?: 'sage.rings.integer.Integer' object has no attribute 'univariate_polynomial'"
comment:7 Changed 2 years ago by
 Commit changed from b7ca29fda6391f31ef52bd622aaa81be478b95b6 to 258462d3708c23932539ae295ba1639dce19f67e
Branch pushed to git repo; I updated commit sha1. New commits:
258462d  21112: fix error and add example

comment:8 Changed 2 years ago by
 Status changed from needs_work to needs_review
comment:9 Changed 2 years ago by
 Status changed from needs_review to positive_review
comment:10 Changed 2 years ago by
 Milestone changed from sage7.3 to sage7.4
comment:11 Changed 2 years ago by
 Branch changed from u/bhutz/sigma_bug to 258462d3708c23932539ae295ba1639dce19f67e
 Resolution set to fixed
 Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
New commits:
21112: coerce sigma invariants to base ring