ProjectivePoint -- Class of a projective point

Description

A subclass of List, mainly used for pretty printing. Can be constructed using plus .

 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

Methods that use an object of class ProjectivePoint :

• "ProjectivePoint == ProjectivePoint"
• "ring(ProjectivePoint)"

For the programmer

The object ProjectivePoint is a type, with ancestor classes List < VisibleList < BasicList < Thing.