From bd1588b379e4c9c4bc63ad59296ad531ebc52994 Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@axiomatics.org>
Date: Wed, 30 Dec 2015 03:52:53 -0800
Subject: Remove redundant signature for 'recip' from CliffordAlgebra

---
 src/algebra/clifford.spad.pamphlet | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'src/algebra')

diff --git a/src/algebra/clifford.spad.pamphlet b/src/algebra/clifford.spad.pamphlet
index dd7a0826..1badc880 100644
--- a/src/algebra/clifford.spad.pamphlet
+++ b/src/algebra/clifford.spad.pamphlet
@@ -273,9 +273,6 @@ CliffordAlgebra(n, K, Q): T == Impl where
         coefficient:  (%, List PI) -> K
           ++ coefficient(x,[i1,i2,...,iN])  extracts the coefficient of
           ++ \spad{e(i1)*e(i2)*...*e(iN)} in x.
-        recip: % -> Union(%, "failed")
-          ++ recip(x) computes the multiplicative inverse of x or "failed"
-          ++ if x is not invertible.
  
     Impl ==> add
         Qeelist :=  [Q unitVector(i::PositiveInteger) for i in 1..n]
@@ -402,7 +399,7 @@ CliffordAlgebra(n, K, Q): T == Impl where
 
 	Pn:List List PI := powerSets(n)
 
-	recip(x: %): Union(%, "failed") ==
+	recip x ==
 	  one:% := 1
 	  -- tmp:c := x*yC - 1$C
 	  rhsEqs : List K := []
-- 
cgit v1.2.3