From 7ff58e001cc95e34cefd0c331bb1e02b17004de1 Mon Sep 17 00:00:00 2001 From: Edouard Paris <mail@edouard.paris> Date: Wed, 11 May 2016 10:27:30 +0200 Subject: [PATCH] Init Makefile and dependancy --- .gitignore | 2 ++ Makefile | 7 +++++++ main.ml | 2 ++ polynome.ml | 22 ++++++++++++++++++++++ 4 files changed, 33 insertions(+) create mode 100644 Makefile create mode 100644 main.ml create mode 100644 polynome.ml diff --git a/.gitignore b/.gitignore index e660fd9..660ecff 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,3 @@ bin/ +*.cmi +*.cmo diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..c36511e --- /dev/null +++ b/Makefile @@ -0,0 +1,7 @@ +all: + ocamlc -c polynome.ml + ocamlc -c main.ml + ocamlc -o bin/main nums.cma polynome.cmo main.cmo +clean: + rm -f *.cm[iox] *~ .*~ #*# + rm -f bin/main diff --git a/main.ml b/main.ml new file mode 100644 index 0000000..3bfe56e --- /dev/null +++ b/main.ml @@ -0,0 +1,2 @@ +(*projet AP Edouard Paris 2016*) +open Polynome;; diff --git a/polynome.ml b/polynome.ml new file mode 100644 index 0000000..d547bb6 --- /dev/null +++ b/polynome.ml @@ -0,0 +1,22 @@ +(*Projet AP Edouard Paris 2016*) + +open Big_int;; + +module type Polynomes = + sig + type polynome + val print_pol: polynome -> string + end +;; + +module Polynome : Polynomes = + struct + type polynome = + |Null + |NotNull of big_int*int*polynome + let rec print_pol p = match p with + |Null -> "0" + |NotNull (coeff, degree, polynome)-> + (string_of_big_int coeff)^"X^"^(string_of_int degree)^"+"^(print_pol polynome) + end +;; -- GitLab