24.3 Test SetSpecies

632test SetSpecies 632  (626)
testSetSpecies(): () == check(
    SetSpecies,
    [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],
    [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],
    [
        1,
        x(1,1),
        inv(2)*(x(2,1)+x(1,2)),
        (inv 6)*x(1,3) + (inv 2)*x(1,1)*x(2,1) + (inv 3)*x(3,1),
        inv(24)*x(1,4)+inv(4)*x(1,2)*x(2,1)+inv(3)*x(1,1)*x(3,1)
          +inv(8)*x(2,2)+inv(4)*x(4,1)
    ]
);

Uses SetSpecies 117.