changeset 66997 | 17eb23e43630 |
parent 66996 | 22ca0f37f491 |
child 67033 | 2288cc39b038 |
66996:22ca0f37f491 | 66997:17eb23e43630 |
---|---|
63 |
63 |
64 fun lcms [] = 1 |
64 fun lcms [] = 1 |
65 | lcms (x :: xs) = abs (Library.foldl PolyML.IntInf.lcm (x, xs)); |
65 | lcms (x :: xs) = abs (Library.foldl PolyML.IntInf.lcm (x, xs)); |
66 |
66 |
67 end; |
67 end; |
68 |
|
69 (* FIXME workaround for Poly/ML 5.7.1 testing *) |
|
70 structure IntInf = |
|
71 struct |
|
72 open IntInf; |
|
73 fun pow (i, n) = Integer.pow n i; |
|
74 end |