EKG sequence convergence: Difference between revisions
Content added Content deleted
m (→{{header|zkl}}: opps) |
m (→{{header|zkl}}: oh poop) |
||
Line 493: | Line 493: | ||
ekgN:=ekgWs.apply("next"); // (ekg(n1)[n],ekg(n2)[n] ...) |
ekgN:=ekgWs.apply("next"); // (ekg(n1)[n],ekg(n2)[n] ...) |
||
ekgNs.zipWith(fcn(ns,n){ ns.merge(n) },ekgN); // keep terms sorted |
ekgNs.zipWith(fcn(ns,n){ ns.merge(n) },ekgN); // keep terms sorted |
||
// are all ekg[n]s == |
// are all ekg[n]s == and both sequences have same terms? |
||
if(not ekgN.filter1('!=(ekgN[0])) and not ekgNs.filter1('!=(ekgNs[0])) ){ |
if(not ekgN.filter1('!=(ekgN[0])) and not ekgNs.filter1('!=(ekgNs[0])) ){ |
||
println("EKG(", ns.concat(","), ") converge at term ",ekgNs[0].len() + 1); |
println("EKG(", ns.concat(","), ") converge at term ",ekgNs[0].len() + 1); |