#19635: Enumeration functionality for products of projective spaces over fields
and
finite fields
---------------------------------------------+------------------------
Reporter: gjorgenson | Owner:
Type: enhancement | Status: new
Priority: minor | Milestone: sage-7.1
Component: algebraic geometry | Resolution:
Keywords: | Merged in:
Authors: Grayson Jorgenson | Reviewers:
Report Upstream: N/A | Work issues:
Branch: u/gjorgenson/ticket/19635 | Commit:
Dependencies: | Stopgaps:
---------------------------------------------+------------------------
Changes (by gjorgenson):
* milestone: sage-6.10 => sage-7.1
Old description:
> Implement classes for products of projective spaces over fields/finite
> fields. This will facilitate the implementation of later functionality
> for products of projective spaces that's specific to products over fields
> such as enumeration.
New description:
Implement enumeration functionality for products of projective spaces over
fields/finite fields. Some basic class structure will need to be added to
enable working specifically with such product spaces.
Also will make points of products of projective spaces hashable to
increase the efficiency of the enumeration functionality. There is
currently a bug with the hash implementations for points of projective
spaces
{{{
P2.<x,y,z>=ProjectiveSpace(QQbar,2)
H=End(P2)
f=H([x^2+2*y^2,y^2-2*x^2,z^2])
X=P2.subscheme([x+y])
f.rational_preimages(P2([0,1,1])) # there are equal points, but with
different hash values
}}}
so this will be addressed here as well. Some examples in
projective_morphism need to be updated because of reordering in their
outputs from the hash changes.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/19635#comment:2>
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.
