val fmz = ["Term ((5*x^^^2 + 3) * (2*x^^^7 + 3) \

 val fmz = ["Term ((5*x^^^2 + 3) * (2*x^^^7 + 3) \

 	   \- (3*x^^^5 + 8) * (6*x^^^4 - 1))",

 	   \- (3*x^^^5 + 8) * (6*x^^^4 - 1))",

 	   "normalform N"];

 	   "normalform N"];

 "-----0 ---";

 "-----0 ---";

 (*===== inhibit exn ============================================================

 (*===== inhibit exn ============================================================

 case refine fmz ["polynomial","simplification"]of

 case refine fmz ["polynomial","simplification"]of

     [Matches (["polynomial", "simplification"], _)] => ()

     [Matches (["polynomial", "simplification"], _)] => ()

   | _ => error "poly.sml diff.behav. in check pbl, refine";

   | _ => error "poly.sml diff.behav. in check pbl, refine";

 (*...if there is an error, then ...*)

 (*...if there is an error, then ...*)