I propose to remove this BOOT syntax in favour of ordinary SPAD code. Patch attached.
Ralf https://github.com/fricas/fricas/blob/master/src/algebra/poly.spad#L1065 - lffe := [["sqfr",pi,i],:lffe] + lffe := cons(["sqfr",pi,i], lffe) -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/15b88fcc-212c-bb23-9f22-8ed05da9b024%40hemmecke.org.
From 8656883c2cf722ca2112f7df5f076dec3715bd39 Mon Sep 17 00:00:00 2001 From: Ralf Hemmecke <[email protected]> Date: Tue, 17 Dec 2019 11:01:35 +0100 Subject: replace BOOT syntax by SPAD syntax --- src/algebra/poly.spad | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/algebra/poly.spad b/src/algebra/poly.spad index 6ba02880..98da3b60 100644 --- a/src/algebra/poly.spad +++ b/src/algebra/poly.spad @@ -1062,7 +1062,7 @@ UnivariatePolynomialSquareFree(RC : IntegralDomain, P) : C == T i := i+1 degree(pi) > 0 => lcp := (lcp exquo (leadingCoefficient(pi)^i))::RC - lffe := [["sqfr",pi,i],:lffe] + lffe := cons(["sqfr",pi,i], lffe) makeFR(lcp::P, lffe) else @@ -1086,7 +1086,7 @@ UnivariatePolynomialSquareFree(RC : IntegralDomain, P) : C == T lc := (leadingCoefficient(diprev) exquo leadingCoefficient(di))::RC dunit := lc^i * dunit pi := (diprev exquo di)::P - lffe := [["sqfr",pi,i],:lffe] + lffe := cons(["sqfr",pi,i], lffe) dunit := dunit * di ^ (i+1) degree(ci)=0 => makeFR(dunit*ci, lffe) redSqfr := squareFree(divideExponents(ci, characteristic$P)::P) -- 2.17.1
