Opened 4 years ago

Closed 4 years ago

#17535 closed defect (fixed)

Homogenize failes for affine space over function fields

Reported by: bhutz Owned by: bhutz
Priority: major Milestone: sage-6.5
Component: algebraic geometry Keywords:
Cc: Merged in:
Authors: Ben Hutz Reviewers: David Krumm
Report Upstream: N/A Work issues:
Branch: 8e1bffa (Commits) Commit: 8e1bffa9abae86c482d780e80d2679e8ab1b971f
Dependencies: Stopgaps:

Description

The following code fails

K.<c> = FunctionField(QQ)
A.<x> = AffineSpace(K,1)
f = Hom(A,A)([x^2 + c])
f.homogenize(1)

The issue appear to be that the the LCM of the denominators is the integer 1 in this example, so the substitution fails. Coercing that LCM into the base ring fixes at least this particular example. More testing is needed to determine if there are any other issues with function fields.

Change History (6)

comment:1 Changed 4 years ago by bhutz

  • Authors set to Ben Hutz
  • Status changed from new to needs_review

fixed and added the doctest for dynatomic polynomials that uncovered this.

comment:2 Changed 4 years ago by bhutz

  • Branch set to u/bhutz/ticket/17535
  • Created changed from 12/21/14 13:42:39 to 12/21/14 13:42:39
  • Modified changed from 12/22/14 02:08:36 to 12/22/14 02:08:36

comment:3 Changed 4 years ago by dkrumm

  • Commit set to 8e1bffa9abae86c482d780e80d2679e8ab1b971f
  • Status changed from needs_review to positive_review

New commits:

8e1bffa17535: fix homogenize for function fields

comment:4 Changed 4 years ago by vbraun

  • Status changed from positive_review to needs_work

Reviewer name missing

comment:5 Changed 4 years ago by dkrumm

  • Reviewers set to David Krumm
  • Status changed from needs_work to positive_review

comment:6 Changed 4 years ago by vbraun

  • Branch changed from u/bhutz/ticket/17535 to 8e1bffa9abae86c482d780e80d2679e8ab1b971f
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.