Test Partition

634⟨test Partition 634⟩≡   (626)
testPartition(): () == check(
    Partition,
    [1,1,2,5,15,52,203,877,4140,21147,115975],
    [1,1,2,3,5,7,11,15,22,30,42,56,77,101,135], -- integer partitions
    [
        1,
        x(1),
        x(1,2)+x(2),
        5/6*x(1,3)+3/2*x(1)*x(2)+2/3*x(3),
        5/8*x(1,4)+7/4*x(1,2)*x(2)+7/8*x(2,2)+x(1)*x(3)+3/4*x(4),
        13/30*x(1,5)+5/3*x(1,3)*x(2)+3/2*x(1)*x(2,2)+7/6*x(1,2)*x(3)
          +5/6*x(2)*x(3)+x(1)*x(4)+2/5*x(5),
        203/720*x(1,6)+67/48*x(1,4)*x(2)+31/16*x(1,2)*x(2,2)
          +31/48*x(2,3)+10/9*x(1,3)*x(3)+5/3*x(1)*x(2)*x(3)
          +4/9*x(3,2)+9/8*x(1,2)*x(4)+9/8*x(2)*x(4)+3/5*x(1)*x(5)+2/3*x(6)
    ]
);

Uses Partition 146.

24.5 Test Partition