Ralf Hemmecke <[EMAIL PROTECTED]> writes: > Of course, FriCAS should also be able to cover things that the big M's > do. I argue only that FriCAS should work "as typed as possible". I > cannot prevent a user from giving imprecise input. There is probably > always some guessing involved. But if finally types have been guessed > and the user is satisfied with them, FriCAS should not use any > conversion to an "untyped" (which InputForm is for me) object and later > try to interpret manipulations of that. I would put the last thing > basically on the same level as user input.
I'm a little confused: you dislike strict typing, yet you do not want that converting to INFORM produces fully specified INFORMs? Or did my email go unnoticed? Martin --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
