diff options
Diffstat (limited to 'plugins/nsatz')
| -rw-r--r-- | plugins/nsatz/polynom.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/nsatz/polynom.ml b/plugins/nsatz/polynom.ml index 8566cf0d6..464bc7740 100644 --- a/plugins/nsatz/polynom.ml +++ b/plugins/nsatz/polynom.ml @@ -602,7 +602,7 @@ and pgcd_pol_rec p q x = res ) -(* Sub-résultants: +(* Sub-résultants: ai*Ai = Qi*Ai+1 + bi*Ai+2 |