From 467eb67bb960c15e1335f375af29b4121ac5262b Mon Sep 17 00:00:00 2001
From: JPR
Date: Wed, 22 May 2019 21:40:57 +0200
Subject: Fixing typos - Part 2

---
 plugins/nsatz/nsatz.ml   | 2 +-
 plugins/nsatz/polynom.ml | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'plugins/nsatz')

diff --git a/plugins/nsatz/nsatz.ml b/plugins/nsatz/nsatz.ml
index 1777418ef6..bece316c7d 100644
--- a/plugins/nsatz/nsatz.ml
+++ b/plugins/nsatz/nsatz.ml
@@ -267,7 +267,7 @@ module PIdeal = Ideal.Make(Poly)
 open PIdeal
 
 (* term to sparse polynomial 
-   varaibles <=np are in the coefficients
+   variables <=np are in the coefficients
 *)
 
 let term_pol_sparse nvars np t=
diff --git a/plugins/nsatz/polynom.ml b/plugins/nsatz/polynom.ml
index 5db587b9cc..f6ca232c2e 100644
--- a/plugins/nsatz/polynom.ml
+++ b/plugins/nsatz/polynom.ml
@@ -357,7 +357,7 @@ let remP v p =
   moinsP p (multP (coefDom v p) (puisP (x v) (deg v p)))
 
 
-(* first interger coefficient of p *)
+(* first integer coefficient of p *)
 let rec coef_int_tete p =
   let v = max_var_pol p in
     if v>0
@@ -526,7 +526,7 @@ let div_pol_rat p q=
 
 (* pseudo division :
    q = c*x^m+q1
-   retruns (r,c,d,s) s.t. c^d*p = s*q + r.
+   returns (r,c,d,s) s.t. c^d*p = s*q + r.
 *)
 
 let pseudo_div p q x =
-- 
cgit v1.2.3