You seem to use different terminology. Spad is language of .spad files. They are intended for non-interactive use -- basicaly enhancements to FriCAS library. Spad is different than language of .input files. .input files are intended for interactive use. Now, with "interactive language" there is some confusion, as functions are normally compiled while command line gets special treatment.
Dear Waldek, to explain: my answer relied on the following hypotheses * SPAD is the language of .spad files, invoked by )compile * the interpreter = interprets a subset of SPAD language (eg no definitions of domain) on command line and via )read .input files + heuristics guesses & coercitions on types + SPAD compilation of functions in case of complete type resolutions ... so naively I thought that, if the interpreter is so unpredictable on types, maybe it was more pedagogical to present things as subsets of SPAD, which is well defined, but now I realize that maybe the examples given maybe do not compile in SPAD, even if embedded in functions of user-defined packages, I do not know, I'm learning using the command line. I guess I need some official glossary, could you please enlighten me? * How should be called "The language of .input files?" * Is "The language of .input files" the same thing as "the language of command line"?, and if not how is called the latter? * Is the compiler invoked by the interpreter when compiling functions the same compiler (same language) as the SPAD compiler invoked by )compile ? * Which language is meant by 'The FriCAS language' and 'The FriCAS interactive language'? A post on a related question will follow. riccardo -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
