diff options
Diffstat (limited to 'src/algebra/ffcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/ffcat.spad.pamphlet | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/algebra/ffcat.spad.pamphlet b/src/algebra/ffcat.spad.pamphlet index 2d1d6337..78a1c6a3 100644 --- a/src/algebra/ffcat.spad.pamphlet +++ b/src/algebra/ffcat.spad.pamphlet @@ -585,9 +585,10 @@ FiniteFieldCategory() : Category ==_ differentiate x == 0 init() == 0 - nextItem(a) == - zero?(a:=index(lookup(a)+1)) => "failed" - a + nextItem a == + a := index(lookup(a)+1) + zero? a => nothing + just a order(e):OnePointCompletion(PositiveInteger) == (order(e)@PI)::OnePointCompletion(PositiveInteger) |