[Home]
[
prev
] [
up
] [
next
] ((test/species.as))
24.6
Test LinearOrder
635
⟨
test LinearOrder
635
⟩
≡
(
626
)
testLinearOrder():
()
==
check(
LinearOrder
,
[1,1,2,6,24,120,720,5040,40320,362880,3628800],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],
[1$
Z
,1,1,1,1,1,1,1,1,1,1,1,1,1,1]
);
Uses
LinearOrder
89
and
Z
47
.
[Home]
[
prev
] [
up
] [
next
] ((test/species.as))