#20848: Degree and arithmetic genus for projective curves
-------------------------------------+-------------------------------------
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/20848 | 07e6b720f2cf15bdf9b3ac814e987925c3937d4b
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by bhutz):
* status: needs_review => needs_work
* reviewer: => Ben Hutz
Comment:
- Just checking the number of components for is_irreducible is not good
enough. You're better off checking if the defining ideal is prime.
{{{
P.<x,y>=ProjectiveSpace(QQ,1)
X=P.subscheme([x^2])
X.is_irreducible(),X.defining_ideal().is_prime()
}}}
- since the degree is just the dim! times the leading coefficient of HP,
why not do it for projective subschemes instead of just curves?
- Adding an actual REF for Hartshorne would be nice.
--
Ticket URL:
<https://u3351942.ct.sendgrid.net/wf/click?upn=aTs-2BwUSKwq20U-2FVxpZle9V7rZPHNFdCZn9IqCcBPbg4zmkg4K7dRIzpM94sCCH8GAGSyNQBn-2FmmaMgr7tG-2FnVw-3D-3D_gXX0YPkjCa6kfMda2NWALp0MQ-2FOvmULrxPdhd2nGLCYrNWW0XKJvD6JsOKM3DIJj-2B8TNKVSMfR5jspHZLSv2iIxdGhp-2FcGpCx9ZVGxhHWPifo2eyZfqOIC-2FNzC2L77KzOPO-2FmlZ5QfbZU36UuvLWvAixv9bDSe1pLLR846xBWSCRP33fKggq8ePdIU5yQrSyW9Q9LnsBsNx2TrCW6nL7VxBszM3pc42UEb91IHd1RHg-3D>
Sage
<https://u3351942.ct.sendgrid.net/wf/click?upn=jm4cvpnHFskDUI5PLE4HCGcqpDNkng8vhBVTwprYF6Q-3D_gXX0YPkjCa6kfMda2NWALp0MQ-2FOvmULrxPdhd2nGLCYrNWW0XKJvD6JsOKM3DIJj-2B8TNKVSMfR5jspHZLSv2iC-2B85ZFrMDP1ZcZ8RXRsL6LiTXdBVrWKmFyEj7Pv-2Fp0t5GEBNXdc-2FnQCKCVDRnm3WiqyGdJuexCGmNxbYhD-2BEQVnf2AlkGdkE01VudMGc6HLiM59Z4vOFTz0kI3QTJ6s0sjWlhpvB0QPA5AsqYp4Tuo-3D>
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.
