open Ticc;;

parse "jasper3b.si";;

let m1 = mk_sym "M1";;
print_symmod m1;; 

let m2 = mk_sym "M2";;
print_symmod m2;; 

let m3 = mk_sym "M3";;
print_symmod m3;; 

print_string "\nComputing m23:\n";;
let m23 = compose m2 m3;;
print_symmod m23;;

print_string "\nComputing m123b:\n";;
let m123b = compose m1 m23;;
print_symmod m123b;;

print_string "\nComputing m12:\n";;
let m12 = compose m1 m2;;
print_symmod m12;;

print_string "\nComputing m123a:\n";;
let m123a = compose m12 m3;;
print_symmod m123a;;
