| MathQL.Relation (inv, rop, path, sexp, attl) ->
let before = Sys.time() in
if ! dbname = postgres_db then
- (let res = relation_ex rop path (exec_set_exp c sexp) attl in
+ (let res = relation_ex inv rop path (exec_set_exp c sexp) attl in
if ! stat then
(print_string ("RELATION " ^ (fst path) ^ " = " ^ string_of_int(List.length res) ^ ": ");
print_endline (string_of_float (Sys.time() -. before) ^ "s");
flush stdout);
res)
else
- (let res = relation_galax_ex rop path (exec_set_exp c sexp) attl in
+ (let res = relation_galax_ex inv rop path (exec_set_exp c sexp) attl in
if !stat then
(print_string ("RELATION-GALAX " ^ (fst path) ^ " = " ^ string_of_int(List.length res) ^ ": ");
print_endline (string_of_float (Sys.time() -. before) ^ "s");
else s::[]
in
edup ol
- | MathQL.Record (rvar, vvar) -> List.assoc vvar (List.assoc rvar c.groups)
+ | MathQL.Record (rvar, path) -> List.assoc path (List.assoc rvar c.groups)
| MathQL.VVar s -> List.assoc s c.vvars
| MathQL.RefOf sexp -> List.map (fun (s,_) -> s) (exec_set_exp c sexp)