#load "nums.cma";;
#load "poly.cma";;
module Pol = Polynomials.PolyOnField (Rational) ;;

open Pol;;
#install_printer Pol.print;;

let pol1 = (pow x 4) +/ (x */ x)  +/ one;;
let pol2 = (x */ x) +/ x +/ of_R (Rational.of_int 3);;
pol1 */ pol2;;