#20811: Classes for points on generic 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/20811          |  f2ae6ea307d641e83bdc209271ebe79baac26c48
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by bhutz):

 Yes, I think the new multiplicity functionality should have a new ticket,
 but both the multiplicity for subschemes and the intersection muliplicty
 can probably be the same ticket.

 To answer your questions: No, I don't think Sage can deal with subschemes
 of subschemes. In fact, I don't think you can even define something like
 that. The ambient space can only be affine or projective space. I see your
 comment about making a parameter for the ambient space to get around that,
 but I don't think it is a good idea, it would be better to create the
 functionality for subschemes of subschemes, if that is even reasonable to
 do.

 I don't think the products one is as complicated as you are making it.
 Don't you just take an affine patch and work there for intersection
 multplicity. For a product of projective spaces, the affine patches are
 products of affine spaces, which is just an affine space (eg, A2 x A2 =
 A4). Yes, you could probably pass to the Segre embedding, but that is
 rather slow and complicated.

--
Ticket URL: <https://trac.sagemath.org/ticket/20811#comment:9>
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.

Reply via email to