diff options
Diffstat (limited to 'src/algebra/primelt.spad.pamphlet')
-rw-r--r-- | src/algebra/primelt.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/primelt.spad.pamphlet b/src/algebra/primelt.spad.pamphlet index cc1d9bf4..551acce8 100644 --- a/src/algebra/primelt.spad.pamphlet +++ b/src/algebra/primelt.spad.pamphlet @@ -72,8 +72,7 @@ PrimitiveElement(F): Exports == Implementation where primitiveElement(l, v) == primitiveElement(l, v, new()$SY) primitiveElement(p1, a1, p2, a2) == --- one? degree(p2, a1) => [0, 1, univariate resultant(p1, p2, a1)] - (degree(p2, a1) = 1) => [0, 1, univariate resultant(p1, p2, a1)] + one? degree(p2, a1) => [0, 1, univariate resultant(p1, p2, a1)] u := (new()$SY)::P b := a2::P for i in 10.. repeat @@ -216,8 +215,7 @@ FunctionSpacePrimitiveElement(R, F): Exports == Implementation where [w, monomial(ic1, 1)$UP - rec.coef2 * ic1 * q, q, rec.prim] getpoly(r, g) == --- one? degree r => - (degree r = 1) => + one? degree r => k := retract(g)@K univariate(-coefficient(r,0)/leadingCoefficient r,k,minPoly k) error "GCD not of degree 1" |