diff -r 0eef61c56891 -r d93cc4295306 scala/ex.scala --- a/scala/ex.scala Tue Feb 26 12:47:03 2013 +0000 +++ b/scala/ex.scala Tue Feb 26 13:24:40 2013 +0000 @@ -112,8 +112,8 @@ println("Disj 0 6: " + Disj.eval(List(0, 6))) println("Disj 6 4: " + Disj.eval(List(6, 4))) println("Disj 0 0: " + Disj.eval(List(0, 0))) -//println("Sigma: " + Sigma(S).eval(List(0,1,2))) -//println("Sigma: " + Sigma(S).eval(List(0,1,2,3,4,5))) +println("Sigma: " + Sigma(Add).eval(List(2,3))) + val ABCZero = Abacus(List(Goto(1)))