WeightedProjectiveVariety -- the class of all weighted projective varieties

i1 : R = QQ[u,v,w,x,y,z,Degrees=>{{2},{1},{3},{1},{7},{5}}]/ideal((3/2)*u+6*v^2+v*x+4*x^2,(3/2)*u*v+(4/5)*v^3+w+(3/2)*u*x+(3/7)*v^2*x+3*v*x^2+(5/6)*x^3);

i2 : projectiveVariety R

o2 = threefold in PP(2,1,3,1,7,5) cut out by 2 hypersurfaces of degrees 2^1 3^1 

o2 : ProjectiveVariety, threefold in PP(2,1,3,1,7,5)

i3 : describe oo

o3 = ambient:.............. PP(2,1,3,1,7,5)
     dim:.................. 3
     codim:................ 2
     degree:............... 6
     generators:........... 2^1 3^1 
     purity:............... true
     dim sing. l.:......... -1

i4 : K = ZZ/65521;

i5 : PP_K(2,1,3,1,7,5)
warning: clearing value of symbol x to allow access to subscripted variables based on it
       : debug with expression   debug 9868   or with command line option   --debug 9868

o5 = PP(2,1,3,1,7,5)

o5 : ProjectiveVariety, PP(2,1,3,1,7,5)