Ralf Hemmecke wrote:
>
>
> I guess Bronstein had a good reason to introduce this "if" here:
>
> https://github.com/fricas/fricas/blob/master/src/algebra/algfunc.spad#L135
>
> in the allroots function.
>
> However, fn is either rootOf of zeroOf.
> If it is rootOf, it would be surprising if p(alpha) were not zero.
> So it can only be the case for fn=zeroOf.
> But even then, the as the name (and the documentation) suggests.
> p(alpha) should be zero if zeroOf(p, sy) returns successfully.
>
> Now suppose for a moment that one can have
>
> alpha = zeroOf(p, sy) and not zero?(p alpha)
>
> Then "p := p quo q" suggests that a possible remainder is simply
> forgotten (otherwise "p exquo q" could have been used).
>
> I'm probably not seeing the obvious. Can someone help me in
> understanding this "if" construction?
I think that this is intended to handle floating point coefficients.
--
Waldek Hebisch
--
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/E1icYdo-0002cE-R1%40hera.math.uni.wroc.pl.
