There is seemingly a problem with the implementation of some functions from PolynomialFactorizationImplizit in Integer as well as in FractionInteger.
In fact, I can only guess what the function "factorSquareFreePolynomial" should actually return. http://fricas.github.io/api/PolynomialFactorizationExplicit.html#l-polynomial-factorization-explicit-factor-square-free-polynomial factorSquareFreePolynomial: SparseUnivariatePolynomial % -> Factored SparseUnivariatePolynomial % factorSquareFreePolynomial(p) factors the univariate polynomial p into irreducibles where p is known to be square free and primitive with respect to its main variable. Isn't it strange that it must be mentioned that p is square-free when it is supposed to be irreducible? Are there irreducible polynomials that are not square-free? Ralf ================================================================= (1) -> Z==>Integer;Q==>Fraction Z;SUP==>SparseUnivariatePolynomial Type: Void (2) -> f := (((x-1)*x)^2) :: SUP Z 4 3 2 (2) ? - 2 ? + ? Type: SparseUnivariatePolynomial(Integer) (3) -> squareFree f 2 2 (3) (? - ?) Type: Factored(SparseUnivariatePolynomial(Integer)) (4) -> squareFreePolynomial f 2 2 (4) (? - ?) Type: Factored(SparseUnivariatePolynomial(SparseUnivariatePolynomial(Integer))) (5) -> squareFreePolynomial(f)$Z 2 2 (5) (? - ?) Type: Factored(SparseUnivariatePolynomial(Integer)) (6) -> factor f 2 2 (6) (? - 1) ? Type: Factored(SparseUnivariatePolynomial(Integer)) (7) -> factorSquareFreePolynomial f 2 2 (7) (? - 1) ? Type: Factored(SparseUnivariatePolynomial(SparseUnivariatePolynomial(Integer))) (8) -> factorSquareFreePolynomial(f)$Z 2 2 <menu-bar> <signals> <break> >> System error: Interactive interrupt at #x5261AA8C. (8) -> )clear prop f (8) -> f := (((x-1)*x)^2) :: SUP Q 4 3 2 (8) ? - 2 ? + ? Type: SparseUnivariatePolynomial(Fraction(Integer)) (9) -> squareFree f 2 2 (9) (? - ?) Type: Factored(SparseUnivariatePolynomial(Fraction(Integer))) (10) -> squareFreePolynomial f 2 2 (10) (? - ?) Type: Factored(SparseUnivariatePolynomial(SparseUnivariatePolynomial(Fraction(Integer)))) (11) -> squareFreePolynomial(f)$Q Internal Error The function squareFreePolynomial with signature hashcode is missing from domain Fraction(Integer) (11) -> factor f 2 2 (11) (? - 1) ? Type: Factored(SparseUnivariatePolynomial(Fraction(Integer))) (12) -> factorSquareFreePolynomial f 2 2 (12) (? - 1) ? Type: Factored(SparseUnivariatePolynomial(SparseUnivariatePolynomial(Fraction(Integer)))) (13) -> factorSquareFreePolynomial(f)$Q <menu-bar> <signals> <break> >> System error: Interactive interrupt at #x52100D0C. -- 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/21f9e895-d148-ef07-f8f8-335d95f07304%40hemmecke.org.
)clear complete Z==>Integer;Q==>Fraction Z;SUP==>SparseUnivariatePolynomial f := (((x-1)*x)^2) :: SUP Z squareFree f squareFreePolynomial f squareFreePolynomial(f)$Z factor f factorSquareFreePolynomial f factorSquareFreePolynomial(f)$Z )clear prop f f := (((x-1)*x)^2) :: SUP Q squareFree f squareFreePolynomial f squareFreePolynomial(f)$Q factor f factorSquareFreePolynomial f factorSquareFreePolynomial(f)$Q
