diff options
Diffstat (limited to 'src/algebra')
| -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 |
3 files changed, 6 insertions, 10 deletions
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 |