Add simplepolynome

polynome.ml

@@ -28,6 +28,7 @@ module type Polynomes =
     val print: polynome -> string
     val equal: polynome -> polynome -> bool
     val add: polynome -> polynome -> polynome
+    val naive_mul: polynome -> polynome -> polynome
   end
 ;;
 
@@ -72,5 +73,17 @@ module Polynome (C : Coefficient) (D : Degree) =
 	       then add xx yy
 	       else NotNull (m, dx, add xx yy)
 	)
+    (*let rec naive_mul x y = match x with
+      |Null -> Null
+      |NotNull -> (cx, dx, xx)->
+	(match y with
+	 |Null -> Null
+	 |NotNull (cy, dy, yy)->
+	   match xx with
+	   |Null
+	   |NotNull
+	)
+     *)	  
+      
   end
 ;;

simplepolynome.ml

+(* projet AP 2016 edouard Paris *)
+
+open Big_int;;
+
+module SimpleDegree =
+  struct
+    type degree = int
+    let print d = (string_of_int d)
+    let add d1 d2 = d1 + d2
+    let equal d1 d2 = (d1 == d2)
+    let is_bigger d1 d2 = (d1 > d2)
+  end
+;;
+
+module SimpleCoeff =
+  struct
+    type coeff = big_int
+    let print c = (string_of_big_int c)
+    let add c1 c2 = add_big_int c1 c2
+    let equal c1 c2 = eq_big_int c1 c2
+  end
+;;