ProjectivePoint -- Class of a projective point

Description

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.