#20930: Generalize multiplicity() and intersection_multiplicity() for subschemes
-------------------------------------+-------------------------------------
Reporter: gjorgenson | Owner:
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-7.3
Component: algebraic | Resolution:
geometry |
Keywords: gsoc2016 | Merged in:
Authors: Grayson Jorgenson | Reviewers: Ben Hutz
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/gjorgenson/ticket/20930 | a655e09cec3ca127364d471d3c71ffab04122eea
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by bhutz):
* status: needs_review => needs_work
* reviewer: => Ben Hutz
Comment:
I see just a couple minor things here.
In the descriptions: It is the multiplicity of the point, not the
subscheme. For example 'Return the multiplicity of the codomain of this
point at this point.' would be better as 'Return the multiplicity of this
point in its codomain.' This occurs in a number of places.
Also, the example I tried in 20811 which you used here was actually not
quite what I had in mind. It is better with
{{{
G = PP.subscheme([(x^2 - 2*y^2)*v - y^2*u])
}}}
then you can (and should) describe it as finding the fixed points of
`z^2-2`.
--
Ticket URL: <https://trac.sagemath.org/ticket/20930#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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
