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: sage-7.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 bhutz

  • Branch set to u/bhutz/sigma_bug

comment:2 Changed 2 years ago by bhutz

  • Commit set to a41d7397734bf0bc2538ba81a8e80cc0721326d7
  • Status changed from new to needs_review

New commits:

a41d73921112: coerce sigma invariants to base ring

comment:3 Changed 2 years ago by mmanes

  • 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^2-2)
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 git

  • Commit changed from a41d7397734bf0bc2538ba81a8e80cc0721326d7 to b7ca29fda6391f31ef52bd622aaa81be478b95b6

Branch pushed to git repo; I updated commit sha1. New commits:

b7ca29f21112: fix error and add example

comment:5 Changed 2 years ago by bhutz

  • Status changed from needs_work to needs_review

comment:6 Changed 2 years ago by mmanes

  • 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 git

  • Commit changed from b7ca29fda6391f31ef52bd622aaa81be478b95b6 to 258462d3708c23932539ae295ba1639dce19f67e

Branch pushed to git repo; I updated commit sha1. New commits:

258462d21112: fix error and add example

comment:8 Changed 2 years ago by bhutz

  • Status changed from needs_work to needs_review

comment:9 Changed 2 years ago by mmanes

  • Status changed from needs_review to positive_review

comment:10 Changed 2 years ago by mmanes

  • Milestone changed from sage-7.3 to sage-7.4

comment:11 Changed 2 years ago by vbraun

  • 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.