From 2b3e5e071c5ebb0d4982ae8fd2426c43f6147e36 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 30 Jun 2010 15:10:34 +0000
Subject: 	* algebra/vector.spad.pamphlet (LinearElement): New.

---
 src/algebra/catdef.spad.pamphlet | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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

diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet
index 104c4f10..1c22c456 100644
--- a/src/algebra/catdef.spad.pamphlet
+++ b/src/algebra/catdef.spad.pamphlet
@@ -295,12 +295,15 @@ OrderedType(): Category == BasicType with
 ++   a model of the category \spadtype{OrderedType}.
 )abbrev domain ORDSTRCT OrderedStructure
 OrderedStructure(T: Type,f: (T,T) -> Boolean): Public == Private where
-  Public == Join(OrderedType,HomotopicTo T)
+  Public == Join(OrderedType,HomotopicTo T) with
+    if T has CoercibleTo OutputForm then CoercibleTo OutputForm
   Private == add
     Rep == T
     coerce(x: %): T == rep x
     coerce(y: T): % == per y
     x < y  == f(rep x,rep y)
+    if T has CoercibleTo OutputForm then
+      coerce(x: %): OutputForm == rep(x)::OutputForm
 
 @
 
-- 
cgit v1.2.3