next | previous | forward | backward | up | top | index | toc | Macaulay2 website

FormalGroupLaws :: FormalGroupPoint

FormalGroupPoint -- the class of all points of a formal group

Description

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

Methods that use an object of class FormalGroupPoint :

- 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

For the programmer

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