diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-30 15:10:34 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-30 15:10:34 +0000 |
| commit | 2b3e5e071c5ebb0d4982ae8fd2426c43f6147e36 (patch) | |
| tree | 6cfa7a2499d101f040e27b0d74e9437fd41bdba8 /src/algebra/catdef.spad.pamphlet | |
| parent | d5c29fa0bc701ece460849cf1d3dbdf761250f86 (diff) | |
| download | open-axiom-2b3e5e071c5ebb0d4982ae8fd2426c43f6147e36.tar.gz | |
* algebra/vector.spad.pamphlet (LinearElement): New.
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 5 |
1 files changed, 4 insertions, 1 deletions
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 @ |