Assertion: curve | /r/HasAspect | additional point
Facets:
value: at the homogeneous coordinates
type: LOCATION
value: at infinity
type: LOCATION
value: in weierstrass normal form
type: OTHER
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.