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
The object FormalGroupPoint is a type, with ancestor classes BasicList < Thing.