headers
Gabriel Dos Reis | 3 Mar 2008 12:00

Re: [open-axiom-devel] function returning a Domain

On Wed, Feb 27, 2008 at 11:15 PM, Bill Page <bill.page@...> wrote:
> Gaby,
>
>  I am testing:
>
>  http://axiom-wiki.newsynthesis.org/206InterpreterCodeGenerationFailedForFunctionReturningAType
>
>  that you marked "fixed in OpenAxiom-1.2.0". Refer to the end of the
>  issue report where a bug is shown in which shows the error message
>  "not a type". On the axiom-wiki I ran this example with
>  OpenAxom-20080128.
>
>  Below I have a different problem with a more recent version. It seems
>  that I can no longer evaluate this function that returns a Domain.
>
>  [root <at> andLinux open-axiom-src]# open-axiom
>  GCL (GNU Common Lisp)  2.6.8 CLtL1    Feb 27 2008 16:36:01
>  Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
>  Binary License:  GPL due to GPL'ed components: (BFD UNEXEC)
>  Modifications of this banner must retain notice of a compatible license
>  Dedicated to the memory of W. Schelter
>
>  Use (help) to get some basic information on how to use GCL.
>  Temporary directory for compiler files set to /tmp/
>              OpenAxiom: The Open Scientific Computation Platform
>                      Version: OpenAxiom 1.2.0-2008-02-22
>               Built on Wednesday February 27, 2008 at 22:45:14
>  -----------------------------------------------------------------------------
>    Issue )copyright to view copyright notices.
>    Issue )summary for a summary of useful system commands.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Martin Rubey | 4 Mar 2008 10:32
Picon
Picon
Favicon

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

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 report:

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,PositiveInteger) -> 
      Point DoubleFloat 
   Conversion failed in the compiled user function f .

   Cannot convert from type DoubleFloat to Point DoubleFloat for value
   2.0

Why is Axiom trying to compile f as function to Point DFLOAT?  Here is some
more info:

(2) -> )di op draw

There are 31 exposed functions called draw :
   [1] ((DoubleFloat -> DoubleFloat),Segment Float,List DrawOption) -> 
            TwoDimensionalViewport
(Continue reading)

Permalink | Reply | 1 comment |
headers
Bill Page | 4 Mar 2008 15:03
Gravatar

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

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,PositiveInteger) ->
>       Point DoubleFloat
>    Conversion failed in the compiled user function f .
>
>    Cannot convert from type DoubleFloat to Point DoubleFloat for value
>    2.0
>  ...
>  Why is Axiom trying to compile f as function to Point DFLOAT?
>
>  I guess that this is a similar problem as in #105 (watch out
> for
>
>  "Axiom chooses the wrong signature (it should use
>  integrate$RationalFunctionDefiniteIntegration)"
>

It might be related.

>
>  Should I attach this to #105 or open a separate issue?
>

I think you should open a separate issue report.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Bill Page | 4 Mar 2008 18:56
Gravatar

Re: [open-axiom-devel] tm_openaxiom

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.4 (January 17,
> 2005) and WinTexmacs 1.0.4.4. So, I have thought about updating
> Axiom, but binaries are only available for linux. Hence, I have installed
> the Windows port of OpenAxiom 1.1.0 (at this point, for me, I guess
> that the differences are irrelevant).
>

I think this OpenAxiom binary for Windows was originally prepared by
Alfredo Portes. He might have some more information about how it can
be used. I believe that internally there are some differences in how
the linux-type commands are handled but I am not sure it that will
affect you. So far it seems to work ok for me but I have not tested it
extensively.

> As you have written a version of tm_axiom.c for Windows, I wonder
> whether you have written also a version of "tm_openaxiom.c" to be
> able to have also an OpenAxiom session within WinTexmacs. Or, at
> least you could tell me what kind of changes have to be made on
> tm_axiom.c for this purpose.
>
(Continue reading)

Permalink | Reply | 1 comment |
headers
Alfredo Portes | 4 Mar 2008 19:14
Picon

Re: [open-axiom-devel] tm_openaxiom

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 pointed out:

OpenAxiom does not use any external env. variable.
You can run OpenAxiom in Windows by just invoking open-axiom in a
command prompt. (It is included in the path).
The use of --system is just needed if OpenAxiom is not installed in
the default "Program Files" directory.

Regards,

Alfredo

On Tue, Mar 4, 2008 at 12:56 PM, Bill Page <bill.page@...> wrote:
> 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.
>
(Continue reading)

Permalink | Reply | 0 comments |
headers
Bill Page | 4 Mar 2008 22:25
Gravatar

Re: [open-axiom-devel] tm_openaxiom

