Re: [fricas-devel] FriCAS API

2014-05-13 Thread Bill Page
Ralf, Thanks for your efforts on this sort of documentation for FriCAS. I have looked at your readthedocs site but I find I am rather skeptical of any advantage this form of documetation might have over hyperdoc. What is your actual goal in this work? Bill. On 12 May 2014 19:00, Ralf

Re: [fricas-devel] FriCAS API

2014-05-13 Thread Ralf Hemmecke
I have looked at your readthedocs site but I find I am rather skeptical of any advantage this form of documetation might have over hyperdoc. Oh. What about full text search? Being able to use a URL to refer to some documentation? There are all sorts of conversion options from .rst to other

[fricas-devel] nopile compilation

2014-05-13 Thread Ralf Hemmecke
Hi Waldek, do we have a do keyword? If I replace xdo by do, I get: echo ')co foo.spad'|fricas -nosman (1) -Compiling FriCAS source code from file /home/hemmecke/scratch/a/x/foo.spad using old system compiler. FOO abbreviates domain Foo Spad syntax error detected

Re: [fricas-devel] #1 vs t#1

2014-05-13 Thread Waldek Hebisch
Ralf Hemmecke wrote: In the output of GETDATABASE, I sometimes see #2 and sometimes t#2. Both seem to refer to the second parameter of the constructor. Why is there t#2? I can not give really good explanation. The reason to have '#2' and 't#2' is due to substitutions. Namely, during

[fricas-devel] Re: nopile compilation

2014-05-13 Thread Ralf Hemmecke
Hi Waldek, you said, I should report problems with )nopile mode. The following program does not compile, if the semicolon in line is missing. Ralf -- foo.spad - rep x == (x@%) pretend Rep per x == (x@Rep) pretend % )nopile )abbrev domain FUNEXP FunctionExport

Re: [fricas-devel] More details about anonymous function bugs

2014-05-13 Thread Waldek Hebisch
jiazhaoconga wrote: I found 2 bugs about anonymous function. 1. In interpreter, when not specify type for an anonymous function, the anonymous function loses variable bindings of free variables in its body: Example: (1) - adder1 := x+-(y+-x+y) (1) x +- y +- x + y

Re: [fricas-devel] FriCAS API

2014-05-13 Thread Bill Page
On 13 May 2014 15:17, Ralf Hemmecke r...@hemmecke.org wrote: I have looked at your readthedocs site but I find I am rather skeptical of any advantage this form of documetation might have over hyperdoc. Oh. What about full text search? Yes, good. But this searches only the names, right?

Re: [fricas-devel] Re: nopile compilation

2014-05-13 Thread Waldek Hebisch
Ralf Hemmecke wrote: The following program does not compile, if the semicolon in line is missing. Ralf -- foo.spad - rep x == (x@%) pretend Rep per x == (x@Rep) pretend % )nopile )abbrev domain FUNEXP FunctionExport FunctionExport: with { con:

Re: [fricas-devel] FriCAS API

2014-05-13 Thread Ralf Hemmecke
Oh. What about full text search? Yes, good. But this searches only the names, right? If you mean the on-side search field... I don't exactly know what the corresponding javascript does. But since the site is on the web, there are more search engines around. There are all sorts of conversion

Re: [fricas-devel] Re: nopile compilation

2014-05-13 Thread Ralf Hemmecke
Thanks. This is known problem. I am still thinking on exact rules that we should use: in which places semicolons are just optional and in which are mandatory. Do you want something different from what Aldor has? At least in the program I've sent, I would expect the semicolon to be optional

Re: [fricas-devel] FriCAS API

2014-05-13 Thread Waldek Hebisch
Ralf Hemmecke wrote: What is your actual goal in this work? I never liked the HyperDoc-Browser very much. It feels unnatural to me. I cannot easily cutpaste something from HyperDoc. Well, easily cutpaste from HyperDoc is unimplemented. I do not think that adding cutpaste ability to

Re: [fricas-devel] Re: nopile compilation

2014-05-13 Thread Waldek Hebisch
Ralf Hemmecke wrote: Thanks. This is known problem. I am still thinking on exact rules that we should use: in which places semicolons are just optional and in which are mandatory. Do you want something different from what Aldor has? Aldor grammar is long and IMHO overengineered. I

Re: [fricas-devel] FriCAS API

2014-05-13 Thread Ralf Hemmecke
If you talk about modern format: my favorite would be something XML based. My point for rst and sphinx is: * rst is a text markup that looks reasonably good also in plain form. In other words, it's readable as ++ comments. TeX is too verbose. * For most ++ comments basic reStructuredText