diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-31 20:28:57 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-31 20:28:57 +0000 |
| commit | c7514825ba2dfd72261b2049d826c36b2e5c0593 (patch) | |
| tree | c791e0ca6693ad12f0a651258400ce758e019f61 /src/algebra/tree.spad.pamphlet | |
| parent | 8483558c6e9bcbe9dd464981f0a8fe5922a9809b (diff) | |
| download | open-axiom-c7514825ba2dfd72261b2049d826c36b2e5c0593.tar.gz | |
* algebra/aggcat.spad.pamphlet (FiniteLinearAggregate): Remove
duplicate definition of reverse.
* algebra/algcat.spad.pamphlet (FramedAlgebra): Remove duplicate
definition of regularRepresentation. Explicitly disambiguate
the argument of coodinates.
* algebra/efupxs.spad.pamphlet
(ElementaryFunctionsUnivariatePuiseuxSeries): Remove duplicate
definition of asinhIfCan, acoshIfCan, asechIfCan, acshIfCan.
* algebra/equation2.spad.pamphlet (Equation): Remove duplicate
definition of *: (S,%) -> %.
* algebra/fortpak.spad.pamphlet (MultiVariableCalculusFunctions):
Remove duplicate definition of jacobian.
* algebra/tree.spad.pamphlet (BinaryTree): Remove duplicate
definition of empty.
Diffstat (limited to 'src/algebra/tree.spad.pamphlet')
| -rw-r--r-- | src/algebra/tree.spad.pamphlet | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/algebra/tree.spad.pamphlet b/src/algebra/tree.spad.pamphlet index 27b0d061..a174308e 100644 --- a/src/algebra/tree.spad.pamphlet +++ b/src/algebra/tree.spad.pamphlet @@ -382,7 +382,6 @@ BinaryTree(S: SetCategory): Exports == Implementation where Rep := List Tree S t1 = t2 == (t1::Rep) =$Rep (t2::Rep) empty()== [] pretend % - empty()== [] pretend % node(l,v,r) == cons(tree(v,l:Rep),r:Rep) binaryTree(l,v,r) == node(l,v,r) binaryTree(v:S) == node(empty(),v,empty()) |