diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-20 18:18:10 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-20 18:18:10 +0000 |
| commit | 87f397a2fabcf265efb39d1be4c2b87633579e19 (patch) | |
| tree | 6f48a86a994967198656621d29195889aa9e72e8 /src/algebra | |
| parent | 90dee68c255cd77c5e72fb78da8a02d07e3c1c49 (diff) | |
| download | open-axiom-87f397a2fabcf265efb39d1be4c2b87633579e19.tar.gz | |
* algebra/coerce.spad.pamphlet (HomotopicTo): New.
* algebra/exposed.lsp.pamphlet: Expose it.
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include HOMOTOP.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.in | 2 | ||||
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 2 | ||||
| -rw-r--r-- | src/algebra/coerce.spad.pamphlet | 19 | ||||
| -rw-r--r-- | src/algebra/exposed.lsp.pamphlet | 1 |
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) |