aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/SINT.lsp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-06-15 15:37:19 +0000
committerdos-reis <gdr@axiomatics.org>2010-06-15 15:37:19 +0000
commit2b41f1bdaab0f71eebea39ec388371acd3777d62 (patch)
tree91773fcf7fcf5af43cb3aaa5a819ea9800c63ea7 /src/algebra/strap/SINT.lsp
parent82929c32be58e92dccd449f8a874dc1419980f50 (diff)
downloadopen-axiom-2b41f1bdaab0f71eebea39ec388371acd3777d62.tar.gz
* algebra/catdef.spad.pamphlet (DifferentialSpace): New.
Diffstat (limited to 'src/algebra/strap/SINT.lsp')
-rw-r--r--src/algebra/strap/SINT.lsp141
1 files changed, 72 insertions, 69 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp
index d1f9499b..c86638ab 100644
--- a/src/algebra/strap/SINT.lsp
+++ b/src/algebra/strap/SINT.lsp
@@ -599,38 +599,38 @@
(|:| |associate| $))
|SINT;unitNormal;$R;62| (|Fraction| 5)
(|Union| 99 '"failed") (|Union| $ '"failed") (|Float|)
- (|DoubleFloat|) (|Pattern| 5) (|PatternMatchResult| 5 $)
+ (|DoubleFloat|) (|PatternMatchResult| 5 $) (|Pattern| 5)
(|InputForm|) (|Union| 5 '"failed") (|List| $)
- (|Union| 108 '"failed")
(|Record| (|:| |coef| 108) (|:| |generator| $))
- (|Record| (|:| |coef1| $) (|:| |coef2| $))
- (|Union| 111 '"failed")
+ (|Union| 108 '"failed")
(|Record| (|:| |coef1| $) (|:| |coef2| $)
(|:| |generator| $))
- (|Factored| $) (|SparseUnivariatePolynomial| $))
+ (|Record| (|:| |coef1| $) (|:| |coef2| $))
+ (|Union| 112 '"failed") (|Factored| $)
+ (|SparseUnivariatePolynomial| $))
'#(~= 78 ~ 84 |zero?| 89 |xor| 94 |unitNormal| 100
|unitCanonical| 105 |unit?| 110 |symmetricRemainder| 115
|subtractIfCan| 121 |submod| 127 |squareFreePart| 134
|squareFree| 139 |sizeLess?| 144 |size| 150 |sign| 154
|shift| 159 |sample| 165 |retractIfCan| 169 |retract| 174
- |rem| 179 |reducedSystem| 185 |recip| 196 |rationalIfCan|
- 201 |rational?| 206 |rational| 211 |random| 216 |quo| 225
- |principalIdeal| 231 |prime?| 236 |powmod| 241
- |positiveRemainder| 248 |positive?| 254 |permutation| 259
- |patternMatch| 265 |or| 272 |one?| 278 |odd?| 283 |not|
- 288 |nextItem| 293 |negative?| 298 |multiEuclidean| 303
- |mulmod| 309 |min| 316 |max| 326 |mask| 336 |lookup| 341
- |length| 346 |lcm| 351 |latex| 362 |invmod| 367 |init| 373
- |index| 377 |inc| 382 |hash| 387 |gcdPolynomial| 392 |gcd|
- 398 |factorial| 409 |factor| 414 |extendedEuclidean| 419
- |exquo| 432 |expressIdealMember| 438 |even?| 444
- |euclideanSize| 449 |divide| 454 |differentiate| 460 |dec|
- 471 |copy| 476 |convert| 481 |coerce| 506 |characteristic|
- 526 |bit?| 530 |binomial| 536 |before?| 542 |base| 548
- |associates?| 552 |and| 558 |addmod| 564 |abs| 571 |\\/|
- 576 |Zero| 582 |Or| 586 |One| 592 |OMwrite| 596 |Not| 620
- D 625 |And| 636 >= 642 > 648 = 654 <= 660 < 666 |/\\| 672
- - 678 + 689 ** 695 * 707)
+ |rem| 179 |reducedSystem| 185 |recip| 201 |rationalIfCan|
+ 206 |rational?| 211 |rational| 216 |random| 221 |quo| 230
+ |principalIdeal| 236 |prime?| 241 |powmod| 246
+ |positiveRemainder| 253 |positive?| 259 |permutation| 264
+ |patternMatch| 270 |or| 277 |one?| 283 |odd?| 288 |not|
+ 293 |nextItem| 298 |negative?| 303 |multiEuclidean| 308
+ |mulmod| 314 |min| 321 |max| 331 |mask| 341 |lookup| 346
+ |length| 351 |lcm| 356 |latex| 367 |invmod| 372 |init| 378
+ |index| 382 |inc| 387 |hash| 392 |gcdPolynomial| 397 |gcd|
+ 403 |factorial| 414 |factor| 419 |extendedEuclidean| 424
+ |exquo| 437 |expressIdealMember| 443 |even?| 449
+ |euclideanSize| 454 |divide| 459 |differentiate| 465 |dec|
+ 476 |copy| 481 |convert| 486 |coerce| 511 |characteristic|
+ 531 |bit?| 535 |binomial| 541 |before?| 547 |base| 553
+ |associates?| 557 |and| 563 |addmod| 569 |abs| 576 |\\/|
+ 581 |Zero| 587 |Or| 591 |One| 597 |OMwrite| 601 |Not| 625
+ D 630 |And| 641 >= 647 > 653 = 659 <= 665 < 671 |/\\| 677
+ - 683 + 694 ** 700 * 712)
'((|noetherian| . 0) (|canonicalsClosed| . 0)
(|canonical| . 0) (|canonicalUnitNormal| . 0)
(|multiplicativeValuation| . 0) (|noZeroDivisors| . 0)
@@ -639,18 +639,19 @@
(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))
(CONS '#(|IntegerNumberSystem&| |EuclideanDomain&|
|UniqueFactorizationDomain&| NIL NIL
|GcdDomain&| |IntegralDomain&| |Algebra&| NIL
- NIL |DifferentialRing&| |OrderedRing&| NIL NIL
- |Module&| NIL |Ring&| NIL NIL NIL NIL NIL
- |AbelianGroup&| NIL NIL NIL NIL NIL
+ |DifferentialRing&| |OrderedRing&| NIL NIL
+ |Module&| NIL NIL |Ring&| NIL NIL NIL NIL NIL
+ NIL |AbelianGroup&| NIL NIL NIL NIL NIL
|AbelianMonoid&| |Monoid&| NIL NIL NIL
|OrderedSet&| NIL NIL |AbelianSemiGroup&|
|SemiGroup&| NIL |Logic&| NIL NIL
- |RetractableTo&| |SetCategory&| NIL NIL NIL
- NIL NIL NIL NIL NIL NIL NIL |BasicType&| NIL)
+ |RetractableTo&| |DifferentialDomain&|
+ |SetCategory&| NIL NIL NIL NIL NIL NIL NIL NIL
+ NIL NIL |BasicType&| NIL)
(CONS '#((|IntegerNumberSystem|)
(|EuclideanDomain|)
(|UniqueFactorizationDomain|)
@@ -658,11 +659,12 @@
(|OrderedIntegralDomain|) (|GcdDomain|)
(|IntegralDomain|) (|Algebra| $$)
(|CharacteristicZero|)
- (|LinearlyExplicitRingOver| 5)
(|DifferentialRing|) (|OrderedRing|)
(|CommutativeRing|) (|EntireRing|)
- (|Module| $$) (|BiModule| $$ $$)
- (|Ring|) (|OrderedAbelianGroup|)
+ (|Module| $$)
+ (|LinearlyExplicitRingOver| 5)
+ (|BiModule| $$ $$) (|Ring|)
+ (|LeftModule| 5) (|OrderedAbelianGroup|)
(|LeftModule| $$) (|Rng|)
(|RightModule| $$)
(|OrderedCancellationAbelianMonoid|)
@@ -679,16 +681,17 @@
(|AbelianSemiGroup|) (|SemiGroup|)
(|LeftLinearSet| 5) (|Logic|)
(|BooleanLogic|) (|RealConstant|)
- (|RetractableTo| 5) (|SetCategory|)
- (|OpenMath|) (|Type|)
+ (|RetractableTo| 5)
+ (|DifferentialDomain| $$)
+ (|SetCategory|) (|OpenMath|)
(|ConvertibleTo| 102)
(|ConvertibleTo| 103)
(|CombinatorialFunctionCategory|)
- (|ConvertibleTo| 104)
+ (|ConvertibleTo| 105)
(|ConvertibleTo| 106)
- (|ConvertibleTo| 5) (|CoercibleFrom| $$)
- (|CoercibleFrom| 5) (|BasicType|)
- (|CoercibleTo| 33))
+ (|ConvertibleTo| 5) (|Type|)
+ (|CoercibleFrom| $$) (|CoercibleFrom| 5)
+ (|BasicType|) (|CoercibleTo| 33))
(|makeByteWordVec2| 115
'(0 5 0 8 1 12 11 0 13 3 12 11 0 14 14
15 2 12 11 0 5 18 1 12 11 0 19 0 20 0
@@ -701,40 +704,40 @@
0 0 0 0 0 81 1 0 0 0 1 1 0 114 0 1 2
0 9 0 0 1 0 0 61 83 1 0 5 0 1 2 0 0 0
0 78 0 0 0 1 1 0 107 0 1 1 0 5 0 1 2
- 0 0 0 0 64 1 0 30 31 32 2 0 90 31 91
- 92 1 0 101 0 1 1 0 100 0 1 1 0 9 0 1
- 1 0 99 0 1 0 0 0 95 1 0 0 0 96 2 0 0
- 0 0 63 1 0 110 108 1 1 0 9 0 1 3 0 0
- 0 0 0 1 2 0 0 0 0 93 1 0 9 0 1 2 0 0
- 0 0 1 3 0 105 0 104 105 1 2 0 0 0 0
- 52 1 0 9 0 72 1 0 9 0 69 1 0 0 0 45 1
- 0 101 0 1 1 0 9 0 82 2 0 109 108 0 1
- 3 0 0 0 0 0 79 0 0 0 42 2 0 0 0 0 74
- 0 0 0 41 2 0 0 0 0 73 1 0 0 0 1 1 0
- 84 0 88 1 0 0 0 77 2 0 0 0 0 1 1 0 0
- 108 1 1 0 14 0 1 2 0 0 0 0 1 0 0 0 1
- 1 0 0 84 87 1 0 0 0 57 1 0 75 0 76 2
- 0 115 115 115 1 2 0 0 0 0 67 1 0 0
- 108 1 1 0 0 0 1 1 0 114 0 1 3 0 112 0
- 0 0 1 2 0 113 0 0 1 2 0 101 0 0 1 2 0
- 109 108 0 1 1 0 9 0 1 1 0 61 0 1 2 0
- 65 0 0 66 1 0 0 0 1 2 0 0 0 61 1 1 0
- 0 0 58 1 0 0 0 1 1 0 102 0 1 1 0 103
- 0 1 1 0 104 0 1 1 0 106 0 1 1 0 5 0
- 17 1 0 0 5 94 1 0 0 0 1 1 0 0 5 94 1
- 0 33 0 35 0 0 61 1 2 0 9 0 0 1 2 0 0
- 0 0 1 2 0 9 0 0 1 0 0 0 40 2 0 9 0 0
- 1 2 0 0 0 0 50 3 0 0 0 0 0 80 1 0 0 0
- 68 2 0 0 0 0 47 0 0 0 7 2 0 0 0 0 51
- 0 0 0 39 3 0 11 12 0 9 29 2 0 14 0 9
- 27 2 0 11 12 0 28 1 0 14 0 26 1 0 0 0
- 48 1 0 0 0 1 2 0 0 0 61 1 2 0 0 0 0
+ 0 0 0 0 64 1 0 30 91 1 2 0 90 31 91
+ 92 1 0 30 31 32 1 0 101 0 1 1 0 100 0
+ 1 1 0 9 0 1 1 0 99 0 1 0 0 0 95 1 0 0
+ 0 96 2 0 0 0 0 63 1 0 109 108 1 1 0 9
+ 0 1 3 0 0 0 0 0 1 2 0 0 0 0 93 1 0 9
+ 0 1 2 0 0 0 0 1 3 0 104 0 105 104 1 2
+ 0 0 0 0 52 1 0 9 0 72 1 0 9 0 69 1 0
+ 0 0 45 1 0 101 0 1 1 0 9 0 82 2 0 110
+ 108 0 1 3 0 0 0 0 0 79 0 0 0 42 2 0 0
+ 0 0 74 0 0 0 41 2 0 0 0 0 73 1 0 0 0
+ 1 1 0 84 0 88 1 0 0 0 77 1 0 0 108 1
+ 2 0 0 0 0 1 1 0 14 0 1 2 0 0 0 0 1 0
+ 0 0 1 1 0 0 84 87 1 0 0 0 57 1 0 75 0
+ 76 2 0 115 115 115 1 1 0 0 108 1 2 0
+ 0 0 0 67 1 0 0 0 1 1 0 114 0 1 2 0
+ 111 0 0 1 3 0 113 0 0 0 1 2 0 101 0 0
+ 1 2 0 110 108 0 1 1 0 9 0 1 1 0 61 0
+ 1 2 0 65 0 0 66 1 0 0 0 1 2 0 0 0 61
+ 1 1 0 0 0 58 1 0 0 0 1 1 0 102 0 1 1
+ 0 103 0 1 1 0 106 0 1 1 0 105 0 1 1 0
+ 5 0 17 1 0 0 5 94 1 0 0 0 1 1 0 0 5
+ 94 1 0 33 0 35 0 0 61 1 2 0 9 0 0 1 2
+ 0 0 0 0 1 2 0 9 0 0 1 0 0 0 40 2 0 9
+ 0 0 1 2 0 0 0 0 50 3 0 0 0 0 0 80 1 0
+ 0 0 68 2 0 0 0 0 47 0 0 0 7 2 0 0 0 0
+ 51 0 0 0 39 3 0 11 12 0 9 29 2 0 14 0
+ 9 27 2 0 11 12 0 28 1 0 14 0 26 1 0 0
+ 0 48 1 0 0 0 1 2 0 0 0 61 1 2 0 0 0 0
49 2 0 9 0 0 56 2 0 9 0 0 54 2 0 9 0
0 43 2 0 9 0 0 55 2 0 9 0 0 10 2 0 0
- 0 0 46 2 0 0 0 0 60 1 0 0 0 16 2 0 0
+ 0 0 46 1 0 0 0 16 2 0 0 0 0 60 2 0 0
0 0 59 2 0 0 0 61 62 2 0 0 0 84 1 2 0
- 0 0 0 37 2 0 0 5 0 38 2 0 0 61 0 1 2
- 0 0 84 0 1)))))
+ 0 5 0 38 2 0 0 0 0 37 2 0 0 5 0 38 2
+ 0 0 61 0 1 2 0 0 84 0 1)))))
'|lookupComplete|))
(MAKEPROP '|SingleInteger| 'NILADIC T)
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-09 17:07:03 +0000