[PATCH DOC] polsturm needs squarefree polynomials

[Jeroen Demeyer <jdemeyer@cage.ugent.be>]

Index: src/functions/polynomials/polsturm
===================================================================
--- src/functions/polynomials/polsturm	(revision 11906)
+++ src/functions/polynomials/polsturm	(working copy)
@@ -2,10 +2,11 @@
 Section: polynomials
 C-Name: sturmpart
 Prototype: lGDGDG
-Help: polsturm(pol,{a},{b}): number of real roots of the polynomial pol in the
- interval]a,b] (which are respectively taken to be -oo or +oo when omitted).
-Doc: number of real roots of the real polynomial \var{pol} in the interval
- $]a,b]$, using Sturm's algorithm. $a$ (resp.~$b$) is taken to be $-\infty$
- (resp.~$+\infty$) if omitted.
+Help: polsturm(pol,{a},{b}): number of real roots of the squarefree polynomial
+ pol in the interval ]a,b] (which are respectively taken to be -oo or +oo when
+ omitted).
+Doc: number of real roots of the real squarefree polynomial \var{pol} in the
+ interval $]a,b]$, using Sturm's algorithm. $a$ (resp.~$b$) is taken to be
+ $-\infty$ (resp.~$+\infty$) if omitted.
 Variant: Also available is \fun{long}{sturm}{GEN pol} (total number of real
  roots).