From 9213251560073e45e73ae94c46bc382a625a57bb Mon Sep 17 00:00:00 2001 From: Gabriel Dos Reis Date: Wed, 30 Dec 2015 02:56:09 -0800 Subject: Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, central, noetherian, NullSquare, JacobiIdentity. --- src/algebra/integer.spad.pamphlet | 8 -------- 1 file changed, 8 deletions(-) (limited to 'src/algebra/integer.spad.pamphlet') diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet index ba924720..df709373 100644 --- a/src/algebra/integer.spad.pamphlet +++ b/src/algebra/integer.spad.pamphlet @@ -73,10 +73,6 @@ IntegerSolveLinearPolynomialEquation(): C ==T Integer: IntegerNumberSystem with canonical ++ mathematical equality is data structure equality. - canonicalsClosed - ++ two positives multiply to give positive. - noetherian - ++ ascending chain condition on ideals. == add ZP ==> SparseUnivariatePolynomial % ZZP ==> SparseUnivariatePolynomial Integer @@ -298,10 +294,6 @@ PositiveInteger: Join(OrderedAbelianSemiGroup,Monoid) with RomanNumeral(): Join(IntegerNumberSystem,ConvertibleFrom Symbol) with canonical ++ mathematical equality is data structure equality. - canonicalsClosed - ++ two positives multiply to give positive. - noetherian - ++ ascending chain condition on ideals. roman : Symbol -> % ++ roman(n) creates a roman numeral for symbol n. roman : Integer -> % -- cgit v1.2.3