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/catdef.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/catdef.spad.pamphlet')
-rw-r--r-- | src/algebra/catdef.spad.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index 4cfca15c..aec301d8 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -1529,7 +1529,7 @@ RightModule(R:Rng):Category == AbelianGroup with --Ring(): Category == Join(Rng,Monoid,LeftModule(%:Rng)) with Ring(): Category == Join(Rng,Monoid,LeftModule(%),CoercibleFrom Integer) with --operations - characteristic: () -> NonNegativeInteger + characteristic: NonNegativeInteger ++ characteristic() returns the characteristic of the ring ++ this is the smallest positive integer n such that ++ \spad{n*x=0} for all x in the ring, or zero if no such n @@ -1737,6 +1737,8 @@ VectorSpace(S:Field): Category == Module(S) with <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. +--Copyright (C) 2007-2009, Gabriel Dos Reis. +--All rights reversed. -- --Redistribution and use in source and binary forms, with or without --modification, are permitted provided that the following conditions are |