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:  sage6.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
 Status changed from new to needs_review
comment:2 Changed 4 years ago by
 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
 Commit set to 8e1bffa9abae86c482d780e80d2679e8ab1b971f
 Status changed from needs_review to positive_review
New commits:
8e1bffa  17535: fix homogenize for function fields

comment:4 Changed 4 years ago by
 Status changed from positive_review to needs_work
Reviewer name missing
comment:5 Changed 4 years ago by
 Reviewers set to David Krumm
 Status changed from needs_work to positive_review
comment:6 Changed 4 years ago by
 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.
fixed and added the doctest for dynatomic polynomials that uncovered this.