Assertion: curve's point | /r/HasProperty | additional
Facets:
Source sentences:
text: In Weierstrass normal form, such a curve will have an additional point at infinity, O, at the homogeneous coordinates [0:1:0] which serves as the identity of the group.