#15448: cartesian products of projective space
-------------------------------------+-------------------------------------
Reporter: bhutz | Owner: bhutz
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.4
Component: algebraic | Resolution:
geometry | Merged in:
Keywords: | Reviewers: Volker Braun, Joao de
Authors: Ben Hutz | Faria
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/bhutz/ticket/15448 | 76cbaed507ba63dff8dcd7060e58bb83792f725f
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by jdefaria):
* status: needs_review => needs_work
* reviewer: Volker Braun => Volker Braun, Joao de Faria
Comment:
A couple of issues....
The following need better error messages
{{{
PP.<x0,x1,y0,y1> = ProductProjectiveSpaces([1,1],QQ)
H = Hom(PP,PP)
f = H([x0*x1*y1^3,x0*x1*y1*y0^2])
}}}
{{{
Proj.<x0,x1,y0,y1> = ProductProjectiveSpaces(1,QQ)
}}}
One should not be able to define a product with only one projective space
{{{
Prod.<x0,x1> = ProductProjectiveSpaces([1],QQ)
Prod
}}}
Have an extra input for the gens of the new PS, following error highlights
why:
{{{
PP=ProductProjectiveSpaces([1,2],QQ,'u')
PP.segre_embedding()
}}}
Not as big a deal, but when return_embedding == True, it should return
only the embedding instead of a tuple
{{{
PP=ProductProjectiveSpaces([1,2],QQ,'u')
PP.affine_patch([1,0],True)
}}}
Saw some small spacing issues scattered throughout the documentation as
well, make sure to go back and double check
--
Ticket URL: <http://trac.sagemath.org/ticket/15448#comment:20>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
