diff options
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 |