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/SINT.lsp | |
parent | 49727ef97a25730307fdb9622be726e92a41a875 (diff) | |
download | open-axiom-451422777355655abc12203831db9d067762fb06.tar.gz |
Update cached algebra lisp translation
Diffstat (limited to 'src/algebra/strap/SINT.lsp')
-rw-r--r-- | src/algebra/strap/SINT.lsp | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index d98748ea..cce89b66 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -572,7 +572,7 @@ (|leftUnitary| . 0) (|unitsKnown| . 0)) (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 0 0 0)) (CONS '#(|IntegerNumberSystem&| |EuclideanDomain&| |UniqueFactorizationDomain&| NIL NIL |GcdDomain&| |IntegralDomain&| |Algebra&| NIL @@ -582,7 +582,7 @@ |Monoid&| NIL NIL |OrderedSet&| |AbelianSemiGroup&| |SemiGroup&| |Logic&| NIL |RetractableTo&| |SetCategory&| NIL NIL NIL - NIL NIL NIL NIL NIL |BasicType&| NIL) + NIL NIL NIL NIL NIL NIL |BasicType&| NIL) (CONS '#((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) @@ -612,8 +612,9 @@ (|CombinatorialFunctionCategory|) (|ConvertibleTo| 92) (|ConvertibleTo| 94) - (|CoercibleFrom| 12) - (|ConvertibleTo| 12) (|BasicType|) + (|ConvertibleTo| 12) + (|CoercibleFrom| $$) + (|CoercibleFrom| 12) (|BasicType|) (|CoercibleTo| 29)) (|makeByteWordVec2| 104 '(1 8 7 0 9 3 8 7 0 10 10 11 2 8 7 0 12 @@ -644,7 +645,7 @@ 61 1 0 0 0 1 2 0 0 0 56 1 1 0 0 0 51 1 0 0 0 1 1 0 90 0 1 1 0 91 0 1 1 0 92 0 1 1 0 94 0 1 1 0 12 0 32 1 0 0 - 12 82 1 0 0 12 82 1 0 0 0 1 1 0 29 0 + 12 82 1 0 0 0 1 1 0 0 12 82 1 0 29 0 31 0 0 56 1 2 0 22 0 0 1 2 0 0 0 0 1 0 0 0 37 2 0 22 0 0 1 3 0 0 0 0 0 74 1 0 0 0 63 2 0 0 0 0 44 0 0 0 35 2 0 |