[fricas-devel] [PATCH] replace local function 'allk' with 'tower'

[oldk1331]

replace local function 'allk' with 'tower'

diff --git a/src/algebra/algfact.spad b/src/algebra/algfact.spad
index adecf599..b1e847c2 100644
--- a/src/algebra/algfact.spad
+++ b/src/algebra/algfact.spad
@@ -167,19 +167,17 @@
fact : (UP, List K) -> FR
ifactor : (SUP, List K) -> Factored SUP
extend : (UP, N) -> FR
- allk : List AN -> List K
downpoly : UP -> UPQ
liftpoly : UPQ -> UP
irred? : UP -> Boolean

- allk l == removeDuplicates concat [tower x for x in l]
liftpoly p == map(x +-> x::AN, p)$UPCF2(Q, UPQ, AN, UP)
downpoly p == map(x +-> retract(x)@Q, p)$UPCF2(AN, UP , Q, UPQ)
ifactor(p, l) == (fact(p pretend UP, l)) pretend Factored(SUP)
- factor p == fact(p, allk coefficients p)
+ factor p == fact(p, tower coefficients p)

factor(p, l) ==
- fact(p, allk removeDuplicates concat(l, coefficients p))
+ fact(p, tower removeDuplicates concat(l, coefficients p))

split p ==
fp := factor p

[Waldek Hebisch]

Post by oldk1331
replace local function 'allk' with 'tower'

OK, please commit.