#18399: projective automorphism group fails for homogenized maps
-------------------------------------+-------------------------------------
       Reporter:  bhutz              |        Owner:  bhutz
           Type:  defect             |       Status:  needs_review
       Priority:  minor              |    Milestone:  sage-6.7
      Component:  algebraic          |   Resolution:
  geometry                           |    Merged in:
       Keywords:  projective         |    Reviewers:
  morphism                           |  Work issues:
        Authors:  Ben Hutz           |       Commit:
Report Upstream:  N/A                |  6c04c13be814efb25bae9ebaa71b0d9daecca608
         Branch:                     |     Stopgaps:
  u/bhutz/ticket/18399               |
   Dependencies:                     |
-------------------------------------+-------------------------------------
Changes (by bhutz):

 * status:  new => needs_review
 * commit:   => 6c04c13be814efb25bae9ebaa71b0d9daecca608


Old description:

> When the numerator is a constant, the conversion to .polynomial()
> conversion is return 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()
>
> }}}

New description:

 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()

 }}}

--

Comment:

 New commits:
 
||[http://git.sagemath.org/sage.git/commit/?id=6c04c13be814efb25bae9ebaa71b0d9daecca608
 6c04c13]||{{{18399: fix bug in projective morphism automorphism group}}}||

--
Ticket URL: <http://trac.sagemath.org/ticket/18399#comment:2>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to