24.6 Test LinearOrder

635test 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.