/*
  Test of gcd/2

  code = (1 + gcd(I,J)) = [[[1,1],2],[[1,2],2],[[1,3],2],[[1,4],2],[[1,5],2],[[2,1],2],[[2,2],3],[[2,3],2],[[2,4],3],[[2,5],2],[[3,1],2],[[3,2],2],[[3,3],4],[[3,4],2],[[3,5],2],[[4,1],2],[[4,2],3],[[4,3],2],[[4,4],5],[[4,5],2],[[5,1],2],[[5,2],2],[[5,3],2],[[5,4],2],[[5,5],6]] = [[10,5] = 6]


*/
data(gcd_test,Data,Vars,Unknown,Ops,Constants,MaxC) :-
  Data = [[[I,J],T] : I in 1..5,J in 1..5, T = 1+gcd(I,J)],
  println(data=Data),
  % get_global_map().put("debug",true),
  Ops = new_map([infix=["+","-","*","/"]
                 ,user=["gcd"]
                 ]),
  Vars = ["I","J"],
  Constants = 1..10,
  Unknown = [10,5],
  MaxC = 2.