223 ((a - c,0),(0,0)) |
223 ((a - c,0),(0,0)) |
224 | calcul "Groups.times_class.times" ((a, b), _) ((c, d), _) = (*FIXXXME precision*) |
224 | calcul "Groups.times_class.times" ((a, b), _) ((c, d), _) = (*FIXXXME precision*) |
225 ((a * c, b + d), (0, 0)) |
225 ((a * c, b + d), (0, 0)) |
226 | calcul "Rings.divide_class.divide" ((a, 0), _) ((c, 0), _) = (*FIXXXME float + prec.*) |
226 | calcul "Rings.divide_class.divide" ((a, 0), _) ((c, 0), _) = (*FIXXXME float + prec.*) |
227 ((a div c, 0), (0, 0)) |
227 ((a div c, 0), (0, 0)) |
228 | calcul "Prog_Expr.pow" ((a, _), _) ((c, _), _) = (*FIXXXME Float + prec.*) |
228 | calcul "Transcendental.powr" ((a, _), _) ((c, _), _) = (*FIXXXME Float + prec.*) |
229 ((power a c, 0), (0, 0)) |
229 ((power a c, 0), (0, 0)) |
230 | calcul op_ ((a, b), (p11, p12)) ((c, d), (p21, p22)) = |
230 | calcul op_ ((a, b), (p11, p12)) ((c, d), (p21, p22)) = |
231 raise ERROR ("calcul: not impl. for Float (("^ |
231 raise ERROR ("calcul: not impl. for Float (("^ |
232 (string_of_int a )^", "^(string_of_int b )^"), ("^ |
232 (string_of_int a )^", "^(string_of_int b )^"), ("^ |
233 (string_of_int p11)^", "^(string_of_int p12)^")) "^op_^" (("^ |
233 (string_of_int p11)^", "^(string_of_int p12)^")) "^op_^" (("^ |