>> (8) -> factorSquareFreePolynomial(f)$Z >> 2 2 <menu-bar> <signals> <break> >> >> System error: >> Interactive interrupt at #x5261AA8C. > > Again, you violated precondition, so can not expect sensible result. > In fact, if you look at implementation it is clear that infinite > loop is expected here.
Thank you, Waldek. Actually, when I prepared my mail I got the impression that factorSquareFreePolynomial is actually meant in the way you describe it, i.e., the input must be already square-free. Arrrhhh, I should have paid more attention to the exact formulation of the ++-docstring. I must have been reading with closed eyes. I was looking for a square-free factorizer and had chosen the wrong function. :-( Anyway, unimplemented code is bad (although I sometimes also appreciate that I don't have to implement every function before I can play with the functionality of my new domain that I am actually interested in). Yes, it looks that factorization is implemented through quite some domains/packages. I would be happy if the algebra library were clearer. I also see SparseUnivariatePolynomial and NewSparseUnivariatePolynomial. The latter is, in fact, an extension of SUP. I have the impression that it would make sense to merge these domain constructors into SUP. Unfortunately, I've not yet looked into this too deeply, but I guess, just moving over the functionality of NewSUP into SUP would be the way to go. In fact, here it would be nice to have Aldor's "extend" option, then one could simply "call" NewSUP by the name SUP and still have separate compilation. Dream, dream. ;-) Ralf -- 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/bda33eaf-5be5-ccc7-8b2a-0bf5af232c85%40hemmecke.org.
