Humberto,
Have you had a chance to test the latest version of build-improvements
on your MAC?
Anyone else done this?
Regards,
Bill Page.
On Tuesday, November 21, 2006 5:37 PM Gaby wrote:
>
> "Page, Bill" <[EMAIL PROTECTED]> writes:
>
> | Gaby,
> |
> | What is the current status of build-impr
Gaby,
What is the current status of build-improvements and compiling Axiom
on MAC OSX? Does this work out of the box, i.e. configure && make?
Does hyperdoc and graphics work? I am not able to test this at
the SourceForge farm.
I know someone working on Sage who would very much like to run
Axiom o
Hello,
Can I have in a package a function which define an other function
from its own parameters ? Why ?
---
I continue to search pretty expand, combine and rewrite functions over
expressions.
I have already defined a func
On Tue, 2006-11-21 at 22:14 +0100, Ralf Hemmecke wrote:
> > Rep and Per are good for many things, but it might be worth adding a
> > shorthand for 'my representation is just a record'. Don't think of Rep
> > as an instance variable - it's a mapping between your type and an
> > underlying one. Tha
"Antoine Hersen" <[EMAIL PROTECTED]> writes:
[...]
|
| I would like SPAD' to have a more functional flavor to it( personal taste)
|
| Good news with depend type no need for polymorphisms or GADT !!!
I believe there is place for both.
| Algebraic type will be great !!! but I guess we will also
On Tuesday, November 21, 2006 5:54 PM Tim Daly wrote:
>
> I've started experimenting with documenting Axiom using video.
> You can find the initial attempts, evolving rapidly, at:
>
> http://daly.axiom-developer.org/literate
>
> Please let me know which of the four video formats you prefer.
>
I've started experimenting with documenting Axiom using video.
You can find the initial attempts, evolving rapidly, at:
http://daly.axiom-developer.org/literate
Please let me know which of the four video formats you prefer.
The AVI format appears to be Camtasia specific and require a
Camtasia co
Page, Bill wrote:
> Gaby,
>
> What is the current status of build-improvements and compiling Axiom
> on MAC OSX? Does this work out of the box, i.e. configure && make?
> Does hyperdoc and graphics work? I am not able to test this at
> the SourceForge farm.
Not yet.
AXIOMsys builds with the inter
Rep and Per are good for many things, but it might be worth adding a
shorthand for 'my representation is just a record'. Don't think of Rep
as an instance variable - it's a mapping between your type and an
underlying one. That said, a default representation of Rep + Record
might be an interestin
in src/interp/bootlex.lisp you'll see the comment output
;;;Boot translation finished for ~a
this is written out if the file is successfully translated.
if the translation fails this line will not exist.
if a grep for this line fails then the translation failed.
t
Greetings! Just FYI -- some email failure appears to have completely
shut off axiom traffic :-(. I notice on the web a few outstanding
questions -- please try to mail me directly and I will do my best to
answer. (Cannot possibly do mail outside of emacs :-)).
As for solaris, the default config
Gaby,
If you plan to go ahead with the proposed documentation of
"new boot" (aka. SHOE) I would be delighted to help. Perhaps
you have said before, but could you please explain how to
call SHOE from the command line?
What I would like to do is to provide a environment in the
Axiom Wiki, e.g.
\
"Gernot Hueber" <[EMAIL PROTECTED]> writes:
| In the meantime I had a look to www.swig.org, which has been mention
| on the axiom-* lists recently. IMHO it should be possible to generate
| wrappers (lisp and aldor) with this tool - yet there is much black
| magic inside, especially the way to exte
Hi,
Gabriel Dos Reis writes:
"Gernot Hueber" <[EMAIL PROTECTED]> writes:
| In the meantime I had a look to www.swig.org, which has been mention
| on the axiom-* lists recently. IMHO it should be possible to generate
| wrappers (lisp and aldor) with this tool - yet there is much black
| magic
Waldek Hebisch <[EMAIL PROTECTED]> writes:
| Many systems (Linux, BSD and supposedly also Mac OS X) provide 'openpty'
| function as a preferred method to open a pty (for example on Linux
| 'openpty' will use Unix 98 ptys, but if those are not available it
| will fall back to legacy ptys). 'openpt
Gernot,
I'm very interested in your work but I'm still struggling with the
details of the elf-loader so you're way ahead of me. This looks like
a very interesting direction from my point of view.
If I can get the elf-loader to work it would be simple to lift the
library interfaces and expose the
Hello,
Here is a minimal package which recursively maps an expression.
I can compile it on the silver branch, but I can't use it.
In the interpreter I test :
EI := Expression Integer
pp (x:EI) : EI == x+1
mapRec (sin (sin x), pp)
-
17 matches
Mail list logo
