diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-12-03 20:03:11 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-12-03 20:03:11 +0000 |
| commit | 9b81bd9f34147232eb8e6c56978e36f49f8f6771 (patch) | |
| tree | 1e6a109bc4344fc380e7efa4ae0f520629da5f36 /src/algebra | |
| parent | b2848762b8155be597dfa4819f8ff5ea337e3e4b (diff) | |
| download | open-axiom-9b81bd9f34147232eb8e6c56978e36f49f8f6771.tar.gz | |
* interp/compiler.boot (setqMultiple): Handle lhs and rhs of type
Cross instance.
* interp/g-util.boot ($DomainNames): Include Cross.
* interp/cattable.boot (genCategoryTable): Do not eval Cross.
It is bogus to prepopulate the table with builtin functors anyway.
* algebra/triset.spad.pamphlet
(PolynomialSetUtilitiesPackage)[removeRedundantFactors]: Do not
define `c' and `d' in conditional. Make the initializer conditional.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/triset.spad.pamphlet | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/algebra/triset.spad.pamphlet b/src/algebra/triset.spad.pamphlet index 50b56350..78312236 100644 --- a/src/algebra/triset.spad.pamphlet +++ b/src/algebra/triset.spad.pamphlet @@ -1365,11 +1365,9 @@ PolynomialSetUtilitiesPackage (R,E,V,P) : Exports == Implementation where while not empty? toSee repeat b := first toSee toSee := rest toSee - if not infRittWu?(b,a) - then - (c,d) := (a,b) - else - (c,d) := (b,a) + (c,d) := + not infRittWu?(b,a) => (a,b) + (b,a) rrf := unprotectedRemoveRedundantFactors(c,d) empty? rrf => error"in removeRedundantFactors : (LP,P) -> LP from PSETPK" c := first rrf |