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

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

2018-06-30 Thread Bill Page
On Sat, Jun 30, 2018 at 11:30 AM, Waldek Hebisch wrote: > Bill Page wrote: >> > >> > Well, advantage is consistency with rules. >> > >> >> Could you site specifically what rule is being violated? > > The one that Ricardo was asking about: that 'if' always works, > but for one armed 'if' you get

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

2018-06-30 Thread Waldek Hebisch
Bill Page wrote: > > On Sat, Jun 30, 2018 at 9:40 AM, Waldek Hebisch > wrote: > >> > >> On Fri, Jun 29, 2018 at 11:22 AM, Waldek Hebisch > >> wrote: > >> > On command line interpreter evaluates things so can use actual > >> > values to guess what would be useful. > >> > > Bill Page wrote: > >>

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

2018-06-30 Thread Bill Page
On Sat, Jun 30, 2018 at 9:40 AM, Waldek Hebisch wrote: >> >> On Fri, Jun 29, 2018 at 11:22 AM, Waldek Hebisch >> wrote: >> > On command line interpreter evaluates things so can use actual >> > values to guess what would be useful. >> > Bill Page wrote: >> Yes, one should expect that the

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

2018-06-30 Thread Waldek Hebisch
Bill Page wrote: > > On Fri, Jun 29, 2018 at 11:22 AM, Waldek Hebisch > wrote: > > Riccardo GUIDA wrote: > >> ... > >> 3) The user is puzzled because > > > > The command line is not representative of FriCAS language. > > In my opinion it should be (almost) representative of FriCAS language

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

2018-06-29 Thread Bill Page
On Fri, Jun 29, 2018 at 11:22 AM, Waldek Hebisch wrote: > Riccardo GUIDA wrote: >> ... >> 3) The user is puzzled because > > The command line is not representative of FriCAS language. In my opinion it should be (almost) representative of FriCAS language (SPAD). > On command line interpreter

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

2018-06-29 Thread Waldek Hebisch
Riccardo GUIDA wrote: > > Just to say that my original question to Ralf was a much more low level quest > for clarifications in the user guide: > > 1) A user reads: > > section 5.3 pag 149 > "An if-then-else expression always returns a value. If the else clause is > missing then the entire

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

2018-06-29 Thread Bill Page
On Fri, Jun 29, 2018 at 10:10 AM, Riccardo GUIDA wrote: > > Thanks for your clarifications Bill. > Thank you for asking the question. > > Just to say that my original question to Ralf was a much more low > level quest for clarifications in the user guide: > OK. I think I understand your

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

2018-06-29 Thread Riccardo GUIDA
Hi, Thanks for your clarifications Bill. Just to say that my original question to Ralf was a much more low level quest for clarifications in the user guide: 1) A user reads: section 5.3 pag 149 "An if-then-else expression always returns a value. If the else clause is missing then the

Re: [fricas-devel] unique Value of Void

2018-06-28 Thread Bill Page
On Wed, Jun 27, 2018 at 5:15 PM, Ralf Hemmecke wrote: > Ricardo made me aware that the formulations in > http://fricas.github.io/book.pdf Section 5.3 maybe a bit confusing to > new users. > > We all know that Void is the type used in situations where there is > no value. No that is not correct.