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

24.2 Test CharacteristicSetSpecies

630a⟨test CharacteristicSpecies 630a⟩≡   (626)  630b ⊳
testCharacteristicSpecies1(): () == check(
    CharacteristicSpecies(1),
    [0, 1, 0, 0, 0],
    [0, 1, 0, 0, 0],
    [0, x(1), 0, 0, 0]
);

Uses CharacteristicSpecies 85.
630b⟨test CharacteristicSpecies 630a⟩+≡   (626)  ⊲630a  631 ⊳
testCharacteristicSpecies2(): () == check(
    CharacteristicSpecies(2),
    [0, 0, 1, 0, 0],
    [0, 0, 1, 0, 0],
    [0, 0, inv(2)*(x(2)+x(1,2)), 0, 0]
);

Uses CharacteristicSpecies 85.
631⟨test CharacteristicSpecies 630a⟩+≡   (626)  ⊲630b
testCharacteristicSpecies3(): () == check(
    CharacteristicSpecies(3),
    [0, 0, 0, 1, 0],
    [0, 0, 0, 1, 0],
    [0, 0, 0, (inv 6)*x(1,3) + (inv 2)*x(1)*x(2) + (inv 3)*x(3), 0]
);

Uses CharacteristicSpecies 85.

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