diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-25 12:35:16 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-25 12:35:16 +0000 |
| commit | c25dfacda02a40b2055328ba5898086c043e5427 (patch) | |
| tree | e2b077fc07d82ffc62158d931d3ac2aa0daeae93 /src/algebra | |
| parent | 75a4b333cb95b26efc29b07d6a078b12f2d0b921 (diff) | |
| download | open-axiom-c25dfacda02a40b2055328ba5898086c043e5427.tar.gz | |
* interp/define.boot ($mutableDomain): Remove. Adjust users.
($mutableDomains): Likewise.
* interp/database.boot (dbMutable?): Remove.
* interp/clam.boot (addToclam): Remove as unused.
* algebra/modmon.spad.pamphlet: Do not make MoMonic mutable.
* algebra/defaults.spad.pamphlet: Do not make RepeatedSquaring and
RepeatedDoubling, FiniteLinearAggregateSort mutable.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/defaults.spad.pamphlet | 16 | ||||
| -rw-r--r-- | src/algebra/modmon.spad.pamphlet | 2 |
2 files changed, 0 insertions, 18 deletions
diff --git a/src/algebra/defaults.spad.pamphlet b/src/algebra/defaults.spad.pamphlet index e5e47e40..fd88008b 100644 --- a/src/algebra/defaults.spad.pamphlet +++ b/src/algebra/defaults.spad.pamphlet @@ -16,11 +16,6 @@ ++ Description: ++ Implements exponentiation by repeated squaring ++ RelatedOperations: expt --- the following package is only instantiated over % --- thus shouldn't be cached. We prevent it --- from being cached by declaring it to be mutableDomains - -)bo PUSH('RepeatedSquaring, $mutableDomains) RepeatedSquaring(S): Exports == Implementation where S: SetCategory with @@ -46,12 +41,6 @@ RepeatedSquaring(S): Exports == Implementation where ++ Description: ++ Implements multiplication by repeated addition ++ RelatedOperations: * - --- the following package is only instantiated over % --- thus shouldn't be cached. We prevent it --- from being cached by declaring it to be mutableDomains - -)bo PUSH('RepeatedDoubling, $mutableDomains) RepeatedDoubling(S):Exports ==Implementation where S: SetCategory with @@ -80,11 +69,6 @@ RepeatedDoubling(S):Exports ==Implementation where ++ Description: ++ This package exports 3 sorting algorithms which work over ++ FiniteLinearAggregates. --- the following package is only instantiated over % --- thus shouldn't be cached. We prevent it --- from being cached by declaring it to be mutableDomains - -)bo PUSH('FiniteLinearAggregateSort, $mutableDomains) FiniteLinearAggregateSort(S, V): Exports == Implementation where S: Type diff --git a/src/algebra/modmon.spad.pamphlet b/src/algebra/modmon.spad.pamphlet index 94872e38..be0e86e3 100644 --- a/src/algebra/modmon.spad.pamphlet +++ b/src/algebra/modmon.spad.pamphlet @@ -14,8 +14,6 @@ )abbrev domain MODMON ModMonic ++ Description: ++ This package \undocumented --- following line prevents caching ModMonic -)bo PUSH('ModMonic, $mutableDomains) ModMonic(R,Rep): C == T where |