Re: [fricas-devel] Intepreter: type declaration ignored in == AND: BOOT::|sayFunctionDeps| is undefined.

2018-07-10 Thread oldk1331
> (2) -> y:Integer == 1 >Type: Void This is a strange way to input in FriCAS, it actually defined a rule for ':' (1) -> y:Integer == 1 Type: Void (2) ->

Re: [fricas-devel] fail to install

2018-07-10 Thread oldk1331
Hello, one of my friend has the exactly the same problem, the cause is: you are using 32 bit SBCL on a 64 bit operating system. Install a 64 bit SBCL will solve this problem. On Sat, Jun 23, 2018 at 7:22 AM, George HammerFull wrote: > Good day everyone. > > My operation system is Linux Mint

Re: [fricas-devel] Intepreter: type declaration ignored in == AND: BOOT::|sayFunctionDeps| is undefined.

2018-07-10 Thread Bill Page
On Tue, Jul 10, 2018 at 11:51 AM, Riccardo GUIDA wrote: > > Command line interpreter: I realize that type declaration is ignored > in delayed assignment == even for variables (see [1] for a similar > behavior for functions) > > Same behavior from .input file. > Although this terminology is used

Re: [fricas-devel] Fricas on SPAD vs Fricas on Aldor?

2018-07-10 Thread Peter Broadbery
On 10 July 2018 at 18:44, Ralf Hemmecke wrote: > On 07/10/2018 06:35 PM, Waldek Hebisch wrote: > > Just a comment: current Spad compiler essentially imports every > > domain that is sees: types of function arguments, type of value, > > etc. This is creasy, because set of visible functions

Re: [fricas-devel] Fricas on SPAD vs Fricas on Aldor?

2018-07-10 Thread Ralf Hemmecke
On 07/10/2018 06:35 PM, Waldek Hebisch wrote: > Just a comment: current Spad compiler essentially imports every > domain that is sees: types of function arguments, type of value, > etc. This is creasy, because set of visible functions depends > on exact computation path taken in the compiler --

Re: [fricas-devel] Fricas on SPAD vs Fricas on Aldor?

2018-07-10 Thread Peter Broadbery
[Replying privately as not totally thought through] Proposal sounds like its ok, but does it deal with package imports, especially for things like map and reduce operations? To be a bit more specific my plan for aldor is to 1) introduce 'import from F', where F is a domain or package

Re: [fricas-devel] Fricas on SPAD vs Fricas on Aldor?

2018-07-10 Thread Waldek Hebisch
Peter Broadbery wrote: > > A second issue is that Aldor is much stricter about imports and function > declarations. I have a set of changes that may help to address these, but > there is a bit more to do. If there's anyone who wants to help with these, > it would be appreciated. Just a

[fricas-devel] Intepreter: type declaration ignored in == AND: BOOT::|sayFunctionDeps| is undefined.

2018-07-10 Thread Riccardo GUIDA
Hi Command line interpreter: I realize that type declaration is ignored in delayed assignment == even for variables (see [1] for a similar behavior for functions) Same behavior from .input file. AND At the same occasion I get a weird system error in )display properties, which might interest

Re: [fricas-devel] interoperability with sage again

2018-07-10 Thread 'Martin R' via FriCAS - computer algebra system
Thanks Waldek! I am currently preparing a proper patch. I decided to try a few approaches, so it won't be before tonight... Martin Am Dienstag, 10. Juli 2018 17:30:18 UTC+2 schrieb Waldek Hebisch: > > Martin R wrote: > > > > Dear all, > > > > as you may know, I am trying to improve the

Re: [fricas-devel] interoperability with sage again

2018-07-10 Thread Waldek Hebisch
Martin R wrote: > > Dear all, > > as you may know, I am trying to improve the accessibility of FriCAS from > sage, since some people (including myself) value FriCAS strengths. > > I wanted to add functionality to translate FriCAS' sums and products into > sage's, but ran into a stupid

Re: [fricas-devel] Re: InputForm again

2018-07-10 Thread Bill Page
On Mon, Jul 9, 2018 at 7:57 AM, 'Martin R' via FriCAS - computer algebra system wrote: > I should add: I am well aware that I asked this question before, > for example in > > https://groups.google.com/forum/#!topicsearchin/fricas-devel/inputform/fricas-devel/EDdvs1MaJNA > > but the answers back