diff options
Diffstat (limited to 'src/algebra/naalgc.spad.pamphlet')
| -rw-r--r-- | src/algebra/naalgc.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/naalgc.spad.pamphlet b/src/algebra/naalgc.spad.pamphlet index b185cb29..cae5d5ea 100644 --- a/src/algebra/naalgc.spad.pamphlet +++ b/src/algebra/naalgc.spad.pamphlet @@ -183,7 +183,7 @@ NonAssociativeRng(): Category == Join(AbelianGroup,Monad) with ++ the multiplication is not necessarily commutative or associative. NonAssociativeRing(): Category == Join(NonAssociativeRng,MonadWithUnit) with --operations - characteristic: -> NonNegativeInteger + characteristic: NonNegativeInteger ++ characteristic() returns the characteristic of the ring. --we can not make this a constant, since some domains are mutable coerce: Integer -> % |