Nuprl Definition : split-maximal-consecutive

split-maximal-consecutive(g;L) ==
  eval a = find-maximal-consecutive(g;L) in
  eval L1 = eval_list(firstn(a;L)) in
  eval L2 = eval_list(nth_tl(a;L)) in
    <L1, L2>

Definitions occuring in Statement : find-maximal-consecutive: find-maximal-consecutive(g;L), firstn: firstn(n;as), nth_tl: nth_tl(n;as), eval_list: eval_list(t), callbyvalue: callbyvalue, pair: <a, b>
FDL editor aliases : split-maximal-consecutive

Latex:
split-maximal-consecutive(g;L) == eval a = find-maximal-consecutive(g;L) in eval L1 = eval\_list(firstn(a;L)) in eval L2 = eval\_list(nth\_tl(a;L)) in <L1, L2> Date html generated: 2015_07_23-PM-00_27_54 Last ObjectModification: 2014_07_23-PM-01_27_00 Home Index