Ralf Hemmecke wrote:
>
> On 06/30/2014 01:01 AM, Waldek Hebisch wrote:
> > I am thinking what to do with PolynomialFactorizationExplicit.
...
> As for recombination of factors...
> It is not an option for me to return wrong results without telling the
> user. Not even if there is loss in efficiency. In other words, if a
> function claims to return a factorization, then it shouldn't return
> something else. However, if the specification said that the returned
> object might need a combination of factors to actually get the right
> thing then the user can decide whether he wants to call
> "recombineFactors". I.e. it's just a question of documenting properly
> what a function actually does.
Well, PFECAT code will not return wrong factorization. At the
end there is a check, if check fails factorization is retried
(remeber, this is randomized algorithm, even if one try fails
another normally works). So it will simply loop endlessly in
wrong cases.
--
Waldek Hebisch
[email protected]
--
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