On 3/4/08, Alejandro Jakubi <jakubi@...> 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\OpenAxiom\bin\open-axiom.exe
>  --system="C:\math\OpenAxiom\lib\open-axiom\i686-pc-mingw32\1.1.0"
>
>  So, I know that no environment variable needs to be set up to run from the cmd
>  box. But, on the other hand Bill's version of tm_axiom.c uses the enviroment
>  variable AXIOM:
>
>  ===
>  ...
>  /* e.g. AXIOM=c:/Program Files/axiom/mnt/windows                        */
>    if (pAXIOM=getenv("AXIOM")) {
>      strcpy(AXIOM_exe,pAXIOM); strcat(AXIOM_exe,"/bin/AXIOMsys.exe");
>      strcpy(AXIOM_cmd,pAXIOM); strcat(AXIOM_cmd, "/bin/AXIOMsys.exe");
>      strcpy(ENV_AXIOM,"AXIOM="); strcat(ENV_AXIOM, pAXIOM);
>    } else {                               /* We need the AXIOM variable! */
>      printf("You must set the AXIOM environment variable, e.g.\n");
>      printf("  AXIOM=c:/Program Files/axiom/mnt/windows\n");
>      exit(1);
>    };
>  ...
>  ===
>
>  Hence, apparently, one way to adapt it for a tm_openaxiom.c would be to
(Continue reading)

Permalink | Reply | 0 comments |
headers
Bill Page | 5 Mar 2008 01:20
Gravatar

Re: [open-axiom-devel] tm_openaxiom

On 3/4/08, Alfredo Portes wrote:
>
>  Where can I get tm_axiom? so I can test it with OpenAxiom.
>

Look at:

  http://axiom-wiki.newsynthesis.org/TeXmacs

The tm_axiom download link is:

  http://axiom-wiki.newsynthesis.org/public/tm_axiom.zip

You can also download WinTeXmacs here from:

  http://axiom-wiki.newsynthesis.org/public/wintexmacs-1.0.5.exe

After you unzip tm_axiom.zip into your  'c:\msys\1.0\home' directory,
apply the following patch to 'tm_axiom.c':

$ diff -Naur --exclude='*.exe' --exclude='*.o' tm_axiom tm_open-axiom
diff -Naur --exclude=*.exe --exclude=*.o tm_axiom/tm_axiom.c
tm_open-axiom/tm_axiom.c
--- tm_axiom/tm_axiom.c Tue Dec 21 03:51:30 2004
+++ tm_open-axiom/tm_axiom.c    Tue Mar  4 18:46:48 2008
 <at>  <at>  -37,7 +37,7  <at>  <at> 
  * Modified by Bill Page 20041215
  * - add call to Robert Sutor line-break routine
  * Modified by Bill Page 20041217
- * - initialize AXIOM_exe from AXIOM environment variable
(Continue reading)

Permalink | Reply | 3 comments |
headers
Bill Page | 5 Mar 2008 02:01
Gravatar

Re: [open-axiom-devel] tm_openaxiom

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 *you*,
  then I think we should include this new 'tm_open-axiom.exe' in the
  OpenAxiom for Windows installer program.

Also, here is a more accurate patch for the changes required to
'init-axiom.scm':

bpage <at> DRDKIM-SYSMGR5 /c/My Program Files/WinTeXmacs/TeXmacs/plugins/axiom/progs
$ diff -au 'Copy of init-axiom.scm' init-axiom.scm
--- Copy of init-axiom.scm      Wed Apr 27 06:46:28 2005
+++ init-axiom.scm      Tue Mar  4 19:17:35 2008
 <at>  <at>  -17,7 +17,7  <at>  <at> 
   (lazy-input-converter (axiom-input) axiom))

 (plugin-configure axiom
-  (:require (url-exists-in-path? "AXIOMsys"))
+  (:require (url-exists-in-path? "open-axiom"))
   (:initialize (axiom-initialize))
-  (:launch "tm_axiom")
-  (:session "Axiom"))
+  (:launch "tm_open-axiom")
(Continue reading)

Permalink | Reply | 2 comments |
headers
Alfredo Portes | 5 Mar 2008 02:31
Picon

Re: [open-axiom-devel] tm_openaxiom

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 <bill.page@...> 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 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 *you*,
>
>   then I think we should include this new 'tm_open-axiom.exe' in the
>   OpenAxiom for Windows installer program.
>
>  Also, here is a more accurate patch for the changes required to
>  'init-axiom.scm':
>
>
>  bpage <at> DRDKIM-SYSMGR5 /c/My Program Files/WinTeXmacs/TeXmacs/plugins/axiom/progs
>  $ diff -au 'Copy of init-axiom.scm' init-axiom.scm
>  --- Copy of init-axiom.scm      Wed Apr 27 06:46:28 2005
(Continue reading)

Permalink | Reply | 1 comment |
headers
Bill Page | 5 Mar 2008 02:58
Gravatar

Re: [open-axiom-devel] tm_openaxiom

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 anywhere within the 'tm_axiom.c' code.

Do you see 'OpenAxiom' under the Insert/Session menu?

What happens outside WinTeXmacs, just in MSYS when you write:

bpage <at> DRDKIM-SYSMGR5 ~
$ cd tm_open-axiom

bpage <at> DRDKIM-SYSMGR5 ~
$ unset OPENAXIOM

bpage <at> DRDKIM-SYSMGR5 ~/tm_open-axiom
$ tm_open-axiom
You must set the OPENAXIOM environment variable, e.g.
  OPENAXIOM=C:/Program Files/OpenAxiom/lib/open-axiom/i686-pc-mingw32/1.1.0

bpage <at> DRDKIM-SYSMGR5 ~/tm_open-axiom
$ export OPENAXIOM='C:/My Program Files/OpenAxiom/lib/open-axiom/i686-pc-mingw3
2/1.1.0'
(Continue reading)

Permalink | Reply | 0 comments |

Gmane