Trac #21295 review issue 29: notice minimize vs field

sagemath · May 6, 2021 · 13ad4a1 · 13ad4a1
1 parent 2ddb686
commit 13ad4a1
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/sage/combinat/recognizable_series.py b/src/sage/combinat/recognizable_series.py
@@ -19,6 +19,12 @@
 
     \mathit{left} \, \mu(w) \, \mathit{right}.
 
+.. NOTE::
+
+    Whenever a minimization (:meth:`~RecognizableSeries.minimized`) of
+    a series needs to be computed, it is required that `K` is a field.
+    In particular, minimization is called before checking if a series is
+    nonzero.
 
 .. WARNING::