------- Original Message ------- On Sunday, July 23rd, 2023 at 9:45 PM, Waldek Hebisch <[email protected]> wrote:
> One drawback is that when you input > x - x > you will get back x - x and need a rewrite rule to transform > it to 0. Another drawback is that even asking it x - x is > zero you will get no as an answer. I believe a user should have an option to let FriCAS simplify the output or not if he doesn't like the result of the simplification. > ... namely we want to transform 42 into 25 + 17. One possibilty > would be to have very special "42" rule that transforms literal > 42 into 25 + 17. Another way is more usual rewrite: rule > that transform any occurence of 42 in the input into 25 + 17. > This more general rule transforms cos(42) into cos(25 + 17). I think such rules or functions should be even more general. Let's call this one 'summands'. A user should be able to specify a number of summands [or just one] of the corresponding or convertible types, and if their sum is not equal to the original value then another summand that makes the sum equal is automatically attached. This way the user only has to specify those summands he wants to see in the sum and doesn't have to calculate and specify the remainder. -- 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/NmjM7JFWB7bWOuLdk64-1JoJNJ6-M7S6i7LtOFHzfZeXgiOOksF-x20p7DSwO1gjPO0IuVYWmGg6Ll7BGzN5NLf2T5dUgYrnVKOedIRRANA%3D%40proton.me.
