From f25aa29a5a6db014564a44a596cab8777f78f757 Mon Sep 17 00:00:00 2001
From: Edouard Paris <mail@edouard.paris>
Date: Wed, 11 May 2016 12:40:36 +0200
Subject: [PATCH] Add simplepolynome
---
polynome.ml | 13 +++++++++++++
simplepolynome.ml | 22 ++++++++++++++++++++++
2 files changed, 35 insertions(+)
create mode 100644 simplepolynome.ml
diff --git a/polynome.ml b/polynome.ml
index a532e01..f8fbe3e 100644
--- a/polynome.ml
+++ b/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
;;
diff --git a/simplepolynome.ml b/simplepolynome.ml
new file mode 100644
index 0000000..df09c72
--- /dev/null
+++ b/simplepolynome.ml
@@ -0,0 +1,22 @@
+(* 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
+;;
--
GitLab