From 853eb071dce89161c796d81b24eddd9e073687af Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@axiomatics.org>
Date: Wed, 30 Dec 2015 10:59:32 -0800
Subject: Use CoercibleTo category instances instead of ad-hoc hard-wired
 'coerce: % -> T' signatures.

---
 src/algebra/space.spad.pamphlet | 2 --
 1 file changed, 2 deletions(-)

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

diff --git a/src/algebra/space.spad.pamphlet b/src/algebra/space.spad.pamphlet
index 23d46039..61b7260d 100644
--- a/src/algebra/space.spad.pamphlet
+++ b/src/algebra/space.spad.pamphlet
@@ -287,8 +287,6 @@ ThreeSpaceCategory(R:Ring): Exports == Implementation where
     subspace     : % -> SUBSPACE
       ++ subspace(s) returns the \spadtype{SubSpace} which holds all the point
       ++ information in the \spadtype{ThreeSpace}, s.
-    coerce       : % -> O
-      ++ coerce(s) returns the \spadtype{ThreeSpace} s to Output format.
 
 @
 \section{domain SPACE3 ThreeSpace}
-- 
cgit v1.2.3