A subclass of List, mainly used for pretty printing. Can be constructed using a projective variety plus a visible list.
i1 : P = Proj(QQ[x,y,z]); |
i2 : pt = P(1,2,3) o2 = (1 : 2 : 3) o2 : ProjectivePoint |
i3 : pt == P{2,4,6} o3 = true |
Use ring to retrieve the coefficient field.
i4 : ring pt o4 = QQ o4 : Ring |
The object ProjectivePoint is a type, with ancestor classes List < VisibleList < BasicList < Thing.