From e3addef7d02f432fad8fc0886880f59c40000a5a Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 13 Aug 2011 17:58:48 +0000 Subject: * algebra/integer.spad.pamphlet (Integer): Remove attribute infinite. --- src/algebra/integer.spad.pamphlet | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/algebra/integer.spad.pamphlet') diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet index 050009ea..198b3afa 100644 --- a/src/algebra/integer.spad.pamphlet +++ b/src/algebra/integer.spad.pamphlet @@ -77,8 +77,6 @@ Integer: IntegerNumberSystem with ++ two positives multiply to give positive. noetherian ++ ascending chain condition on ideals. - infinite - ++ nextItem never returns \spad{nothing}. == add ZP ==> SparseUnivariatePolynomial % ZZP ==> SparseUnivariatePolynomial Integer -- cgit v1.2.3