intrinsic ProjectiveSpace(K::Fld, n::RngIntElt)->Prj
{Fix around a bug in some versions of Magma, where ProjectiveSpace(K,0)
 returns an error rather than a 0-dimensional space. This routine fixes the
 problem for baserings that are fields. The system routine specifies "Rng" and
 we cannot overload that signature.}
  return Proj(PolynomialRing(K,n+1));
end intrinsic;
  
