aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/Makefile.in2
-rw-r--r--src/algebra/Makefile.pamphlet2
-rw-r--r--src/algebra/coerce.spad.pamphlet19
-rw-r--r--src/algebra/exposed.lsp.pamphlet1
4 files changed, 22 insertions, 2 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index 0e9b9f99..9b0d0643 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -377,7 +377,7 @@ axiom_algebra_layer_1 = \
PATAB PPCURVE PSCURVE REAL RESLATC RETRACT \
RETRACT- SEGCAT BINDING BMODULE LOGIC \
LOGIC- EVALAB EVALAB- FEVALAB FEVALAB- BYTE \
- OSGROUP MAYBE DATAARY PROPLOG
+ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP
axiom_algebra_layer_1_nrlibs = \
$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1))
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 28f9ad4e..00b3080d 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -220,7 +220,7 @@ axiom_algebra_layer_1 = \
PATAB PPCURVE PSCURVE REAL RESLATC RETRACT \
RETRACT- SEGCAT BINDING BMODULE LOGIC \
LOGIC- EVALAB EVALAB- FEVALAB FEVALAB- BYTE \
- OSGROUP MAYBE DATAARY PROPLOG
+ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP
axiom_algebra_layer_1_nrlibs = \
$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1))
diff --git a/src/algebra/coerce.spad.pamphlet b/src/algebra/coerce.spad.pamphlet
index 8176377a..e8fb6b36 100644
--- a/src/algebra/coerce.spad.pamphlet
+++ b/src/algebra/coerce.spad.pamphlet
@@ -79,6 +79,23 @@ CoercibleFrom(S: Type): Category == with
@
+\section{category HOMOTOP HomotopicTo}
+
+<<category HOMOTOP HomotopicTo>>=
+)abbrev category HOMOTOP HomotopicTo
+++ Author: Gabriel Dos Reis
+++ Date Create: November 19, 2008
+++ Date Last Modified: November 19, 2008
+++ See Also: CoercibleTo, CoercibleFrom
+++ Description:
+++ A is homotopic to B iff any element of domain B can be
+++ automically converted into an element of domain B, and nay
+++ element of domain B can be automatically converted into an A.
+HomotopicTo(S: Type): Category == Join(CoercibleTo S, CoercibleFrom S)
+
+@
+
+
\section{category KONVERT ConvertibleTo}
<<category KONVERT ConvertibleTo>>=
@@ -189,6 +206,8 @@ RetractableTo(S: Type): Category == CoercibleFrom S with
<<category UTYPE UnionType>>
<<category KOERCE CoercibleTo>>
<<category KRCFROM CoercibleFrom>>
+<<category HOMOTOP HomotopicTo>>
+
<<category KONVERT ConvertibleTo>>
<<category KVTFROM ConvertibleFrom>>
<<category RETRACT RetractableTo>>
diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet
index f0cf420e..42325b06 100644
--- a/src/algebra/exposed.lsp.pamphlet
+++ b/src/algebra/exposed.lsp.pamphlet
@@ -663,6 +663,7 @@
(|GradedModule| . GRMOD)
(|Group| . GROUP)
(|HomogeneousAggregate| . HOAGG)
+ (|HomotopicTo| . HOMOTOP)
(|HyperbolicFunctionCategory| . HYPCAT)
(|IndexedAggregate| . IXAGG)
(|IndexedDirectProductCategory| . IDPC)