#17118: Added multiplier computation to affine morphism
-------------------------------------+-------------------------------------
Reporter: gjorgenson | Owner:
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-6.4
Component: algebraic | Resolution:
geometry | Merged in:
Keywords: | Reviewers: Ben Hutz
Authors: Grayson Jorgenson | Work issues:
Report Upstream: N/A | Commit:
Branch: | d5856dcf887886622e0739b0cee3495f994f90d8
u/gjorgenson/ticket/17118 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by bhutz):
* status: needs_review => needs_work
* reviewer: => Ben Hutz
Comment:
A few things here
- The docs say: 'at the `QQ`-rational point', but it does not need to be a
`QQ` point
- I don't understand this example: It seems to me that period 0 is bad
input. Perhaps as part of 'check' you should check that period > 0.
{{{
sage: P.<x> = AffineSpace(CC,1)
sage: H = End(P)
sage: f = H([x^2 + 1/2])
sage: f.multiplier(P([0.5 + 0.5*I]),0)
}}}
- I think
{{{
NotImplementedError("Must be an endomorphism of affine space")
}}}
should be TypeError, since you can't iterate a non-endomorphism
- You didn't quite get subschemes working fully, see the error on this
example:
{{{
sage: P.<x,y> = AffineSpace(QQ,2)
sage: X=P.subscheme([x^2-y^2])
sage: H = End(X)
sage: f = H([x^2,y^2])
sage: f.multiplier(X([1,1]),1)
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/17118#comment:5>
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.
