diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-02-19 11:16:33 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-02-19 11:16:33 +0000 |
| commit | 572dd7d1d534f556f664634e61d1fec58bf7b4a3 (patch) | |
| tree | 80ea7594f0efeb847ab6eebe2b4d8985bb3755fd /src/algebra/naalgc.spad.pamphlet | |
| parent | 6356459bc2c5f8160d1fb8518097d140e9b40885 (diff) | |
| download | open-axiom-572dd7d1d534f556f664634e61d1fec58bf7b4a3.tar.gz | |
* algebra/catdef.spad.pamphlet (characteristic$Ring): Make a
constant.
* algebra/naalgc.spad.pamphlet
(characteristic$NonAssociativeRing): Likewise.
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 -> % |