On Thu, Jun 11, 2026 at 06:33:03PM +0800, Qian Yun wrote:
> Testing for equality (or inequality) of EPXR is
> a core part of Kernel and other places.
>
> I find that current situation can be improved.
>
> To test equality, we do not need to compute (x-y)
> in full, we can skip the denominator part, skip gcd,
> skip potential "algreduc" (rationalizing the denominator),
> save a few unnecessary "reduc" calls (only reduce on
> necessary algebraic kernels).
>
> I believe the following change doesn't break anything.
Look at commit 3255808d742077bc16f5ab47d658be3e80dcdf16
--
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 visit
https://groups.google.com/d/msgid/fricas-devel/aiqhGoHcbBwj7Hqe%40fricas.org.
