On 6/15/26 8:49 AM, Waldek Hebisch wrote: > > That looks problematic to me. Namely, if we have two different > representations x1 and x2 of the same value, than modified variant > will give them some order, that is smaller?(x1, x2) or > smaller?(x2, x1) will be true. Original version gives false > in such case. > Should 'smaller?' have this property?
Currently we have: e1 := 1/sqrt(x) e2 := sqrt(x)/x test(e1=e2) -- is true smaller?(e1,e2) -- is true smaller?(e2,e1) -- is false - Qian -- 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/02d0cec0-0d9d-4963-b22f-8005347e4ea5%40gmail.com.
