Re: Re: Re: Re: [fricas-devel] unique Value of Void

2018-07-02 Thread Waldek Hebisch
Riccardo GUIDA wrote: > > > 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.

Re: Re: Re: Re: [fricas-devel] unique Value of Void

2018-07-02 Thread Riccardo GUIDA
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

Re: Re: Re: [fricas-devel] unique Value of Void

2018-07-02 Thread Waldek Hebisch
Riccardo GUIDA wrote: > > @ Waldek > > > The command line is not representative of FriCAS language. > > OK, crystal clear. > > The pedagogical problem is that, maybe not to scare the reader, the FricasUG > is somehow vague on the differences among interpreter and compiler. For > instance

Re: Re: Re: [fricas-devel] unique Value of Void

2018-07-01 Thread Riccardo GUIDA
@Bill: If the else clause is missing but the if condition is false then the value of the if-then expression is the unique value of Void. +1 I think an important though somewhat less technical addition to the user guide concerning the meaning and use of the Void and Exit domains would