diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-24 08:16:06 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-24 08:16:06 +0000 |
| commit | 2341ec9865ba01ce326f6eb46bddef32cb2a83b8 (patch) | |
| tree | b1335a6ec0213794ed1067fab50a867c5b357aa1 | |
| parent | 68639c56f45afe2df802235f50b4ab8b3886dca4 (diff) | |
| download | open-axiom-2341ec9865ba01ce326f6eb46bddef32cb2a83b8.tar.gz | |
* algebra/outform.spad.pamphlet: Cleanup.
* algebra/polycat.spad.pamphlet: Likewise.
* algebra/sregset.spad.pamphlet: Likewise.
| -rw-r--r-- | src/ChangeLog | 6 | ||||
| -rw-r--r-- | src/algebra/outform.spad.pamphlet | 13 | ||||
| -rw-r--r-- | src/algebra/polycat.spad.pamphlet | 2 | ||||
| -rw-r--r-- | src/algebra/sregset.spad.pamphlet | 1 |
4 files changed, 12 insertions, 10 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 751d31bc..5cebe16f 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,11 @@ 2010-06-24 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/outform.spad.pamphlet: Cleanup. + * algebra/polycat.spad.pamphlet: Likewise. + * algebra/sregset.spad.pamphlet: Likewise. + +2010-06-24 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/c-util.boot: Cleanup. * interp/compiler.boot: Likewise. * interp/functor.boot: Likewise. 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 |