#18399 closed defect (fixed)
projective automorphism group fails for homogenized maps
Reported by:  bhutz  Owned by:  bhutz 

Priority:  minor  Milestone:  sage6.8 
Component:  algebraic geometry  Keywords:  projective morphism 
Cc:  Merged in:  
Authors:  Ben Hutz  Reviewers:  Grayson Jorgenson 
Report Upstream:  N/A  Work issues:  
Branch:  62ce7b2 (Commits)  Commit:  
Dependencies:  Stopgaps: 
Description (last modified by )
When the numerator is a constant, the .polynomial() conversion returns a different variable than the denominator. This is the expected behavior from the documentation of those functions. So this ticket will change how the conversion is done.
Example that fails
A.<z>=AffineSpace(QQ,1) HA=End(A) f=HA([1/z^7]) F=f.homogenize(1) F.automorphism_group()
Change History (7)
comment:1 Changed 4 years ago by
 Branch set to u/bhutz/ticket/18399
 Created changed from 05/11/15 00:56:31 to 05/11/15 00:56:31
 Modified changed from 05/11/15 00:56:31 to 05/11/15 00:56:31
comment:2 Changed 4 years ago by
 Commit set to 6c04c13be814efb25bae9ebaa71b0d9daecca608
 Description modified (diff)
 Status changed from new to needs_review
comment:3 Changed 4 years ago by
Everything looks good, but I think the ticket example should be added to the documentation as a test or example to demonstrate the fix.
comment:4 Changed 4 years ago by
 Commit changed from 6c04c13be814efb25bae9ebaa71b0d9daecca608 to 62ce7b2c725b0fed6d0e4a6f922f521761776a1e
Branch pushed to git repo; I updated commit sha1. New commits:
62ce7b2  18399: example added

comment:5 Changed 4 years ago by
 Reviewers set to Grayson Jorgenson
 Status changed from needs_review to positive_review
comment:6 Changed 4 years ago by
 Branch changed from u/bhutz/ticket/18399 to 62ce7b2c725b0fed6d0e4a6f922f521761776a1e
 Resolution set to fixed
 Status changed from positive_review to closed
comment:7 Changed 3 years ago by
 Commit 62ce7b2c725b0fed6d0e4a6f922f521761776a1e deleted
 Milestone changed from sage6.7 to sage6.8
Note: See
TracTickets for help on using
tickets.
New commits:
18399: fix bug in projective morphism automorphism group