My thanks to Gaby as well,
Let me jump in here. I also say thanks. If this whole discussion ends up in a better compiler, I am willing to help to fix the Algebra library by adding the respective type information. Since long I am missing that anyway.
Now, if the compiler chooses the right type by luck, it's probably the same luck for a human to interpret the code in the way the original author intended it to be interpreted. But as a human it's a bit harder to figure out what the available options are that one can choose from.
I just hope that such improvements can be shared among Open-Axiom and FriCAS.
Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
