aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/defaults.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-05-19 23:55:58 +0000
committerdos-reis <gdr@axiomatics.org>2013-05-19 23:55:58 +0000
commit9f93bd1e41e901891fe77f2a777fd18ead4b94dc (patch)
tree5b81278020fdfc9fea4abc4ad75bb50492fbed90 /src/algebra/defaults.spad.pamphlet
parent549aab1d993019339d4eef36049e7639c37ca1b6 (diff)
downloadopen-axiom-9f93bd1e41e901891fe77f2a777fd18ead4b94dc.tar.gz
Eradicate attribute shallowlyMutable.
Diffstat (limited to 'src/algebra/defaults.spad.pamphlet')
-rw-r--r--src/algebra/defaults.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/defaults.spad.pamphlet b/src/algebra/defaults.spad.pamphlet
index fd88008b..490ae98a 100644
--- a/src/algebra/defaults.spad.pamphlet
+++ b/src/algebra/defaults.spad.pamphlet
@@ -63,7 +63,7 @@ RepeatedDoubling(S):Exports ==Implementation where
<<package FLASORT FiniteLinearAggregateSort>>=
)abbrev package FLASORT FiniteLinearAggregateSort
++ FiniteLinearAggregateSort
-++ Sort package (in-place) for shallowlyMutable Finite Linear Aggregates
+++ Sort package (in-place) for ShallowlyMutable Finite Linear Aggregates
++ Author: Michael Monagan Sep/88
++ RelatedOperations: sort
++ Description:
@@ -72,7 +72,7 @@ RepeatedDoubling(S):Exports ==Implementation where
FiniteLinearAggregateSort(S, V): Exports == Implementation where
S: Type
- V: FiniteLinearAggregate(S) with shallowlyMutable
+ V: Join(FiniteLinearAggregate S,ShallowlyMutableAggregate S)
B ==> Boolean
I ==> Integer