naive_mul done

Makefile

 all:
 	ocamlc -c polynome.ml 
 	ocamlc -c simplepolynome.ml 
-	ocamlc -c main.ml 
+	ocamlc -c nums.cma main.ml 
 	ocamlc -o bin/main nums.cma polynome.cmo simplepolynome.cmo main.cmo
 clean:
 	rm -f *.cm[iox] *~ .*~ #*#

main.ml

 (*projet AP Edouard Paris 2016*)
 
-open Polynome
+open Big_int;;
+open Polynome;;
 open Simplepolynome;;
 
+(*big num avec simple variable*)
+print_string "**********************************\n";
+print_string "Projet Edouard Paris ASN/AP 2016 \n";
+print_string "**********************************\n";
+print_string "\n 1. big num avec simple variable\n\n";
 
-  
+module P = Polynome(SimpleCoeff)(SimpleDegree);;
+(*base monomiale pour la construction du polynôme*)
+let pm = P.NotNull(big_int_of_int 1, 0, P.Null);; 
+print_string (P.print pm);

simplepolynome.ml

@@ -18,5 +18,7 @@ module SimpleCoeff =
     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
+    let is_null c = eq_big_int c zero_big_int
+    let mul c1 c2 = mult_big_int c1 c2
   end
 ;;