[Home] [prev] [up] [next]     ((test/species.as))

24.4 Test Subset

633a⟨test Subset 633a⟩≡   (626)  633b ⊳
testSubsets(): () == check(
    Subset,
    [1,2,4,8,16,32,64,128,256,512,1024,2048,4096,8192,16384],
    [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],
    [
        1,
        2/1*x(1,1),
        x(2,1)+2/1*x(1,2),
        4/3*x(1,3)+2/1*x(1,1)*x(2,1)+2/3*x(3,1),
        2/3*x(1,4)+2/1*x(1,2)*x(2,1)+4/3*x(1,1)*x(3,1)+inv(2)*x(2,2)
          +inv(2)*x(4,1)
    ]
);

Uses Subset 136.
633b⟨test Subset 633a⟩+≡   (626)  ⊲633a
testSubsets2(): () == {
        p: CycleIndexSeries := cycleIndexSeries$Subset(Z);
        e: CycleIndexSeries := cycleIndexSeries$SetSpecies(Z);
        q := e * e;
        for n: I in 0..10 repeat {
                assertEquals(P, coefficient(p, n), coefficient(q, n));
        }
}

Uses CycleIndexSeries 330, I 47, SetSpecies 117, Subset 136, and Z 47.

[Home] [prev] [up] [next]     ((test/species.as))