diff options
Diffstat (limited to 'src/algebra/strap/PI.lsp')
-rw-r--r-- | src/algebra/strap/PI.lsp | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/algebra/strap/PI.lsp b/src/algebra/strap/PI.lsp index de4ba8f3..3ed76477 100644 --- a/src/algebra/strap/PI.lsp +++ b/src/algebra/strap/PI.lsp @@ -33,26 +33,26 @@ (MAKEPROP '|PositiveInteger| '|infovec| (LIST '#(NIL NIL NIL NIL NIL (|NonNegativeInteger|) (0 . |Zero|) (|Integer|) (4 . |Zero|) (|Boolean|) (8 . >) - (|PositiveInteger|) (|Union| $ '"failed") - (|SingleInteger|) (|String|) (|OutputForm|)) + (|PositiveInteger|) (|Union| $ '"failed") (|String|) + (|OutputForm|) (|SingleInteger|)) '#(~= 14 |sample| 20 |recip| 24 |one?| 29 |min| 34 |max| 40 |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 0)) - (CONS '#(NIL |Monoid&| |OrderedSet&| |SemiGroup&| + (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0)) + (CONS '#(NIL |Monoid&| NIL |SemiGroup&| |AbelianSemiGroup&| |SetCategory&| - |BasicType&| NIL NIL) + |OrderedType&| |BasicType&| NIL NIL) (CONS '#((|OrderedAbelianSemiGroup|) (|Monoid|) (|OrderedSet|) (|SemiGroup|) (|AbelianSemiGroup|) (|SetCategory|) - (|BasicType|) (|Type|) - (|CoercibleTo| 15)) + (|OrderedType|) (|BasicType|) (|Type|) + (|CoercibleTo| 14)) (|makeByteWordVec2| 15 '(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 2 0 9 0 0 + 0 0 0 1 2 0 0 0 0 1 1 0 13 0 1 1 0 15 + 0 1 2 0 0 0 0 1 1 0 14 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 |