diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-21 19:33:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-21 19:33:24 +0000 |
| commit | 67eb28e8fcfd246d7f149c00bdd3089e2f606676 (patch) | |
| tree | 156e78c30a13c788a7bb194aba20fb7ac8a6996b /src/algebra/strap/PI.lsp | |
| parent | 0fd61f7b731145923414f6fe21a511f2304bd9d9 (diff) | |
| download | open-axiom-67eb28e8fcfd246d7f149c00bdd3089e2f606676.tar.gz | |
* algebra/catdef.spad.pamphlet (before?$SetCategory): New.
Diffstat (limited to 'src/algebra/strap/PI.lsp')
| -rw-r--r-- | src/algebra/strap/PI.lsp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/strap/PI.lsp b/src/algebra/strap/PI.lsp index 4dc3184c..f39edf0a 100644 --- a/src/algebra/strap/PI.lsp +++ b/src/algebra/strap/PI.lsp @@ -45,8 +45,8 @@ (|PositiveInteger|) (|Union| $ '"failed") (|SingleInteger|) (|String|) (|OutputForm|)) '#(~= 14 |sample| 20 |recip| 24 |one?| 29 |min| 34 |max| 40 - |latex| 46 |hash| 51 |gcd| 56 |coerce| 62 |One| 67 >= 71 > - 77 = 83 <= 89 < 95 + 101 ** 107 * 119) + |latex| 46 |hash| 51 |gcd| 56 |coerce| 62 |before?| 67 + |One| 73 >= 77 > 83 = 89 <= 95 < 101 + 107 ** 113 * 125) '(((|commutative| "*") . 0)) (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0)) (CONS '#(NIL |Monoid&| |OrderedSet&| |SemiGroup&| @@ -60,11 +60,11 @@ '(0 5 0 6 0 7 0 8 2 5 9 0 0 10 2 0 9 0 0 1 0 0 0 1 1 0 12 0 1 1 0 9 0 1 2 0 0 0 0 1 2 0 0 0 0 1 1 0 14 0 1 1 0 13 - 0 1 2 0 0 0 0 1 1 0 15 0 1 0 0 0 1 2 - 0 9 0 0 1 2 0 9 0 0 1 2 0 9 0 0 1 2 0 - 9 0 0 1 2 0 9 0 0 1 2 0 0 0 0 1 2 0 0 - 0 11 1 2 0 0 0 5 1 2 0 0 0 0 1 2 0 0 - 11 0 1))))) + 0 1 2 0 0 0 0 1 1 0 15 0 1 2 0 9 0 0 + 1 0 0 0 1 2 0 9 0 0 1 2 0 9 0 0 1 2 0 + 9 0 0 1 2 0 9 0 0 1 2 0 9 0 0 1 2 0 0 + 0 0 1 2 0 0 0 11 1 2 0 0 0 5 1 2 0 0 + 0 0 1 2 0 0 11 0 1))))) '|lookupComplete|)) (MAKEPROP '|PositiveInteger| 'NILADIC T) |