aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/integer.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-03-09 23:54:10 +0000
committerdos-reis <gdr@axiomatics.org>2011-03-09 23:54:10 +0000
commit8c47810df65c610513d4be825bd6ee9a56f97f9f (patch)
tree7117bf9c5177324de1e4a012b635ed667dec817f /src/algebra/integer.spad.pamphlet
parentccd024277fb8eab4a8b22ed160f4da1609dd94e9 (diff)
downloadopen-axiom-8c47810df65c610513d4be825bd6ee9a56f97f9f.tar.gz
* algebra/catdef.spad.pamphlet (StepThrough) [nextItem]: Now
return Maybe %. * algebra/ffcat.spad.pamphlet: Propagate change. * algebra/fmod.spad.pamphlet: Likewise. * algebra/fraction.spad.pamphlet: Likewise. * algebra/integer.spad.pamphlet: Likewise. * algebra/pfbr.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/integer.spad.pamphlet')
-rw-r--r--src/algebra/integer.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet
index f660ec96..0b70def4 100644
--- a/src/algebra/integer.spad.pamphlet
+++ b/src/algebra/integer.spad.pamphlet
@@ -78,7 +78,7 @@ Integer: Join(IntegerNumberSystem, ConvertibleTo String, OpenMath) with
noetherian
++ ascending chain condition on ideals.
infinite
- ++ nextItem never returns "failed".
+ ++ nextItem never returns \spad{nothing}.
== add
ZP ==> SparseUnivariatePolynomial %
ZZP ==> SparseUnivariatePolynomial Integer