diff options
Diffstat (limited to 'src/algebra/moddfact.spad.pamphlet')
| -rw-r--r-- | src/algebra/moddfact.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/moddfact.spad.pamphlet b/src/algebra/moddfact.spad.pamphlet index 7c12510c..e402185f 100644 --- a/src/algebra/moddfact.spad.pamphlet +++ b/src/algebra/moddfact.spad.pamphlet @@ -205,8 +205,7 @@ ModularDistinctDegreeFactorizer(U):C == T where s:= 0 ss := ss + 1 x:= y * decode(ss, p, y) --- not one? leadingCoefficient(x) => - not (leadingCoefficient(x) = 1) => + not one? leadingCoefficient(x) => ss := p ** degree x x:= y ** (degree(x) + 1) [c * first(ans),:rest(ans)] |