diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+0.1.1.0
+-------
+* `poly ^**^ 0` did not work
+
 0.1.0.1
 -------
 * removed the upper bounds of the dependencies
diff --git a/mpolynomials.cabal b/mpolynomials.cabal
--- a/mpolynomials.cabal
+++ b/mpolynomials.cabal
@@ -1,6 +1,6 @@
 cabal-version:      >=1.10
 name:               mpolynomials
-version:            0.1.0.1
+version:            0.1.1.0
 license:            GPL-3
 license-file:       LICENSE
 copyright:          2022 Stéphane Laurent
diff --git a/src/Math/Algebra/MultiPol.hs b/src/Math/Algebra/MultiPol.hs
--- a/src/Math/Algebra/MultiPol.hs
+++ b/src/Math/Algebra/MultiPol.hs
@@ -92,7 +92,7 @@
 
 -- | Power of a polynomial
 (^**^) :: (AlgRing.C a, Eq a) => Polynomial a -> Int -> Polynomial a
-(^**^) p n = foldl1 (^*^) (replicate n p) 
+(^**^) p n = AlgRing.product (replicate n p) 
 
 scalePol :: (AlgRing.C a, Eq a) => a -> Polynomial a -> Polynomial a
 scalePol lambda pol = if lambda == AlgAdd.zero