next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
Macaulay2 web site
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
-- a binary operator, usually used for multiplication
For the programmer
The object
FormalGroupPoint
is
a
type
, with ancestor classes
BasicList
<
Thing
.