diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-21 04:57:20 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-21 04:57:20 +0000 |
commit | 451422777355655abc12203831db9d067762fb06 (patch) | |
tree | 47f698f25940b9f001636583179e302e939b33e4 /src/algebra/strap/DFLOAT.lsp | |
parent | 49727ef97a25730307fdb9622be726e92a41a875 (diff) | |
download | open-axiom-451422777355655abc12203831db9d067762fb06.tar.gz |
Update cached algebra lisp translation
Diffstat (limited to 'src/algebra/strap/DFLOAT.lsp')
-rw-r--r-- | src/algebra/strap/DFLOAT.lsp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp index 06bc62b3..c696356e 100644 --- a/src/algebra/strap/DFLOAT.lsp +++ b/src/algebra/strap/DFLOAT.lsp @@ -1020,7 +1020,7 @@ (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 - 0 0 0 0 0 0 0 0)) + 0 0 0 0 0 0 0 0 0)) (CONS '#(|FloatingPointSystem&| |RealNumberSystem&| |Field&| |EuclideanDomain&| NIL |UniqueFactorizationDomain&| |GcdDomain&| @@ -1038,7 +1038,7 @@ |HyperbolicFunctionCategory&| |ArcTrigonometricFunctionCategory&| |TrigonometricFunctionCategory&| NIL NIL - |RadicalCategory&| NIL NIL NIL NIL + |RadicalCategory&| NIL NIL NIL NIL NIL |BasicType&| NIL) (CONS '#((|FloatingPointSystem|) (|RealNumberSystem|) (|Field|) @@ -1074,11 +1074,11 @@ (|ArcTrigonometricFunctionCategory|) (|TrigonometricFunctionCategory|) (|OpenMath|) (|ConvertibleTo| 129) - (|RadicalCategory|) - (|CoercibleFrom| 104) - (|CoercibleFrom| 24) + (|RadicalCategory|) (|CoercibleFrom| 24) (|ConvertibleTo| 101) - (|ConvertibleTo| 13) (|BasicType|) + (|ConvertibleTo| 13) + (|CoercibleFrom| 104) + (|CoercibleFrom| $$) (|BasicType|) (|CoercibleTo| 38)) (|makeByteWordVec2| 139 '(0 6 0 7 2 9 0 8 6 10 1 9 11 0 12 2 9 |