On 10/26/2008 05:33 PM, Martin Rubey wrote: > I'm not completely sure about the following (well, to be honest, I am, but I > think I shouldn't be). In any case, I think we should take a decision. I see > two possibilities:
> A) InputForm should be precise. I.e., a given InputForm completely determines > which functions are called, independent on what is exposed etc. > B) InputForm should be vague. I.e., calling "interpret" on a given InputForm > mimicks behaviour at the prompt. > Currently, at least seriesSolve$EXPRODE depends on behaviour B: the InputForm > corresponding to an element of EXPR INT is *not* decorated with package calls, > and can easily be re-interpreted as function from UTS -> UTS. Looking at the documentation in mkfunc.spad ++ Domain of parsed forms which can be passed to the interpreter. ++ This is also the interface between algebra code and facilities ++ in the interpreter. I would clearly say, that B) applies. > I think that this is not a very robust and clean solution, as demonstrated > also > by #301. I see two possibilities: > a) provide a function that takes an InputForm, and converts calls to EXPR INT > to calls to UTS or whatever needed. > b) take a completely different approach. InputForm and EXPR INT are by definition not typesafe. If you really want better code, write a domain that treats the things without InputForm or EXPR INT. Although it's certainly not helpful, but any minor changes to the current code are just hacks. There will then certainly be issues later. I guess InputForm in some sense corresponds to the .ap file format in Aldor. Aldor (internally) also has a format which adds to any (input) expression its corresponding type information. One might want to define a similar type in FriCAS, but I don't think it is appropriate for input/output to other CAS. Maybe such a InputFormWithTypeInformation would be better suited for you, but it would probably be hard and error prone to input by hand. 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 -~----------~----~----~----~------~----~------~--~---
