diff options
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 4 | ||||
| -rw-r--r-- | src/algebra/naalgc.spad.pamphlet | 2 |
2 files changed, 4 insertions, 2 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 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 -> % |