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
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
