From 25f1c7c591229dcd84d651542e33a24fc13f837c Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 31 Aug 2008 22:09:16 +0000
Subject: 	* algebra/stream.spad.pamphlet (Stream): Remove duplicate of
 concat. 	* algebra/naalgc.spad.pamphlet (FramedNonAssociativeAlgebra): 
 disambiguate coordinates.

---
 src/algebra/equation2.spad.pamphlet | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'src/algebra/equation2.spad.pamphlet')

diff --git a/src/algebra/equation2.spad.pamphlet b/src/algebra/equation2.spad.pamphlet
index 7aad51f6..169df9ed 100644
--- a/src/algebra/equation2.spad.pamphlet
+++ b/src/algebra/equation2.spad.pamphlet
@@ -143,12 +143,6 @@ Equation(S: Type): public == private where
     Rep := Record(lhs: S, rhs: S)
     eq1,eq2: $
     s : S
-    if S has IntegralDomain then
-        factorAndSplit eq ==
-          (S has factor : S -> Factored S) =>
-            eq0 := rightZero eq
-            [equation(rcf.factor,0) for rcf in factors factor lhs eq0]
-          [eq]
     l:S = r:S      == [l, r]
     equation(l, r) == [l, r]    -- hack!  See comment above.
     lhs eqn        == eqn.lhs
-- 
cgit v1.2.3