This is a lng standing bug that nobody cared about enough to fix:
https://trac.sagemath.org/ticket/11394
On Friday, 1 July 2016 09:34:02 UTC-6, kcrisman wrote:
>
> On the sagenb github site (https://github.com/sagemath/sagenb/issues/402):
>
>
> Hi there,
>
> I tried to verify with Sage that
Hi there,
> I tried to verify with Sage that P^2 is projective. Unfortunately, Sage
> replied with 'false'. Here is what I tried:
>
> P2=toric_varieties.P2();
> P2.is_projective()
>
> The last line returned 'false'. The same happens for e.g. P1xP1.
>
This seems to be about an ambient space,
