An object of the class `FormalGroupPoint` is a list `\{f,s\}` where `f` is a formal group law, `s` is a formal series without free term

- - FormalGroupPoint -- inverse to a point of a formal group
- FormalGroupPoint + FormalGroupPoint -- sum of points of a formal group
- FormalGroupPoint - FormalGroupPoint -- difference of points of a formal group
- ZZ * FormalGroupPoint

The object FormalGroupPoint is a type, with ancestor classes BasicList < Thing.