> Unfortunately, algorithms not only must be proved
> mathematically correct, but also be implemented correctly.
>
> There is no fail-safe way to do mathematics other than
> never leaving any "trivial" or "obvious" claims unchecked,
> by multiple referees who would have to do the hard work.
> N
On 03/06/2015 06:32 AM, d...@axiom-developer.org wrote:
There is a technology called d3.js that looks especially interesting:
https://github.com/mbostock/d3/wiki/Gallery and I have spent a little
time looking at it. It is data driven so Axiom can feed it data just
like it does for the current
>> It is vital that we make the strong connection between group theory
>> and Spad completely transparent. People need to have a presentation
>> that makes it easy to move between group theory and Spad.
>
>There is a book, which I like, called 'Visual Group Theory' [Nathen
>Carter, 2009]. This loo
>My recollection was that it was widely advertised to the larger AXIOM
>community -- all flavors included.
Indeed I see there are entries in the Axiom email archives.
The first mention appears to be under the topic of moving
the Wiki so it was a fairly chaotic time in my life.
My memory is not n
Richard,
Can you send me a copy of the code related to the paper 'extrat.pdf'?
Tim Daly
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
Alex, Heow,
Axiom is implemented mostly in Common Lisp. The original system had
code which was in C (hyperdoc and graphics). It also had 2 layers of
pre-lisp languages, Meta and Boot.
Meta was used to specify syntax. I rewrote that code and Meta is no
longer part of the system, simplifying the b
Alex, Heow,
When I got the source code of Axiom from NAG I was getting back code
I had written at IBM 15 years earlier. I found the source code hard
to understand even though I strive to write dirt simple code.
In addition, the algebra implementation code was completely divorced
from the support
Alex, Heow,
This is a piece of code that extracts source code from a literate file.
The literate file is assumed to be latex. There are two type of syntax
used in Axiom. One is the standard noweb syntax:
<>=-- define the chunkname
@-- end the chunkname
<> -- use
Martin, Waldek,
I've attached the regress.lisp.pamphlet file.
notangle -t8 regress.lisp.pamphlet >regress.lisp
should extract the lisp code. If you add this file to your system
and add the following stanzas to your Makefile you can install the
regression test files. I've been converting the s
>>In general, I fee that instead of guessing what given construct
>> means you should just throw errors; once an unhandled construct
>> appears it is easy to catch errors in the debugger and find out
>> what it means. If you try to mask errors debugging becomes much
>> harder
> That's OK with me.
Good day,
If you are interested in starting your own hosting company, please email us.
We can setup the whole company for you for only ZAR 100.00 (USD15.38). This
includes all the fees. After you have paid the setup of ZAR 100.00 you will
never have to pay us any fees again. So you keep 100% of
quit
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
this is a message for axiom developer..it will end
up on bill.page1@ inbox which means there is a forwrading set on
axiom-developer@
testing
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-
this is a test sent directly from the server, by telneting into the port 1025
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
The build-improvements branch uses automake.
I believe the process is just:
./configure
make
but Gabriel (Gaby) is the author of the new makefiles
and can answer questions about it better than I can.
He's copied here as Gabriel Dos Reis <[EMAIL PROTECTED]>
t
___
Subject: Doyen, Magnus distribution
Reply-to: [EMAIL PROTECTED]
--text follows this line--
(copy to the mailing lists of a Doyen email...)
oh, and while i've got you on the phone, so to speak, here's another
thing to consider.
both axiom and magnus use custom front-end software for most of their
On Monday, November 14, 2005 8:45 AM Tim Daly wrote:
>
> > Subject: lisp webserver
> > From: "Tim Daly Jr." <[EMAIL PROTECTED]>
> > To: [EMAIL PROTECTED]
> > Content-Type: text/plain
> > Date: Mon, 14 Nov 2005 11:29:43 +0100
> >
> > If you want to bolt Lisp onto a webserver, the sweet spot
> >
Kai,
As I mentioned it is important to the long term goals of the project
that we document the new work we are doing. The original developers,
including myself, did not do a good job documenting the system which
makes it very difficult to maintain and modify. Going forward we don't
want to continu
I have tried to compile axiom on an amd64 3500+ machine running suse linux
9.2 (64 bit), but it did not work (see below).
Is it possible to compile axiom on this machine using 32 bit libraries only ?
Any assistance on what to do would be much appreciated - thanks.
Regards,
C. Frangos.
Outpu
On June 17, 2005 9:04 AM C. Frangos wrote:
> (1) Is there a short way of declaring all variables in an
>axiom function to be local ?
>
>In Matlab this is automatically the case and global variables
>have to be specifically declared.
>
>In axiom it seems that its the opposite, crea
17 June 2005
Some time ago, I managed to get axiom running under suse linux 7.2 (graphics
not working). Recently I downloaded the latest version and got it running
under suse linux 9.2 (with working graphics) on another machine.
I am trying to convert some of my Matlab m-files to axiom. Any
as
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
22 matches
Mail list logo