12 lines
598 B
Standard ML
12 lines
598 B
Standard ML
> threadedBigPrime [ 62478923478923409323, 69478923478923409313, 79234790234098402349,
|
|
33498023480920234793, 92834098234098023409, 31908234098234098243,
|
|
92873400002348028833, 73498200234098200239, 4349023423478999243,
|
|
13480234982340982343, 62478923478925971503, 5340823480234982007,
|
|
134802349691098498233, 81780923490092302251, 802487292348792949 ] ;
|
|
|
|
val it = [[1463103844669601, 42703], [1463103844669541, 42703]]:
|
|
|
|
(* numbers *)
|
|
> List.map (List.foldr IntInf.* 1 ) it ;
|
|
val it = [62478923478925971503, 62478923478923409323]: IntInf.int list
|