#20930: Generalize multiplicity() and intersection_multiplicity() for subschemes
-------------------------------------+----------------------------------
Reporter: gjorgenson | Type: enhancement
Status: new | Priority: minor
Milestone: sage-7.3 | Component: algebraic geometry
Keywords: gsoc2016 | Merged in:
Authors: Grayson Jorgenson | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------------+----------------------------------
Currently there is a `multiplicity()` function for algebraic curves which
computes the multiplicity of a point on a curve as the multiplicity of the
maximal ideal in the local ring of the curve corresponding to that point.
This definition still works for arbitrary projective/affine subschemes and
it would be good to implement it in the more general case.
Also, by using affine patches, it is possible to compute intersection
multiplicities for subschemes of products of projective spaces, so it
would be good to implement that here as well.
These implementations should be made available to both the subscheme
classes and corresponding point classes.
--
Ticket URL: <https://trac.sagemath.org/ticket/20930>
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.
