Re: [open-axiom-devel] tm_openaxiom

2008-03-04 Thread Bill Page
On 3/4/08, Alfredo Portes wrote: > On Tue, Mar 4, 2008 at 8:58 PM, Bill Page wrote: > > Did all of the changes apply via 'patch' without problems? > > > I applied the changes manually. > Can you compare your modified file to the one I just sent to Alejandro Jakubi (Cc: to you)? > > > Did the

Re: [open-axiom-devel] tm_openaxiom

2008-03-04 Thread Bill Page
On 3/4/08, Alejandro Jakubi wrote: > > Thank you for the patch. However, I have got a compilation error. > > I have edited tm_axiom.c with these lines instead and renamed it as > tm_openaxiom.c. Then compiled it with MinGW-5.1.3: > > gcc tm_openaxiom.c texbreaker.c -o tm_open-axiom > > tm_open

Re: [open-axiom-devel] tm_openaxiom

2008-03-04 Thread Bill Page
On 3/4/08, Alfredo Portes wrote: > > I applied the changes, but I get an error "cannot open pipe". > Did all of the changes apply via 'patch' without problems? Did the result compile without errors? Where does the error "cannot open pipe" appear? It does not seem to be an error generated anywhe

Re: [open-axiom-devel] tm_openaxiom

2008-03-04 Thread Alfredo Portes
Hi Bill, I applied the changes, but I get an error "cannot open pipe". Regards, Alfredo On Tue, Mar 4, 2008 at 8:01 PM, Bill Page <[EMAIL PROTECTED]> wrote: > On 3/4/08, I wrote: > > > > These changes seem to work fine for me. If it also works for me, then > > I think we should include thi

Re: [open-axiom-devel] tm_openaxiom

2008-03-04 Thread Bill Page
On 3/4/08, I wrote: > > These changes seem to work fine for me. If it also works for me, then > I think we should include this new 'tm_open-axiom.exe' in the > OpenAxiom for Windows installer program. > What I meant of course was: These changes seem to work fine for me. If it also works for

Re: [open-axiom-devel] tm_openaxiom

2008-03-04 Thread Bill Page
- process Axiom output with no LaTeX content, e.g. * )set output tex off * )set output algebra on + * Modified by Bill Page 20080304 + * - revised AXIOM_cmd for open-axiom + * - use OPENAXIOM environment variable **/ #in

Re: [open-axiom-devel] tm_openaxiom

2008-03-04 Thread Bill Page
On 3/4/08, Alejandro Jakubi <[EMAIL PROTECTED]> wrote: > Hi Bill and Alfredo > > My question is about setting up WinTexmacs to run also an OpenAxiom 1.1 > session. Indeed OpenAxiom 1.1 opens fine within a cmd box, just clicking on > the desktop icon, which for my setting executes: > > C:\math\O

Re: [open-axiom-devel] tm_openaxiom

2008-03-04 Thread Alfredo Portes
Hi Alejandro, Bill, I think Gaby uploaded a corrected version of OpenAxiom-1.1.0.exe. I didn't include some of the Linux binaries still necessary in Windows (rm, cp, cat ..). Gaby is now aware of this and in the future a more platform independent solution should be implemented. Like Bill already

Re: [open-axiom-devel] tm_openaxiom

2008-03-04 Thread Bill Page
On 3/3/08, Alejandro Jakubi wrote: > > I intend to continue the long process of getting acquainted > with Axiom and for this purpose I find very convenient the use > of the Texmacs GUI. > Good. I am very interested in your experience with this. > Currently, on Windows, I have installed Axiom 0.1.

Re: [open-axiom-devel] bug in type inference for anonymous functions

2008-03-04 Thread Bill Page
On 04 Mar 2008 10:32:30 +0100, Martin Rubey wrote: > > I find the following behaviour very confusing: > > (1) -> f(x,y)==x+y >Type: Void > (2) -> draw(x +-> f(x,2), 0..1) >Compiling function f with type (DoubleFloat,Positive

[open-axiom-devel] bug in type inference for anonymous functions

2008-03-04 Thread Martin Rubey
Dear all, I'm copying this to open-axiom, in the hope that somebody there is also interested in looking at the algorithm that chooses the signatures. Note that I did already a very little research on that topic, see http://groups.google.at/group/fricas-devel/msg/7133b4ee2b13055b Now the main r