tests/rtestnset.mac

   1 kill (all)$
   2 done$
   3
   4 /* Test ability of parser to recognize curly braces notation on input.
   5  */
   6
   7 {};
   8 set ();
   9
  10 {a, b, c};
  11 set (a, b, c);
  12
  13 [{b, c}, {a}];
  14 [set (b, c), set (a)];
  15
  16 [{a, b, c}, {}];
  17 [set (a, b, c), set ()];
  18
  19 {{{{a, b, c}}}};
  20 set (set (set (set (a, b, c))));
  21
  22 {a, b, 2^{c, d, e}, mogrify ({x, y, [{}]}, {[]})};
  23 set (a, b, 2^set (c, d, e), mogrify (set (x, y, [set ()]), set ([])));
  24
  25 /* 1-d output should contain curly braces.
  26  */
  27
  28 string (set ());
  29 "{}";
  30
  31 string (set (a, b, set (c, d, set (e))));
  32 "{a,b,{c,d,{e}}}";
  33
  34 /* General tests.
  35  */
  36
  37 emptyp(set());
  38 true$
  39
  40 emptyp([]);
  41 true$
  42
  43 emptyp(set(false));
  44 false$
  45
  46 emptyp([false]);
  47 false$
  48
  49 emptyp(set(true));
  50 false$
  51
  52 emptyp(set(set()));
  53 false$
  54
  55 emptyp(set([]));
  56 false$
  57
  58 emptyp(set(u,n,k));
  59 false$
  60
  61 adjoin(set(),set());
  62 set(set())$
  63
  64 adjoin(set(),set(a));
  65 set(set(),a)$
  66
  67 adjoin(a,set());
  68 set(a)$
  69
  70 adjoin(false,set());
  71 set(false)$
  72
  73 adjoin(false,set(false));
  74 set(false)$
  75
  76 adjoin(false,set(true));
  77 set(true,false)$
  78
  79 adjoin(a, set(set()));
  80 set(set(),a)$
  81
  82 adjoin(a,set(a));
  83 set(a)$
  84
  85 adjoin(set(a),set(a));
  86 set(a,set(a))$
  87
  88 adjoin(a,set(a,b));
  89 set(a,b)$
  90
  91 adjoin(a,set(b,a));
  92 set(a,b)$
  93
  94 adjoin(z,set(a,b));
  95 set(a,b,z)$
  96
  97 errcatch(adjoin(a,b));
  98 []$
  99
 100 disjoin(x,set());
 101 set()$
 102
 103 disjoin(x,set(x));
 104 set()$
 105
 106 disjoin(x,set(y));
 107 set(y)$
 108
 109 disjoin(0,set(0,1,2));
 110 set(1,2)$
 111
 112 disjoin(1,set(0,1,2));
 113 set(0,2)$
 114
 115 disjoin(2,set(0,1,2));
 116 set(0,1)$
 117
 118 set(a,a,c);
 119 set(a,c)$
 120
 121 set(a,c,a);
 122 set(a,c)$
 123
 124 set(a,a,a);
 125 set(a)$
 126
 127 set(set(a,b),set(a,b),z);
 128 set(set(a,b),z)$
 129
 130 union();
 131 set()$
 132
 133 union(set());
 134 set()$
 135
 136 union(set(),set());
 137 set()$
 138
 139 union(set(false),set());
 140 set(false)$
 141
 142 union(set(6));
 143 set(6)$
 144
 145 union(set(8,8,1932));
 146 set(8,1932)$
 147
 148 union(set(a),set(a,b),set(a,b,c));
 149 set(a,b,c)$
 150
 151 union(set(),set(a));
 152 set(a)$
 153
 154 union(set(a),set(b),set(c));
 155 set(a,b,c)$
 156
 157 union(set(set(a)),set(a))$
 158 set(a,set(a))$
 159
 160 errcatch(union(set(a),set(b),x));
 161 []$
 162
 163 union(set(a),set());
 164 set(a)$
 165
 166 union(set(),set(set()));
 167 set(set())$
 168
 169 setdifference(set(a,b),set());
 170 set(a,b)$
 171
 172 setdifference(set(a,b),set(a));
 173 set(b)$
 174
 175 setdifference(set(a,b),set(b));
 176 set(a)$
 177
 178 setdifference(set(a,b),set(x));
 179 set(a,b)$
 180
 181 setdifference(set(a,b),set());
 182 set(a,b)$
 183
 184 setdifference(set(),set(x));
 185 set()$
 186
 187 setdifference(set(a),set(x));
 188 set(a)$
 189
 190 setdifference(set(a,b),set(x));
 191 set(a,b)$
 192
 193 errcatch(setdifference(a,b));
 194 []$
 195
 196 errcatch(setdifference(set(a),b));
 197 []$
 198
 199 errcatch(setdifference(a,set(b)));
 200 []$
 201
 202 errcatch(intersection());
 203 []$
 204
 205 intersection(set(x));
 206 set(x)$
 207
 208 intersection(set(),set());
 209 set()$
 210
 211 intersection(set(set()),set());
 212 set()$
 213
 214 intersection(set(set()),set(set(),set(set())));
 215 set(set())$
 216
 217 intersection(set(a,b),set(a,b,c));
 218 set(a,b)$
 219
 220 intersection(set(a,b),set(x,y,z));
 221 set()$
 222
 223 intersection(set(a,b,c),set(a,y,x),set(z,a),set(p,q,a));
 224 set(a)$
 225
 226 errcatch(intersect());
 227 []$
 228
 229 intersect(set(x));
 230 set(x)$
 231
 232 intersect(set(),set());
 233 set()$
 234
 235 intersect(set(set()),set());
 236 set()$
 237
 238 intersect(set(set()),set(set(),set(set())));
 239 set(set())$
 240
 241 intersect(set(a,b),set(a,b,c));
 242 set(a,b)$
 243
 244 intersect(set(a,b),set(x,y,z));
 245 set()$
 246
 247 intersect(set(a,b,c),set(a,y,x),set(z,a),set(p,q,a));
 248 set(a)$
 249
 250
 251 subsetp(set(),set());
 252 true$
 253
 254 subsetp(set(),set(a));
 255 true$
 256
 257 subsetp(set(a),set())$
 258 false$
 259
 260 subsetp(set(),set(set()));
 261 true$
 262
 263 subsetp(set(set()),set(set()));
 264 true$
 265
 266 subsetp(set(a,b),set(a,b,c));
 267 true$
 268
 269 subsetp(set(a,b,c),set(a,b));
 270 false$
 271
 272 errcatch(subsetp(a,b));
 273 []$
 274
 275 errcatch(subsetp(a,set(b)));
 276 []$
 277
 278 errcatch(subsetp(set(a),b));
 279 []$
 280
 281 disjointp(set(),set());
 282 true$
 283
 284 disjointp(set(set()),set());
 285 true$
 286
 287 errcatch(disjointp(a,a+b));
 288 []$
 289
 290 errcatch(disjointp(set(a),a+b));
 291 []$
 292
 293 errcatch(disjointp(a,set(a+b)));
 294 []$
 295
 296 disjointp(set(a),set(b));
 297 true$
 298
 299 disjointp(set(b,a),set(a));
 300 false$
 301
 302 subset(set(),evenp);
 303 set()$
 304
 305 subset(set(3,5,8),evenp);
 306 set(8)$
 307
 308 errcatch(subset(a,oddp));
 309 []$
 310
 311 subset(set(a,b,4,sin(x)), evenp);
 312 set(4)$
 313
 314 symmdifference();
 315 set()$
 316
 317 symmdifference(set());
 318 set()$
 319
 320 symmdifference(set(1));
 321 set(1)$
 322
 323 symmdifference(set(1,2,3));
 324 set(1,2,3)$
 325
 326 symmdifference(set(a),set(b),set(c));
 327 set(a,b,c)$
 328
 329 symmdifference(set(a),set(a,b),set(a,b,c));
 330 set(a,c)$
 331
 332 symmdifference(set(a,b,c),set(a,b),set(a));
 333 set(a,c)$
 334
 335 symmdifference(set(a,b,c),set(),set(1,2,3));
 336 set(a,b,c,1,2,3)$
 337
 338 symmdifference(set(), set(1,2,3),set(a,b,c));
 339 set(a,b,c,1,2,3)$
 340
 341 symmdifference(set(1,2,3),set(a,b,c),set());
 342 set(a,b,c,1,2,3)$
 343
 344 symmdifference(set(), set(1,2,3),set(a,b,c),set(),set());
 345 set(a,b,c,1,2,3)$
 346
 347 symmdifference(set(),set());
 348 set()$
 349
 350 symmdifference(set(set()),set());
 351 set(set())$
 352
 353 symmdifference(set(i,s,t,j), set(i,n,t,p));
 354 set(s,n,j,p)$
 355
 356 errcatch(symmdifference(a,set(b)));
 357 []$
 358
 359 errcatch(symmdifference(set(a),b));
 360 []$
 361
 362 errcatch(symmdifference(a,set(b)));
 363 []$
 364
 365 symmdifference(set(a,b),set(a));
 366 set(b)$
 367
 368
 369 subsetp(set(),set());
 370 true$
 371
 372 subsetp(set(set()),set());
 373 false$
 374
 375 subsetp(set(),set(set()));
 376 true$
 377
 378 subsetp(set(x),set(set(x)));
 379 false$
 380
 381 subsetp(set(a,b),set(a,y));
 382 false$
 383
 384 subsetp(set(a,b),set(a,b));
 385 true$
 386
 387 subsetp(set(set(a)),set(x,y,set(a)));
 388 true$
 389
 390 subsetp(set(rat(x)),set(x));
 391 true$
 392
 393 subsetp(set(a,a,a,x),set(a,x));
 394 true$
 395
 396 adjoin(x,set());
 397 set(x)$
 398
 399
 400 set(x,rat(x),x,x,x);
 401 set(x)$
 402
 403 union(set(),set());
 404 set()$
 405
 406 union(set(),set(8));
 407 set(8)$
 408
 409 union(set(1932),set());
 410 set(1932)$
 411
 412 union(set(set(8)),set(8));
 413 set(set(8),8)$
 414
 415 is(union(set(a),set(b),set(c))= set(a,b,c));
 416 true$
 417
 418 is(union(set(set()),set(b),set()) = set(b,set()));
 419 true$
 420
 421 is(union(set(x=6),set(y=3),set(z=-8)) = set(z=-8,y=3,x=6));
 422 true$
 423
 424 setify([]);
 425 set()$
 426
 427 setify([a,b]);
 428 set(a,b)$
 429
 430 setify([[a]]);
 431 set([a])$
 432
 433 setify([set(a)]);
 434 set(set(a))$
 435
 436 setify([false]);
 437 set(false)$
 438
 439 setify([false,false]);
 440 set(false)$
 441
 442 setify([false,false,true]);
 443 set(true,false)$
 444
 445 listify(set());
 446 []$
 447
 448 listify(set(a));
 449 [a]$
 450
 451 listify(set(set(a)));
 452 [set(a)]$
 453
 454 listify(set(set()));
 455 [set()]$
 456
 457 full_listify(set());
 458 []$
 459
 460 full_listify(set(false));
 461 [false]$
 462
 463 full_listify(set(set));
 464 [set]$
 465
 466 full_listify(set(x));
 467 [x]$
 468
 469 full_listify(set(set()));
 470 [[]]$
 471
 472 full_listify(set(set(false)));
 473 [[false]]$
 474
 475 full_listify(set(a,set(b),set(set(c))));
 476 [a,[b],[[c]]]$
 477
 478 full_listify(a+b=c);
 479 a+b=c$
 480
 481 full_listify(matrix([1,2],[3,4]));
 482 matrix([1,2],[3,4])$
 483
 484 full_listify(f(set(a)));
 485 f([a])$
 486
 487 full_listify(f(set(set(a))));
 488 f([[a]])$
 489
 490 full_listify(f(a,set(a), [a+b]));
 491 f(a,[a],[a+b])$
 492
 493 full_listify(5);
 494 5$
 495
 496 full_listify(a);
 497 a$
 498
 499 full_listify(a[5]);
 500 a[5]$
 501
 502 full_listify(sin(x+7));
 503 sin(x+7)$
 504
 505 full_listify(7.8e-4);
 506 7.8e-4$
 507
 508 full_listify(5.6b2);
 509 5.6b2$
 510
 511 full_listify(set + 7);
 512 set + 7$
 513
 514 full_listify(a^b + 1/set + set^z);
 515 a^b + 1/set + set^z$
 516
 517 (simp : false,0);
 518 0$
 519
 520 listify(set());
 521 []$
 522
 523 listify(set(a,a,b));
 524 [a,a,b]$
 525
 526 full_listify(set(a,a,b));
 527 [a,a,b]$
 528
 529 full_listify(set(a,a,b,set()));
 530 [a,a,b,[]]$
 531
 532 (simp : true,0);
 533 0$
 534
 535 subst(b=a,set(a,b));
 536 set(a)$
 537
 538 subst(b=a,set());
 539 set()$
 540
 541 subst([a=x,b=x,c=x],set(a,b,c));
 542 set(x)$
 543
 544 union(set(x),set(y));
 545 set(x,y)$
 546
 547 union(set(),set());
 548 set();
 549
 550 errcatch(intersect());
 551 []$
 552
 553 intersect(set(a));
 554 set(a)$
 555
 556 intersect(set(a),set(a,b));
 557 set(a)$
 558
 559 elementp(x,set());
 560 false$
 561
 562 elementp(false, set());
 563 false$
 564
 565 elementp(false, set(false));
 566 true$
 567
 568 elementp(set(),set());
 569 false$
 570
 571 elementp(set(),set(set()));
 572 true$
 573
 574 elementp(x,set(x));
 575 true$
 576
 577 elementp(rat(x),set(x));
 578 true$
 579
 580 elementp(x,set([x]));
 581 false$
 582
 583 union(set(false),set(true));
 584 set(false,true)$
 585
 586 union(setify([true,false]), set(x));
 587 set(x,true,false)$
 588
 589 fullsetify([]);
 590 set()$
 591
 592 fullsetify([false]);
 593 set(false)$
 594
 595 fullsetify([[]]);
 596 set(set())$
 597
 598 fullsetify([a,b,c]);
 599 set(a,b,c)$
 600
 601 fullsetify([a,[b]]);
 602 set(a,set(b))$
 603
 604 fullsetify(f[0,1]);
 605 f[0,1]$
 606
 607 fullsetify(f[5](x));
 608 f[5](x)$
 609
 610 fullsetify(matrix([1,2],[3,4]));
 611 matrix([1,2],[3,4])$
 612
 613 (remfunction(f,g),0);
 614 0$
 615
 616 flatten(3);
 617 3$
 618
 619 flatten(-3);
 620 -3$
 621
 622 flatten(2/3);
 623 2/3$
 624
 625 flatten(-2/3);
 626 -2/3$
 627
 628 flatten(1.4d2);
 629 1.4d2$
 630
 631 flatten(-3.4d0);
 632 -3.4d0$
 633
 634 flatten(x);
 635 x$
 636
 637 flatten(abc);
 638 abc$
 639
 640 flatten(%pi);
 641 %pi$
 642
 643 flatten(rat(x));
 644 ''(rat(x))$
 645
 646 flatten(rat(-x));
 647 ''(rat(-x))$
 648
 649
 650 flatten(x[5]);
 651 x[5]$
 652
 653 flatten(x[8,32]);
 654 x[8,32]$
 655
 656 flatten(-x);
 657 -x$
 658
 659 flatten(rat(-x));
 660 ''(rat(-x))$
 661
 662 flatten(a+b);
 663 a+b$
 664
 665 flatten(rat(a+b));
 666 ''(rat(a+b))$
 667
 668
 669 flatten(a*b);
 670 a*b$
 671
 672 flatten([]);
 673 []$
 674
 675 flatten([[]]);
 676 []$
 677
 678 flatten([x]);
 679 [x]$
 680
 681 flatten([[x]]);
 682 [x]$
 683
 684 flatten(f(g(f(f(x)))));
 685 f(g(f(f(x))))$
 686
 687 flatten(f(f(g(f(x)))));
 688 f(g(f(x)))$
 689
 690 /* Examples from Macsyma 422 */
 691
 692 flatten([a,b,[c,[d]],e,[[f],g,h]]);
 693 [a,b,c,d,e,f,g,h]$
 694
 695 flatten([a,b([c]),[d]]);
 696 [a,b([c]),d]$
 697
 698 flatten(f(f(a,b), f(c,d)));
 699 f(a,b,c,d)$
 700
 701 flatten(f[1](f[1](a,b), f[1](c,d)));
 702 f[1](a,b,c,d)$
 703
 704 elementp(false,set());
 705 false$
 706
 707 elementp(false,set(1));
 708 false$
 709
 710 elementp(false,set(false));
 711 true$
 712
 713 elementp(0,set());
 714 false$
 715
 716 elementp(1,set(1));
 717 true$
 718
 719 elementp(0,set(1));
 720 false$
 721
 722 elementp(2,set(1));
 723 false$
 724
 725 elementp(1,set(0,2));
 726 false$
 727
 728 adjoin(false,set());
 729 set(false)$
 730
 731 adjoin(false,set(1));
 732 set(false,1)$
 733
 734 adjoin(false,set(false));
 735 set(false)$
 736
 737 adjoin(0,set());
 738 set(0)$
 739
 740 adjoin(1,set(1));
 741 set(1)$
 742
 743 adjoin(0,set(1));
 744 set(1,0)$
 745
 746 adjoin(2,set(1));
 747 set(2,1)$
 748
 749 adjoin(1,set(0,2));
 750 set(0,1,2)$
 751
 752 cardinality(set());
 753 0$
 754
 755 cardinality(set([]));
 756 1$
 757
 758 cardinality(set(8,8,1932));
 759 2$
 760
 761 errcatch(cardinality(x+y));
 762 []$
 763
 764 setp([]);
 765 false$
 766
 767 setp(false);
 768 false$
 769
 770 setp(true);
 771 false$
 772
 773 setp(a+b);
 774 false$
 775
 776 setp([x]);
 777 false$
 778
 779 setp(set());
 780 true$
 781
 782 setp(set(set(a+b=c)));
 783 true$
 784
 785 setp(rat(x));
 786 false$
 787
 788 setp(1.5b34);
 789 false$
 790
 791 errcatch(setp());
 792 []$
 793
 794 listify(adjoin(-1,set(2,4,6)));
 795 [-1,2,4,6]$
 796
 797 listify(adjoin(2,set(2,4,6)));
 798 [2,4,6]$
 799
 800 listify(adjoin(3,set(2,4,6)));
 801 [2,3,4,6]$
 802
 803 listify(adjoin(6,set(2,4,6)));
 804 [2,4,6]$
 805
 806 listify(adjoin(7,set(2,4,6)));
 807 [2,4,6,7]$
 808
 809 permutations(set());
 810 set([])$
 811
 812 permutations([]);
 813 set([])$
 814
 815 permutations([a]);
 816 set([a])$
 817
 818 permutations([a,a]);
 819 set([a,a])$
 820
 821 (s : listify(permutations([0,1,2,3,4])),0);
 822 0$
 823
 824 is(s = sort(s));
 825 true$
 826
 827 (s : listify(permutations([a,b,b,a])),0);
 828 0$
 829
 830 is(s = sort(s));
 831 true$
 832
 833 (q : [1,2,3,4,5],0);
 834 0$
 835
 836 (s : permutations(q),0);
 837 0$
 838
 839 is(cardinality(s) = length(q)!);
 840 true$
 841
 842 elementp([5,3,2,1,4],s);
 843 true$
 844
 845 elementp([5,3,2,1,0],s);
 846 false$
 847
 848 (p : map(setify,s),0);
 849 0$
 850
 851 is(p = set(setify(q)));
 852 true$
 853
 854 (remvalue(s,p),0);
 855 0$
 856
 857 powerset(set());
 858 set(set())$
 859
 860 powerset(set(x));
 861 set(set(),set(x))$
 862
 863 powerset(set(x,y));
 864 set(set(),set(x),set(y),set(x,y))$
 865
 866 errcatch(powerset(a+b=c));
 867 []$
 868
 869 errcatch(powerset(rat(a)));
 870 []$
 871
 872 powerset(set(),0);
 873 set(set())$
 874
 875 powerset(set(),1);
 876 set()$
 877
 878 powerset(set(1),2);
 879 set()$
 880
 881 powerset(set(false));
 882 set(set(),set(false))$
 883
 884 powerset(set(a+b=c),1);
 885 set(set(a+b=c))$
 886
 887 powerset(set(1,2,3),2);
 888 set(set(1,2),set(1,3),set(2,3))$
 889
 890 errcatch(powerset(a+b=c));
 891 []$
 892
 893 is(subset(powerset(set(a,b,c,d,e)),lambda([x],is(cardinality(x)=3))) = powerset(set(a,b,c,d,e),3));
 894 true$
 895
 896 is(subset(powerset(set(a,b,c,d,e)),lambda([x],is(cardinality(x)=5))) =
 897         powerset(set(a,b,c,d,e),5));
 898 true$
 899
 900 is(subset(powerset(set(a,b,c,d,e)),lambda([x],is(cardinality(x)=7))) =
 901 powerset(set(a,b,c,d,e),7));
 902 true$
 903
 904 extremal_subset(set(),lambda([x],x^2), max);
 905 set()$
 906
 907 extremal_subset(set(-1,0,1),lambda([x],x^2), max);
 908 set(-1,1)$
 909
 910 extremal_subset(set(1,sqrt(2),3,%pi),log, max);
 911 set(%pi)$
 912
 913 /* quote exp because some other tests assign a value to exp,
 914    and kill refuses to kill the assigned value ... (sigh)
 915  */
 916 extremal_subset(set(sqrt(2),sqrt(3),sqrt(5)), 'exp, max);
 917 set(sqrt(5))$
 918
 919 extremal_subset(set(1+%i,sqrt(2),1-%i),abs, max);
 920 set(1+%i,sqrt(2),1-%i)$
 921
 922 extremal_subset(set(a,a+b,1.4b0,sqrt(28)),lambda([x],if atom(x) then 0 else 1), max);
 923 set(a+b,sqrt(28))$
 924
 925 /* Bug #3410: extremal_subset gives bogus result with undefined predicate */
 926 errcatch(extremal_subset({a, b, c}, abs, max));
 927 []$
 928
 929 cartesian_product();
 930 {[]};
 931
 932 cartesian_product(set());
 933 set()$
 934
 935 cartesian_product(set(a));
 936 set([a])$
 937
 938 cartesian_product(set(),set(),set());
 939 set()$
 940
 941 cartesian_product(set(a),set(b));
 942 set([a,b])$
 943
 944 cartesian_product(set(u,n,k),set());
 945 set()$
 946
 947 cartesian_product(set(), set(u,n,k));
 948 set()$
 949
 950 cartesian_product(set(u,n,k),set(1));
 951 set([u,1],[n,1],[k,1])$
 952
 953 cartesian_product(set(a,b),set(1,2));
 954 set([a,1],[a,2],[b,1],[b,2])$
 955
 956 cartesian_product_list();
 957 [[]];
 958
 959 cartesian_product_list([]);
 960 []$
 961
 962 cartesian_product_list([a]);
 963 [[a]]$
 964
 965 cartesian_product_list([], [], []);
 966 [];
 967
 968 cartesian_product_list([a], [b]);
 969 [[a, b]];
 970
 971 cartesian_product_list([u,n,k], []);
 972 [];
 973
 974 cartesian_product_list([], [u, n, k]);
 975 [];
 976
 977 cartesian_product_list([u,n,k], [1]);
 978 [[u,1],[n,1],[k,1]];
 979
 980 cartesian_product_list([a, b], [1, 2]);
 981 [[a,1],[a,2],[b,1],[b,2]]$
 982
 983 cartesian_product ({11, 22, 33, 11, 11, 22}, {}, {a, a, b, b});
 984 {};
 985
 986 cartesian_product_list([11, 22, 33, 11, 11, 22], [], [a, a, b, b]);
 987 [];
 988
 989 cartesian_product ({11, 22, 33, 11, 11, 22}, {u}, {a, a, b, b});
 990 {[11, u, a], [11, u, b],
 991  [22, u, a], [22, u, b],
 992  [33, u, a], [33, u, b]};
 993
 994 cartesian_product_list([11, 22, 33, 11, 11, 22], [u], [a, a, b, b]);
 995 [[11, u, a], [11, u, a], [11, u, b], [11, u, b],
 996  [22, u, a], [22, u, a], [22, u, b], [22, u, b],
 997  [33, u, a], [33, u, a], [33, u, b], [33, u, b],
 998  [11, u, a], [11, u, a], [11, u, b], [11, u, b],
 999  [11, u, a], [11, u, a], [11, u, b], [11, u, b],
1000  [22, u, a], [22, u, a], [22, u, b], [22, u, b]];
1001
1002 cartesian_product ({11, 22, 33, 11, 11, 22}, {u, u, n, u, k, u}, {a, a, b, b});
1003 {[11, u, a], [11, u, b], [11, n, a], [11, n, b], [11, k, a], [11, k, b],
1004  [22, u, a], [22, u, b], [22, n, a], [22, n, b], [22, k, a], [22, k, b],
1005  [33, u, a], [33, u, b], [33, n, a], [33, n, b], [33, k, a], [33, k, b]};
1006
1007 cartesian_product_list([11, 22, 33, 11, 11, 22], [u, u, n, u, k, u], [a, a, b, b]);
1008 [[11, u, a], [11, u, a], [11, u, b], [11, u, b],
1009  [11, u, a], [11, u, a], [11, u, b], [11, u, b],
1010  [11, n, a], [11, n, a], [11, n, b], [11, n, b],
1011  [11, u, a], [11, u, a], [11, u, b], [11, u, b],
1012  [11, k, a], [11, k, a], [11, k, b], [11, k, b],
1013  [11, u, a], [11, u, a], [11, u, b], [11, u, b],
1014  [22, u, a], [22, u, a], [22, u, b], [22, u, b],
1015  [22, u, a], [22, u, a], [22, u, b], [22, u, b],
1016  [22, n, a], [22, n, a], [22, n, b], [22, n, b],
1017  [22, u, a], [22, u, a], [22, u, b], [22, u, b],
1018  [22, k, a], [22, k, a], [22, k, b], [22, k, b],
1019  [22, u, a], [22, u, a], [22, u, b], [22, u, b],
1020  [33, u, a], [33, u, a], [33, u, b], [33, u, b],
1021  [33, u, a], [33, u, a], [33, u, b], [33, u, b],
1022  [33, n, a], [33, n, a], [33, n, b], [33, n, b],
1023  [33, u, a], [33, u, a], [33, u, b], [33, u, b],
1024  [33, k, a], [33, k, a], [33, k, b], [33, k, b],
1025  [33, u, a], [33, u, a], [33, u, b], [33, u, b],
1026  [11, u, a], [11, u, a], [11, u, b], [11, u, b],
1027  [11, u, a], [11, u, a], [11, u, b], [11, u, b],
1028  [11, n, a], [11, n, a], [11, n, b], [11, n, b],
1029  [11, u, a], [11, u, a], [11, u, b], [11, u, b],
1030  [11, k, a], [11, k, a], [11, k, b], [11, k, b],
1031  [11, u, a], [11, u, a], [11, u, b], [11, u, b],
1032  [11, u, a], [11, u, a], [11, u, b], [11, u, b],
1033  [11, u, a], [11, u, a], [11, u, b], [11, u, b],
1034  [11, n, a], [11, n, a], [11, n, b], [11, n, b],
1035  [11, u, a], [11, u, a], [11, u, b], [11, u, b],
1036  [11, k, a], [11, k, a], [11, k, b], [11, k, b],
1037  [11, u, a], [11, u, a], [11, u, b], [11, u, b],
1038  [22, u, a], [22, u, a], [22, u, b], [22, u, b],
1039  [22, u, a], [22, u, a], [22, u, b], [22, u, b],
1040  [22, n, a], [22, n, a], [22, n, b], [22, n, b],
1041  [22, u, a], [22, u, a], [22, u, b], [22, u, b],
1042  [22, k, a], [22, k, a], [22, k, b], [22, k, b],
1043  [22, u, a], [22, u, a], [22, u, b], [22, u, b]];
1044
1045 equiv_classes(set(),"=");
1046 set()$
1047
1048 equiv_classes(set(),"#");
1049 set()$
1050
1051 equiv_classes(set(a,b,c),"=");
1052 set(set(a),set(b),set(c))$
1053
1054 equiv_classes(set(a,b,c),"#");
1055 set(set(a,b,c))$
1056
1057 equiv_classes(set(1,2,3,4,5),lambda([x,y],remainder(x-y,2)=0));
1058 set(set(1,3,5),set(2,4))$
1059
1060 partition_set(set(),evenp);
1061 [set(),set()]$
1062
1063 partition_set(set(9),evenp);
1064 [set(9), set()]$
1065
1066 partition_set(set(2,4),evenp);
1067 [set(), set(2,4)]$
1068
1069 partition_set(set(a,b,c),lambda([x],false));
1070 [set(a,b,c), set()]$
1071
1072 partition_set(set(a,b,c),lambda([x],true));
1073 [set(),set(a,b,c)]$
1074
1075 partition_set(set(a,b,c),lambda([x],orderlessp(x,b)));
1076 [set(b,c), set(a)]$
1077
1078 set_partitions(set());
1079 set(set())$
1080
1081 set_partitions(set(),1);
1082 set()$
1083
1084 set_partitions(set(),2);
1085 set()$
1086
1087 set_partitions(set(u,n,k),1);
1088 set(set(set(u,n,k)))$
1089
1090 set_partitions(set(u,n,k),2);
1091 set(set(set(u),set(n,k)),set(set(n),set(u,k)), set(set(k),set(u,n)))$
1092
1093 makelist(stirling1(i,0),i,0,5);
1094 [1,0,0,0,0,0]$
1095
1096 makelist(stirling1(i,i),i,0,5);
1097 [1,1,1,1,1,1]$
1098
1099 factor(sum(stirling1(3,i)*x^i,i,0,3));
1100 x*(x-1)*(x-2)$
1101
1102 makelist(stirling1(i,1) - (-1)^(i-1)*(i-1)!,i,1,5);
1103 [0,0,0,0,0]$
1104
1105 sum(stirling1(8,k),k,1,8);  /* A & S 24.1.3 */
1106 0$
1107
1108 sum(stirling1(3,k),k,1,3);
1109 0$
1110
1111 sum(stirling1(5,k)*(-1)^(5-k),k,0,5);
1112 5!$
1113
1114 sum(stirling1(2,k)*(-1)^(2-k),k,0,2);
1115 2!$
1116
1117 (declare([a,b],integer),0);
1118 0$
1119
1120 (assume(a>0,b>0),0);
1121 0$
1122
1123 stirling1(b,a);
1124 stirling1(b,a)$
1125
1126 stirling2(b,a);
1127 stirling2(b,a)$
1128
1129 (forget(a>0,b>0),0);
1130 0$
1131
1132 (remove(a,integer), remove(b,integer),0);
1133 0$
1134
1135 stirling2(0,0);
1136 1$
1137
1138 stirling2(1,0);
1139 0$
1140
1141 stirling2(0,1);
1142 0$
1143
1144 stirling2(10,10);
1145 1$
1146
1147 stirling2(10,11);
1148 0$
1149
1150 stirling2(10,5) - 5 * stirling2(9,5) - stirling2(9,4);
1151 0$
1152
1153 sum((-1)^(12-m) * m! * stirling2(12,m),m,0,12);
1154 1$
1155
1156 /* test stirling2 simplification rules */
1157
1158 (remvalue(n),0);
1159 0$
1160
1161 (e : stirling2(n,0),0);
1162 0$
1163
1164 makelist(subst(n=i,e) - stirling2(i,0),i,-5,5);
1165 ''(makelist(0,i,-5,5))$
1166
1167 (e : stirling2(n,1),0);
1168 0$
1169
1170 makelist(subst(n=i,e) - stirling2(i,1),i,-5,5);
1171 ''(makelist(0,i,-5,5))$
1172
1173 (e : stirling2(n,2),0);
1174 0$
1175
1176 makelist(subst(n=i,e) - stirling2(i,2),i,-5,5);
1177 ''(makelist(0,i,-5,5))$
1178
1179 (e : stirling2(n,n),0);
1180 0$
1181
1182 makelist(subst(n=i,e) - stirling2(i,i),i,-5,5);
1183 ''(makelist(0,i,-5,5))$
1184
1185 (assume(n >=0), declare(n,integer), declare(k,integer), declare(kk,integer), assume(k >=0),0);
1186 0$
1187
1188 stirling1(n,n);
1189 1$
1190
1191 stirling1(kk,kk);
1192 stirling1(kk,kk)$
1193
1194 stirling1(1,kk);
1195 stirling1(1,kk)$
1196
1197 stirling1(1,k);
1198 kron_delta(1,k)$
1199
1200 stirling1(n,0);
1201 stirling1(n,0)$
1202
1203 stirling1(n+1,0);
1204 0$
1205
1206 stirling1(n,1);
1207 stirling1(n,1)$
1208
1209 stirling1(n+1,1);
1210 (-1)^(n) * (n)!$
1211
1212 stirling1(n,n-1);
1213 stirling1(n,n-1)$
1214
1215 stirling1(n+1,n);
1216 -binomial(n+1,2)$
1217
1218 stirling2(n,n);
1219 1$
1220
1221 stirling2(n,0);
1222 stirling2(n,0)$
1223
1224 stirling2(n+1,0);
1225 0$
1226
1227 stirling2(n,1);
1228 stirling2(n,1)$
1229
1230 stirling2(n+1,1);
1231 1$
1232
1233 stirling2(n,2);
1234 stirling2(n,2)$
1235
1236 stirling2(n+1,2);
1237 2^n -1$
1238
1239 stirling2(n,n-1);
1240 stirling2(n,n-1)$
1241
1242 stirling2(n+1,n);
1243 binomial(n+1,2)$
1244
1245 (forget(n>=0), forget(k >=0), remove(n,integer),remove(k,integer),remove(kk,integer),0);
1246 0$
1247
1248 (remvalue(e),0);
1249 0$
1250
1251 is(cardinality(set_partitions(set())) = belln(0));
1252 true$
1253
1254 is(cardinality(set_partitions(set(1))) = belln(1));
1255 true$
1256
1257 is(cardinality(set_partitions(set(1,2))) = belln(2));
1258 true$
1259
1260 is(cardinality(set_partitions(set(1,2,3))) = belln(3));
1261 true$
1262
1263 belln([5,6]);
1264 [belln(5),belln(6)]$
1265
1266 integer_partitions(0);
1267 set([])$
1268
1269 integer_partitions(1);
1270 set([1])$
1271
1272 integer_partitions(2);
1273 set([1,1],[2])$
1274
1275 is(cardinality(integer_partitions(25)) = 1958)$
1276 true;
1277
1278 map(lambda([x], apply("+",x)), integer_partitions(25));
1279 set(25)$
1280
1281 integer_partitions(2,1);
1282 set([2])$
1283
1284 integer_partitions(2,2);
1285 set([1,1],[2,0])$
1286
1287 integer_partitions(5,3);
1288 set([5,0,0],[4,1,0],[3,1,1],[3,2,0],[2,2,1])$
1289
1290 multinomial_coeff(0);
1291 1$
1292
1293 multinomial_coeff(1);
1294 1$
1295
1296 multinomial_coeff(5);
1297 1$
1298
1299 multinomial_coeff(2,3,4);
1300 (2+3+4)! / (2! * 3! * 4!)$
1301
1302 factor(sum(multinomial_coeff(i,5-i) * x^(5-i) * y^i,i,0,5));
1303 (x+y)^5$
1304
1305 diff((x+y+z)^9,x,3,y,6);
1306 ''(multinomial_coeff(3,6,0) * 3! * 6!)$
1307
1308 kron_delta(false,false);
1309 1$
1310
1311 /* need to have true and false sysconsts (not standard) for this to work
1312 kron_delta(false,true);
1313 0$
1314 */
1315
1316 kron_delta(true,true);
1317 1$
1318
1319 kron_delta(0,0);
1320 1$
1321
1322 kron_delta(a+b,a+b);
1323 1$
1324
1325 kron_delta(rat(x), x);
1326 1$
1327
1328 kron_delta(x,y) - kron_delta(y,x);
1329 0$
1330
1331 kron_delta(x,y) / 42 - kron_delta(y,x) / 42;
1332 0$
1333
1334 kron_delta(%i*x,%i*y) - kron_delta(%i*y,%i*x);
1335 0$
1336
1337 kron_delta(0.42,0.42);
1338 1$
1339
1340 kron_delta(0.42, 42/100);
1341 kron_delta(0.42, 42/100)$
1342
1343 kron_delta(2,3);
1344 0$
1345
1346 kron_delta(x,x);
1347 1$
1348
1349 kron_delta(x,x-1);
1350 0$
1351
1352 kron_delta(%i*x,%i*y);
1353 kron_delta(%i*x,%i*y)$
1354
1355 kron_delta(%i*x,%i*x);
1356 1$
1357
1358 ratsimp(kron_delta(%i*(x+1)^2,%i*(x^2+2*x+1)));
1359 1$
1360
1361 (assume(a > b),0);
1362 0$
1363
1364 kron_delta(a,b);
1365 0$
1366
1367 kron_delta(%i*a,%i*b);
1368 0$
1369
1370 (forget(a > b),0);
1371 0$
1372
1373 (assume(a < 1, b >= 3/2),0);
1374 0$
1375
1376 kron_delta(a,b);
1377 0$
1378
1379 kron_delta(%i,%i);
1380 1$
1381
1382 kron_delta(5+%i,5+%i);
1383 1$
1384
1385 kron_delta(5-%i,5+%i);
1386 0$
1387
1388 kron_delta(3 + %i/7,1 + %i/7);
1389 0$
1390
1391 kron_delta(1 + %i/5,1 + %i/7);
1392 0$
1393
1394 /* new kronecker delta tests for multivariable version */
1395
1396 (map('forget, facts()),0);
1397 0$
1398
1399 errcatch(kron_delta(x));
1400 []$
1401
1402 kron_delta();
1403 1$
1404
1405 kron_delta(sqrt(2), 1/sqrt(2), %pi);
1406 0$
1407
1408 kron_delta(a,b,a);
1409 kron_delta(a,b)$
1410
1411 subst(a=c, kron_delta(a,b,rat(c)));
1412 kron_delta(c,b)$
1413
1414 kron_delta(a,b)-kron_delta(-a,-b);
1415 0$
1416
1417 kron_delta(a,-b)-kron_delta(-a,b);
1418 0$
1419
1420 kron_delta(a,b,-c)-kron_delta(-a,-b,c);
1421 0$
1422
1423 kron_delta(-a,b,-c)-kron_delta(a,-b,c);
1424 0$
1425
1426 conjugate(kron_delta(a+%i,b,c));
1427 kron_delta(a+%i,b,c)$
1428
1429 cabs(kron_delta(a,b,23 +%i));
1430 kron_delta(a,b,23 + %i)$
1431
1432 abs(kron_delta(l,s,s));
1433 kron_delta(l,s)$
1434
1435 sign(kron_delta(u,n,k,1));
1436 pz$
1437
1438 featurep(kron_delta(a+%i, cos(x - %i), 42/19),'integer);
1439 true$
1440
1441 /* end new kronecker delta tests */
1442
1443 every(f,[]);
1444 true$
1445
1446 every(f,set());
1447 true$
1448
1449 every(evenp,set());
1450 true$
1451
1452 every(evenp,set(2));
1453 true$
1454
1455 every(evenp,set(%pi));
1456 false$
1457
1458 every(evenp,set(2,4,6,%pi));
1459 false$
1460
1461 every(evenp,set(1,2,4,6));
1462 false$
1463
1464 every("=",[],[]);
1465 true$
1466
1467 every("=",[1,2],[2,1]);
1468 false$
1469
1470 every("#",[a,b],[b,a]);
1471 true$
1472
1473 some(f,[]);
1474 false$
1475
1476 some(f,set());
1477 false$
1478
1479 some(oddp,set());
1480 false$
1481
1482 some(oddp,set(%i));
1483 false$
1484
1485 some(oddp,set(%i,1));
1486 true$
1487
1488 some(oddp,[1,%i]);
1489 true$
1490
1491 some("<",[a,1],[4,2]);
1492 true$
1493
1494 some("=",[a,4],[a,5]);
1495 true$
1496
1497 some("<=",[5,a],[6,a]);
1498 true$
1499
1500 rreduce("+",[],0);
1501 0$
1502
1503 rreduce("+",[a],0);
1504 a$
1505
1506 rreduce("+",[a,b]);
1507 a+b$
1508
1509 rreduce(adjoin, [1,2,3,4], set());
1510 set(1,2,3,4)$
1511
1512 rreduce(lambda([x,y],x),[a,b,c,d]);
1513 a$
1514
1515 rreduce(lambda([x,y],y),[a,b,c,d]);
1516 d$
1517
1518 rreduce(concat,["a","m","h"],"");
1519 "amh"$
1520
1521 flatten(rreduce(f,[1,2,3,4]));
1522 f(1,2,3,4)$
1523
1524 lreduce("+",[],0);
1525 0$
1526
1527 lreduce("+",[a],0);
1528 a$
1529
1530 lreduce("+",[a,b]);
1531 a+b$
1532
1533 lreduce(lambda([x,y],x),[a,b,c,d]);
1534 a$
1535
1536 lreduce(lambda([x,y],y),[a,b,c,d]);
1537 d$
1538
1539 lreduce(concat,["a","m","h"],"");
1540 "amh"$
1541
1542 flatten(lreduce(f,[1,2,3,4]));
1543 f(1,2,3,4)$
1544
1545 xreduce('max,[]);
1546 minf$
1547
1548 xreduce('min,[]);
1549 inf$
1550
1551 xreduce('max,[0,1]);
1552 1$
1553
1554 xreduce('min,[0,1]);
1555 0$
1556
1557 xreduce('max,[],x);
1558 x$
1559
1560 xreduce('min,[],x);
1561 x$
1562
1563 xreduce("and",[]);
1564 true$
1565
1566 xreduce("or",[]);
1567 false$
1568
1569 xreduce("and",[true]);
1570 true$
1571
1572 xreduce("and",[false]);
1573 false$
1574
1575 xreduce("and",[true,true],false)$
1576 false$
1577
1578 xreduce("or",[true]);
1579 true$
1580
1581 xreduce("or",[false]);
1582 false$
1583
1584 xreduce("or",[true,true],false)$
1585 true$
1586
1587 xreduce("and",[]);
1588 true$
1589
1590 xreduce("or",[]);
1591 false$
1592
1593 xreduce("and",[true]);
1594 true$
1595
1596 xreduce("and",[false]);
1597 false$
1598
1599 xreduce("and",[true,true],false)$
1600 false$
1601
1602 xreduce("or",[true]);
1603 true$
1604
1605 xreduce("or",[false]);
1606 false$
1607
1608 xreduce("or",[true,true],false)$
1609 true$
1610
1611 (nary ("@@@"), declare ("@@@", nary), "@@@" ([L]) := apply (FOO, L), kill (FOO));
1612 done;
1613
1614 xreduce ("@@@", [a, e, c, b, d]);
1615 FOO (a, e, c, b, d);
1616
1617 xreduce ("@@@", {a, e, c, b, d});
1618 FOO (a, b, c, d, e);
1619
1620 (infix ("%%%"), "%%%" (aa, bb) := BAR (aa, bb), kill (BAR));
1621 done;
1622
1623 xreduce ("%%%", [a, e, c, b, d]);
1624 BAR (BAR (BAR (BAR (a, e), c), b), d);
1625
1626 xreduce ("%%%", {a, e, c, b, d});
1627 BAR (BAR (BAR (BAR (a, b), c), d), e);
1628
1629 makeset(i,[i],set());
1630 set()$
1631
1632 makeset(i,[i],[[1]]);
1633 set(1)$
1634
1635 makeset(i,[i],[[true],[false]]);
1636 set(true,false)$
1637
1638 makeset(i/j,[i,j],[[2,6],[6,28]]);
1639 set(2/6,6/28)$
1640
1641 num_partitions(0);
1642 1$
1643
1644 every(is, makelist(num_partitions(i)=cardinality(integer_partitions(i)),i,1,15));
1645 true$
1646
1647 /* SF bug #2975: "number of distinct partitions gives wroing result" */
1648
1649 every ("=",
1650        makelist (num_partitions (n, 'list), n, 1, 10),
1651        makelist (makelist (num_partitions (m), m, 1, n), n, 1, 10));
1652 true;
1653
1654 every ("=",
1655        makelist (num_distinct_partitions (n, 'list), n, 1, 10),
1656        makelist (makelist (num_distinct_partitions (m), m, 1, n), n, 1, 10));
1657 true;
1658
1659 (distinctp(l) := is(cardinality(setify(l)) = length(l)),0);
1660 0$
1661
1662 (chk(n) := cardinality(subset(integer_partitions(n),distinctp)), 0);
1663 0$
1664
1665 every(is, makelist(num_distinct_partitions(i)=chk(i),i,0,10));
1666 true$
1667
1668 (remfunction(chk,distinctp),0);
1669 0$
1670
1671 divisors(1);
1672 set(1)$
1673
1674 divisors(2);
1675 set(1,2)$
1676
1677 divisors(28);
1678 set(1,2,4,7,14,28)$
1679
1680 divisors([28]);
1681 [set(1,2,4,7,14,28)]$
1682
1683 divisors(a=b);
1684 divisors(a) = divisors(b)$
1685
1686 every(is, makelist(divsum(i) = xreduce("+",divisors(i)),i,1,100));
1687 true$
1688
1689 moebius(1);
1690 1$
1691
1692 moebius(2);
1693 -1$
1694
1695 moebius(3);
1696 -1$
1697
1698 moebius([3,4]);
1699 [moebius(3),moebius(4)]$
1700
1701 /* See A & S 24.3.1 */
1702
1703 every(is, makelist(xreduce("+", map(moebius, divisors(i))) = 0,i,2,100));
1704 true$
1705
1706 (rprimep(i,j) := block([ ],
1707   if integerp(i) and integerp(j) then if gcd(i,j) > 1 then 0 else 1
1708   else funmake(rprimep,[i,j])),0);
1709 0$
1710
1711 every(is, makeset(moebius(i*j) = moebius(i) * moebius(j) * rprimep(i,j),[i,j],
1712 cartesian_product(setify(makelist(i,i,1,15)),setify(makelist(j,j,1,15)))));
1713 true$
1714
1715 /* Tests for random_permutation */
1716
1717 (set_random_state (make_random_state (1234)), 0);
1718 0;
1719
1720 (L : '[a + 1, b - 2, c * d, %pi, %e], S : setify (L), 0);
1721 0;
1722
1723 [random_permutation (L), random_permutation (L), random_permutation (L)];
1724 '[[a + 1, %e, c*d, b - 2, %pi], [b - 2, a + 1, c*d, %e, %pi], [a + 1, c*d, b - 2, %e, %pi]];
1725
1726 [random_permutation (S), random_permutation (S), random_permutation (S)];
1727 '[[c*d, b - 2, a + 1, %pi, %e], [%pi, %e, a + 1, b - 2, c*d], [b - 2, %pi, a + 1, %e, c*d]];
1728
1729 apply ("+", makelist (if random_permutation ([1, 2, 3, 4]) = [4,2,1,3] then 1 else 0, i, 1, 1000));
1730 41;
1731
1732 /* Tests for sublist_indices */
1733
1734 sublist_indices ([], lambda([x], x='b));
1735 [];
1736
1737 errcatch (sublist_indices (1, lambda([x], x='b)));
1738 [];
1739
1740 sublist_indices ('[a, b, b, c, 1, 2, b, 3, b], lambda ([x], x='b));
1741 [2, 3, 7, 9];
1742
1743 sublist_indices ('[a, b, b, c, 1, 2, b, 3, b], lambda ([x], integerp (x)));
1744 [5, 6, 8];
1745
1746 sublist_indices ('[a, b, b, c, 1, 2, b, 3, b], symbolp);
1747 [1, 2, 3, 4, 7, 9];
1748
1749 sublist_indices ([true, false, false, true, true], identity);
1750 [1, 4, 5];
1751
1752 sublist_indices ([1 > 0, 1 < 0, 2 < 1, 2 > 1, 2 > 0], identity);
1753 [1, 4, 5];
1754
1755 (kill (P), P(x) := ordergreatp (x, 'm), sublist_indices ('[a, %pi, x, z, h, y, %e, 1, s], P));
1756 [3, 4, 6, 9];
1757
1758 sublist_indices ('[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], lambda ([x], evenp(x) and primep(x)));
1759 [3];
1760
1761 /* Tests for sublist (not part of nset but related functionality) */
1762
1763 sublist ([], lambda([x], x='b));
1764 [];
1765
1766 errcatch (sublist (1, lambda([x], x='b)));
1767 [];
1768
1769 sublist ('[a, b, b, c, 1, 2, b, 3, b], lambda ([x], x='b));
1770 [b, b, b, b];
1771
1772 sublist ('[a, b, b, c, 1, 2, b, 3, b], lambda ([x], integerp (x)));
1773 [1, 2, 3];
1774
1775 sublist ('[a, b, b, c, 1, 2, b, 3, b], symbolp);
1776 [a, b, b, c, b, b];
1777
1778 sublist ([true, false, false, true, true], identity);
1779 [true, true, true];
1780
1781 sublist ([1 > 0, 1 < 0, 2 < 1, 2 > 1, 2 > 0], identity);
1782 [1 > 0, 2 > 1, 2 > 0];
1783
1784 (kill (P), P(x) := ordergreatp (x, 'm), sublist ('[a, %pi, x, z, h, y, %e, 1, s], P));
1785 [x, z, y, s];
1786
1787 sublist ('[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], lambda ([x], evenp(x) and primep(x)));
1788 [2];
1789
1790 /* from mailing list 2009-08-27 "what happened to 'ev' ?" */
1791
1792 block ([l1: [[2,3], [3,4], [4,5]]], local(s_list),
1793   s_list(list, option) := sublist(list, lambda([x], ev(option))),
1794   s_list(l1, x[2]<4));
1795 [[2, 3]];
1796
1797 block ([l1: [[2,3], [3,4], [4,5]]], local(s_list_indices),
1798   s_list_indices(list, option) := sublist_indices(list, lambda([x], ev(option))),
1799   s_list_indices(l1, x[2]<4));
1800 [1];
1801
1802 /* SF bug 2698078  set_partitions does not produce simplified sets */
1803 (l : set_partitions({1,2,3,4},3),0);
1804 0$
1805
1806 is(l = expand(l));
1807 true$
1808
1809 map(lambda([s], xreduce('union,s)), l);
1810 set(set(1,2,3,4))$
1811
1812 map(lambda([s], xreduce('intersection,s)), l);
1813 set(set())$
1814
1815 (l : set_partitions({1,2,3,4}),0);
1816 0$
1817
1818 is(l = expand(l));
1819 true$
1820
1821 map(lambda([s], xreduce('union,s)), l);
1822 set(set(1,2,3,4))$
1823
1824 map(lambda([s], xreduce('intersection,s)), l);
1825 set(set(), set(1,2,3,4))$
1826
1827 (l : set_partitions(set(a,b, set(c)),2),0);
1828 0$
1829
1830 is(l = expand(l));
1831 true$
1832
1833 map(lambda([s], xreduce('union,s)), l);
1834 set(set(a,b,set(c)))$
1835
1836 map(lambda([s], xreduce('intersection,s)), l);
1837 set(set())$
1838
1839 (l : set_partitions(set(a,b, set(c))),0);
1840 0$
1841
1842 is(l = expand(l));
1843 true$
1844
1845 map(lambda([s], xreduce('union,s)), l);
1846 set(set(a,b,set(c)))$
1847
1848 map(lambda([s], xreduce('intersection,s)), l);
1849 set(set(),set(a,b,set(c)))$
1850
1851 (remvalue(l),0);
1852 0$
1853
1854 in_exactly_one(set());
1855 set()$
1856
1857 in_exactly_one(set(l), set(s), set(s));
1858 set(l)$
1859
1860 in_exactly_one(set(r), set(e), set(n), set(e), set(e));
1861 set(r,n)$
1862
1863 in_exactly_one(set(m), set(a), set(x), set(i,m,a));
1864 set(i,x)$
1865
1866 in_exactly_one(set(x),set(x), set(a,b));
1867 set(a,b)$
1868
1869 /* bug reported to mailing list, is(f("x") > 0) => Lisp error
1870  * following example from Matthew Gwynne 2010-04-29, thanks Matthew!
1871  */
1872
1873 (
1874  /* F as specified in original example
1875  F : {{gv("CSup"),-gv("DiagF"),-gv("DisT"),-gv("ProgF"),-gv("SymA"),-gv("Via")},
1876     {-gv("CSup"),-gv("DiagF"),-gv("DisT"),-gv("ProgF"),-gv("SymA"),-gv("Via")},
1877     {gv("CSup"),-gv("DiagF"),-gv("DisT"),-gv("ProgF"),-gv("SymA"),-gv("Via")},
1878     {-gv("CSup"),-gv("DiagF"),gv("DisT"),-gv("ProgF"),gv("SymA"),-gv("Via")},
1879     {-gv("CSup"),gv("DiagF"),-gv("DisT"),-gv("ProgF"),gv("SymA"),gv("Via")},
1880     {gv("CSup"),gv("DiagF"),-gv("DisT"),-gv("ProgF"),gv("SymA"),gv("Via")},
1881     {gv("CSup"),gv("DiagF"),gv("DisT"),-gv("ProgF"),gv("SymA"),gv("Via")},
1882     {gv("CSup"),gv("DiagF"),gv("DisT"),-gv("ProgF"),gv("SymA"),gv("Via")},
1883     {-gv("CSup"),gv("DiagF"),-gv("DisT"),gv("ProgF"),gv("SymA"),gv("Via")},
1884     {gv("CSup"),gv("DiagF"),gv("DisT"),gv("ProgF"),gv("SymA"),gv("Via")},
1885     {gv("CSup"),gv("DiagF"),gv("DisT"),gv("ProgF"),gv("SymA"),gv("Via")}}, */
1886  /* here is a smaller (fewer variables) example */
1887  F : {{gv("CSup"),-gv("DiagF"),-gv("DisT")},
1888       {gv("CSup"),gv("DiagF"),gv("DisT")},
1889       {gv("CSup"),gv("DiagF"),gv("DisT")}},
1890  var_cs(F) := map(abs,apply(union,listify(F))),
1891  all_tass(V) :=
1892   map(setify,
1893    apply(cartesian_product,
1894      map(lambda([v],{-v,v}),listify(V)))),
1895  fullcnf2fulldnf(F) := setdifference(all_tass(var_cs(F)),F),
1896  fullcnf2fulldnf(F));
1897
1898 {{-abs(gv("CSup")),-abs(gv("DiagF")),-abs(gv("DisT"))},{-abs(gv("CSup")),-abs(gv("DiagF")),abs(gv("DisT"))},
1899  {-abs(gv("CSup")),abs(gv("DiagF")),-abs(gv("DisT"))},{-abs(gv("CSup")),abs(gv("DiagF")),abs(gv("DisT"))},
1900  {abs(gv("CSup")),-abs(gv("DiagF")),-abs(gv("DisT"))},{abs(gv("CSup")),-abs(gv("DiagF")),abs(gv("DisT"))},
1901  {abs(gv("CSup")),abs(gv("DiagF")),-abs(gv("DisT"))},{abs(gv("CSup")),abs(gv("DiagF")),abs(gv("DisT"))}}$
1902
1903 /* full_listify - ID: 3005820 */
1904 full_listify(rat(3/4));
1905 3/4$
1906
1907 /* is union nary? */
1908 xreduce('union,[]);
1909 set()$
1910
1911 /* kron_delta is scalar */
1912
1913 featurep (kron_delta, scalar);
1914 true;
1915
1916 (kill (a, b), declare ([a, b], nonscalar), 0);
1917 0;
1918
1919 (a * kron_delta (i, j)) . b, dotscrules=true;
1920 (a . b)*'kron_delta (i, j);
1921
1922 /* verify that scalar declaration is really needed */
1923 (a * kran_dalta (i, j)) . b, dotscrules=true;
1924 (a * kran_dalta (i, j)) . b;
1925
1926 /* SF bug #3049: "set should act like list" */
1927
1928 (kill (a, b, c, d, foo, bar, baz), foo : {a, b, c, d});
1929 {a, b, c, d};
1930
1931 ([a, b] : [17, 29], bar : '{a, b, c, d});
1932 {a, b, c, d};
1933
1934 is (foo = bar);
1935 true;
1936
1937 baz : {a, b, c, d};
1938 {17, 29, c, d};
1939
1940 is (baz = subst (['a = a, 'b = b], foo));
1941 true;
1942
1943 op (foo);
1944 "{";
1945
1946 op (bar);
1947 "{";
1948
1949 "{" (a, b, c, d);
1950 {17, 29, c, d};
1951
1952 /* examples listed under "Bugs" in doc/info/nset.texi -- all work as expected now */
1953
1954 {[x], [rat (x)]};
1955 {[x], [''(rat(x))]};
1956
1957 setify ([[rat(a)], [rat(b)]]);
1958 {[''(rat(a))], [''(rat(b))]};
1959
1960 orderlessp ([rat(a)], [rat(b)]);
1961 true;
1962
1963 is ([rat(a)] = [rat(a)]);
1964 true;
1965
1966 {x, rat (x)};
1967 {x, ''(rat(x))};
1968
1969 /* for the record, q, r, s example is treated in greater generality in rtest1 */
1970
1971 (kill (q, r, s), q: x^2,  r: (x + 1)^2,  s: x*(x + 2), 0);
1972 0;
1973
1974 [orderlessp (q, r), orderlessp (r, s), orderlessp (q, s)];
1975 [true, false, false];
1976
1977 kron_delta (1/sqrt(2), sqrt(2)/2);
1978 1;
1979
1980 sign (1/sqrt(2) - sqrt(2)/2);
1981 zero;
1982
1983 /* apply(op({...}), [...]) doesn't yield a (($SET) ...) expression
1984  * bug reported to mailing list 2016-10-27
1985  */
1986 (S1:{1}, S2:apply(op(S1), [2]));
1987 {2};
1988
1989 ?eq(?caar(S1), 'set);
1990 true;
1991
1992 ?eq(?caar(S2), 'set);
1993 true;
1994
1995 is (S1 = apply(op(S1), args(S1)));
1996 true;
1997