diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-20 20:05:35 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-20 20:05:35 +0000 |
| commit | 003d8009ff08ef11901956ac887422cea0cc4b55 (patch) | |
| tree | 490f1f62576c12798021f11af19bea21f8cc579a /src/algebra/strap | |
| parent | 87f397a2fabcf265efb39d1be4c2b87633579e19 (diff) | |
| download | open-axiom-003d8009ff08ef11901956ac887422cea0cc4b55.tar.gz | |
* algebra/wtpol.spad.pamphlet (WeightedPolynomials): No
HomotopicTo P.
(OrdinaryWeightedPolynomials): Likewise.
* algebra/modmonom.spad.pamphlet (ModuleMonomial): Now
HomotopicTo MM.
* algebra/matrix.spad.pamphlet (coerce$RectangularMatrix): Remove
redundant signature.
* algebra/lodop.spad.pamphlet (OrdinaryDifferentialRing): Now
HomotopicTo HomotopicTo R.
* algebra/alql.spad.pamphlet (DataList): Now HomotopicTo List S.
* algebra/array1.spad.pamphlet (Tuple): Now HomotopicTo
PrimitiveArray S.
* algebra/kl.spad.pamphlet (CachableSet): Now HomotopicTo S.
* algebra/java.spad.pamphlet (JavaBytecode): Now HomotopicTo Byte.
* algebra/fname.spad.pamphlet (FileNameCategory): Extends
HomotopicTo String.
* algebra/data.spad.pamphlet (Byte): Now HomotopicTo Character.
Diffstat (limited to 'src/algebra/strap')
| -rw-r--r-- | src/algebra/strap/DFLOAT.lsp | 14 | ||||
| -rw-r--r-- | src/algebra/strap/INT.lsp | 10 | ||||
| -rw-r--r-- | src/algebra/strap/SINT.lsp | 9 |
3 files changed, 16 insertions, 17 deletions
diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp index 57f96e29..06bc62b3 100644 --- a/src/algebra/strap/DFLOAT.lsp +++ b/src/algebra/strap/DFLOAT.lsp @@ -1031,14 +1031,15 @@ |AbelianGroup&| NIL NIL NIL |AbelianMonoid&| |Monoid&| NIL |OrderedSet&| |AbelianSemiGroup&| |SemiGroup&| - |TranscendentalFunctionCategory&| NIL + |TranscendentalFunctionCategory&| + |RetractableTo&| |RetractableTo&| NIL |SetCategory&| NIL |ElementaryFunctionCategory&| NIL |HyperbolicFunctionCategory&| |ArcTrigonometricFunctionCategory&| |TrigonometricFunctionCategory&| NIL NIL - |RadicalCategory&| |RetractableTo&| NIL - |RetractableTo&| NIL NIL NIL |BasicType&| NIL) + |RadicalCategory&| NIL NIL NIL NIL + |BasicType&| NIL) (CONS '#((|FloatingPointSystem|) (|RealNumberSystem|) (|Field|) (|EuclideanDomain|) @@ -1064,8 +1065,9 @@ (|PatternMatchable| 101) (|OrderedSet|) (|AbelianSemiGroup|) (|SemiGroup|) (|TranscendentalFunctionCategory|) - (|RealConstant|) (|SetCategory|) - (|ConvertibleTo| 41) + (|RetractableTo| 104) + (|RetractableTo| 24) (|RealConstant|) + (|SetCategory|) (|ConvertibleTo| 41) (|ElementaryFunctionCategory|) (|ArcHyperbolicFunctionCategory|) (|HyperbolicFunctionCategory|) @@ -1073,9 +1075,7 @@ (|TrigonometricFunctionCategory|) (|OpenMath|) (|ConvertibleTo| 129) (|RadicalCategory|) - (|RetractableTo| 104) (|CoercibleFrom| 104) - (|RetractableTo| 24) (|CoercibleFrom| 24) (|ConvertibleTo| 101) (|ConvertibleTo| 13) (|BasicType|) diff --git a/src/algebra/strap/INT.lsp b/src/algebra/strap/INT.lsp index 0e57fde8..72601092 100644 --- a/src/algebra/strap/INT.lsp +++ b/src/algebra/strap/INT.lsp @@ -637,8 +637,8 @@ |AbelianGroup&| NIL NIL NIL |AbelianMonoid&| |Monoid&| NIL NIL |OrderedSet&| |AbelianSemiGroup&| |SemiGroup&| NIL - |SetCategory&| NIL NIL NIL NIL NIL NIL NIL - |RetractableTo&| NIL NIL |BasicType&| NIL) + |RetractableTo&| |SetCategory&| NIL NIL NIL + NIL NIL NIL NIL NIL NIL |BasicType&| NIL) (CONS '#((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) @@ -662,13 +662,13 @@ (|StepThrough|) (|PatternMatchable| 11) (|OrderedSet|) (|AbelianSemiGroup|) (|SemiGroup|) (|RealConstant|) - (|SetCategory|) (|OpenMath|) - (|ConvertibleTo| 9) (|ConvertibleTo| 45) + (|RetractableTo| 11) (|SetCategory|) + (|OpenMath|) (|ConvertibleTo| 9) + (|ConvertibleTo| 45) (|ConvertibleTo| 48) (|CombinatorialFunctionCategory|) (|ConvertibleTo| 123) (|ConvertibleTo| 50) - (|RetractableTo| 11) (|CoercibleFrom| 11) (|ConvertibleTo| 11) (|BasicType|) (|CoercibleTo| 36)) diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index 2da14713..d98748ea 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -581,8 +581,8 @@ |AbelianGroup&| NIL NIL NIL |AbelianMonoid&| |Monoid&| NIL NIL |OrderedSet&| |AbelianSemiGroup&| |SemiGroup&| |Logic&| NIL - |SetCategory&| NIL NIL NIL NIL NIL NIL - |RetractableTo&| NIL NIL |BasicType&| NIL) + |RetractableTo&| |SetCategory&| NIL NIL NIL + NIL NIL NIL NIL NIL |BasicType&| NIL) (CONS '#((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) @@ -606,13 +606,12 @@ (|StepThrough|) (|PatternMatchable| 12) (|OrderedSet|) (|AbelianSemiGroup|) (|SemiGroup|) (|Logic|) (|RealConstant|) - (|SetCategory|) (|OpenMath|) - (|ConvertibleTo| 90) + (|RetractableTo| 12) (|SetCategory|) + (|OpenMath|) (|ConvertibleTo| 90) (|ConvertibleTo| 91) (|CombinatorialFunctionCategory|) (|ConvertibleTo| 92) (|ConvertibleTo| 94) - (|RetractableTo| 12) (|CoercibleFrom| 12) (|ConvertibleTo| 12) (|BasicType|) (|CoercibleTo| 29)) |