From 2341ec9865ba01ce326f6eb46bddef32cb2a83b8 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 24 Jun 2010 08:16:06 +0000 Subject: * algebra/outform.spad.pamphlet: Cleanup. * algebra/polycat.spad.pamphlet: Likewise. * algebra/sregset.spad.pamphlet: Likewise. --- src/ChangeLog | 6 ++++++ src/algebra/outform.spad.pamphlet | 13 ++++++------- src/algebra/polycat.spad.pamphlet | 2 -- src/algebra/sregset.spad.pamphlet | 1 - 4 files changed, 12 insertions(+), 10 deletions(-) (limited to 'src') diff --git a/src/ChangeLog b/src/ChangeLog index 751d31bc..5cebe16f 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2010-06-24 Gabriel Dos Reis + + * algebra/outform.spad.pamphlet: Cleanup. + * algebra/polycat.spad.pamphlet: Likewise. + * algebra/sregset.spad.pamphlet: Likewise. + 2010-06-24 Gabriel Dos Reis * interp/c-util.boot: Cleanup. diff --git a/src/algebra/outform.spad.pamphlet b/src/algebra/outform.spad.pamphlet index b951f6c4..de35766f 100644 --- a/src/algebra/outform.spad.pamphlet +++ b/src/algebra/outform.spad.pamphlet @@ -496,7 +496,6 @@ OutputForm(): SetCategory with ss a, b: % - l: List % s: String e: Symbol n: Integer @@ -567,12 +566,12 @@ OutputForm(): SetCategory with else l1:=[u,:l1] cons(c, l1) - brace a == bless [eform 'BRACE, a] - brace l == brace commaSeparate l - bracket a == bless [eform 'BRACKET, a] - bracket l == bracket commaSeparate l - paren a == bless [eform 'PAREN, a] - paren l == paren commaSeparate l + brace a == bless [eform 'BRACE, a] + brace(l: List %) == brace commaSeparate l + bracket a == bless [eform 'BRACKET, a] + bracket(l: List %) == bracket commaSeparate l + paren a == bless [eform 'PAREN, a] + paren(l: List %) == paren commaSeparate l sub (a,b) == bless [eform 'SUB, a, b] super (a, b) == bless [eform 'SUPERSUB,a,sform " ",b] diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet index e48b3214..8931a6de 100644 --- a/src/algebra/polycat.spad.pamphlet +++ b/src/algebra/polycat.spad.pamphlet @@ -344,8 +344,6 @@ PolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, VarSet:OrderedSet): if R has PolynomialFactorizationExplicit then PolynomialFactorizationExplicit add - p:% - v:VarSet ln:List NonNegativeInteger lv:List VarSet n:NonNegativeInteger diff --git a/src/algebra/sregset.spad.pamphlet b/src/algebra/sregset.spad.pamphlet index b46fa886..0598921f 100644 --- a/src/algebra/sregset.spad.pamphlet +++ b/src/algebra/sregset.spad.pamphlet @@ -287,7 +287,6 @@ SquareFreeQuasiComponentPackage(R,E,V,P,TS): Exports == Implementation where removeSuperfluousCases (cases:List LpWT) == #cases < 2 => cases toSee := sort(supDimElseRittWu?(#1.tower,#2.tower),cases) - lpwt1,lpwt2 : LpWT toSave,headmaxcases,maxcases,copymaxcases : List LpWT while not empty? toSee repeat lpwt1 := first toSee -- cgit v1.2.3