[Home]
[
prev
] [
up
] [
next
] ((test/species.as))
24.3
Test SetSpecies
632
⟨
test 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
.
[Home]
[
prev
] [
up
] [
next
] ((test/species.as))