Francois,
The problem is likely related to the debian version from 2005.
You can try invoking it with:
setarch i386 -R axiom
The problem is that you need to be a debian committer in order
to update and I don't have that ability.
A better alternative is to download from the ubuntu binary
i tried to draw a surface, typing 'z' instead of 'y' :
draw(surface(x,x*x,y),x=0..5,z=0..3)
axiom (and open-axiom/gcl) responds with
...
...
Loading /usr_local/axiom0309/mnt/opensuse/algebra/PALETTE.o for
domain Palette
OK. this is bug 7195
I'm not going to do any work, that is rejected before planning stage.
It is a mere waste of time, I'm not going to live forever or wait forever,
even 5 years is too much.
...[snip]...
Axiom is a long term project. The theme is the 30 year horizon. The
point is to make the code live despite
On slackware 12.2 I applied your patch to use the Xpm shared library.
I built Axiom from scratch using the shared library.
When I started Axiom the Hyperdoc browser shows a blank page.
I downloaded and built the libXpm.a from the sources I posted.
I rebuilt Axiom from scratch using the static
On slackware 12.2 I applied your patch to use the Xpm shared library.
I built Axiom from scratch using the shared library.
When I started Axiom the Hyperdoc browser shows a blank page.
Too strange! ;) Works fine for me on Slackware 12.1.0, which uses the same xpm
library version as
On slackware 12.2 I applied your patch to use the Xpm shared library.
I built Axiom from scratch using the shared library.
When I started Axiom the Hyperdoc browser shows a blank page.
Too strange! ;) Works fine for me on Slackware 12.1.0, which uses the same xpm
library version as
Well, just for superstition I did a rebuild of Axiom using shared
libraries before I did a complete slackware install. The Hyperdoc
home page still showed up blank.
Next I completely reformatted the machine, did a slackware install
but this time I let it install everything from the DVD (4.2
perhaps? For example:
(1) - )fin
BOOT (defun foo ())
FOO
BOOT(compile 'foo)
cc1: error: /root/axiom/mnt/slackware/bin/..h: Permission denied
Correctable error: (SYSTEM gcc -c -Wall -DVOL=volatile -fsigned-char -pipe
-I/root/axiom/mnt/slackware/bin/../h -O3 -fomit
Thanks for the test and the bug fix for directories.
That fix is queued behind 2 other changes in the change queue.
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Michael,
Thanks. I can reproduce that. Its a missing script and I'll add it.
You can put this in your $AXIOM/lib subdirectory, do a chmod +x SPADEDIT
and it will work:
=
#!/bin/sh
# this script is invoked by the spad )edit
As Dick Jenks explained it to me when I joined the Axiom project in 1984,
the Boot language was intended as a boot-strap step to eventually implement
the entire system in the Spad language. The idea was first to convert to a
language that was syntactically similar to Spad, then convert it to
Slackware doesn.t have static library libXpm.a:
I have found the sources and am able to build the missing file.
http://axiom-developer.org/axiom-website/Xpm.tgz
contains the Xpm sources and you can buid libXpm.a from there.
Tim
Not a graceful way.
libXpm is part of X
The OpenAxiom project has the exact opposite goal of writing everything
in boot and developing boot as a language.
Alright, now that becomes more clear.
What is common between Axiom and OpenAxiom then?
You have the sources. Do
diff -r --brief axiom openaxiom
and you'll see that they
Given that the goals of OpenAxiom are directly opposed to the stated
project goals of Axiom, how do you see that this difference should be
resolved?
I repeat, that from user point of view the difference between projects
is that one builds and another does not. While I can build FriCAS
Note, that I'm not interested in your political agenda, like to Boot or
not to Boot, or to tangle or not to tangle. I'm interested in real world
applications, those used by real life engineers, researchers or students.
As for now I can offer them OpenAxiom and FriCAS, but not Axiom, because
Frankly I think it would be better to use the shared lib by default.
Don't know what you think but a lot of distributions ship only the
shared lib and I would be surprised if that will not continue.
Greg,
I did consider using the shared library but was unable to make it work.
There appears to
Actually, a patch for this problem was posted a year ago (and even long
before
counting the build-improvements branch). I was (mistakenly) under the
impression it was applied:
http://lists.nongnu.org/archive/html/axiom-developer/2008-05/msg0.html
On Sun, Apr 12, 2009 at
Please, continue your regularly scheduled work and ignore
my suggestion (which Stephen reproduced) that happens to work
for OpenAxiom and FriCAS in the real world on real systems
(including the one you are talking about.)
Gaby,
So far I've discussed the problem on and off list.
I've searched
All I asked was, did anyone test the patch.
Yes. It succeeds on one , and failed on another one -- the one it failed
one was one you did not anticipate (a 64-bit machine that has its
libs in a slightly different place) in the long list of special Makefiles.
Excellent. Which systems were
Igor,
Slackware doesn.t have static library libXpm.a:
# ls /usr/X11R6/lib/libXpm.* -lh
-rwxr-xr-x 1 root root 881 2007-09-16 03:50 /usr/X11R6/lib/libXpm.la
lrwxrwxrwx 1 root root 16 2008-06-29 21:27 /usr/X11R6/lib/libXpm.so -
libXpm.so.4.11.0
lrwxrwxrwx 1 root root 16 2008-06-29 21:27
It is a bit hard to clearly describe differences between the forks,
because for the end user it is currently nearly invisible.
Ralf,
I'm not sure that this is true anymore.
Axiom has been concentrating heavily on documentation and the
results are visible primarily to the end user.
Axiom
well, there are an average of more than 1 post per day over the last
few years so the answer is likely yes. -- Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
I'm trying to build Axiom from sources on Slackware
(using recent GIT version):
# echo 0 /proc/sys/kernel/randomize_va_space
# export AXIOM=`pwd`/mnt/linux
# export PATH=$AXIOM/bin:$PATH
# make
I get this error after about a year of my tries :-)
Igor,
slackware is not one of the
Thanks for the pointer.
Actually, Tony Hearn gave us the sources a few years ago although
we have not been distributing them.
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Michael,
Thanks for the bug report. I'll look into it. -- Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
From: synas...@info.uvt.ro
To: synas...@info.uvt.ro
Subject: 1st CFP - SYNASC 2009 - 11th International Symposium on Symbolic and
Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29, Sep,
2009
Date: Mon, 23 Mar 2009 12:06:47 +0200 (EET)
[Please post - apologies for multiple
You may have heard about the SCIEnce project (Symbolic Computation
Infrastructure for Europe, http://www.symbolic-computation.org/ ).
Recent activities in that project include the development and
implementation of a protocol called ``Symbolic Computation Software
Composability Protocol'',
You may have heard about the SCIEnce project (Symbolic Computation
Infrastructure for Europe, http://www.symbolic-computation.org/ ).
Recent activities in that project include the development and
implementation of a protocol called ``Symbolic Computation Software
Composability Protocol'',
Camm,
Did you ever get a chance to try
make clean
make NOISE=
and store the log somewhere? The NOISE= option keeps the build
process from throwing away standard output so we can see what
might be failing.
Tim
___
Axiom-developer mailing list
Your function
getDomains(cat:Symbol):Set Symbol ==
set map(d+-symbol first destruct first destruct d, destruct
domainsOf(cat,nil)$Lisp)
can trigger an autoload of the browser if you add |domainsOf| to the
browser-functions list in util.lisp
alternatively, you can call:
)lisp
Camm,
#\Newline is a character in the input stream.
If (read-char-no-hang) returns nil when there is no character
and it retuns nil on a newline how can I distinguish the cases?
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
Camm,
It appears that the change to read-char-no-hang no longer returns EOF in:
(read-char-no-hang str nil 'eof)
It returns NIL instead. Thus I cannot distinguish between the lack of
a character and the end of the input data, causing an infinite loop.
Tim
Camm,
I never implemented this change because I never understood compiler::link
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Camm,
I don't understand why you are getting that error.
Can you do:
make clean
make NOISE=
and put the complete console log someplace?
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
Could you please refresh my memory how one escapes to a lisp prompt,
and then gets back to the axiom prompt? I have the failure setup on a
test machine.
)lisp sexpr..
or
)fin == leave top level axiom prompt for lisp prompt
(restart) = restart axiom
)set break break
will cause Axiom to drop into a lisp break loop rather than returning
to the top level.
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
The key place where I'm finding build problems is on OSX 10.4
Do you know what is required to get GCL to build there?
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Camm,
Loading /home/camm/axiom-20081101/mnt/linux/autoload/htcheck.
Warning: macro table not found
What sources are you using? This bug was fixed a while ago.
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
Thoses gold sources certainly compile on other platforms so I'm not sure
the failure lives in the Axiom source code.
What version of GCL are you using? (See the top level Makefile and search
for GCLVERSION
Some platforms are sensitive to the version used.
There are 4 version, the gcl 2.6.7,
EXPEXPAN is the most complex of the algebra compiles.
It does compile on all of my platforms, which includes about 1 dozen
(see http://axiom-developer.org/axiom-website/download.html)
What platforms fail?
Tim
___
Axiom-developer mailing list
Rob,
I've fixed the problem.
I put the vector platform and the binary on the binary download page:
http://axiom-developer.org/axiom-website/download.html
Now that I've built a vector linux machine for it I'll post a new
version with each Axiom release (every 2 months).
The fix has to go thru
I can reproduce your problem but do not yet have a solution.
make LDF=-L/usr/lib should work but the vector linux version
of libXpm does not contain XpmReadFileToImage.
I'm not sure why libXpm.a is missing this function.
I'm still searching for clues.
Tim
From: root d...@axiom-developer.org
Subject: Re: [Axiom-mail] Axiom installation on Vector linux
To: rcari2...@yahoo.com
Cc: d...@axiom-developer.org, axiom-developer@nongnu.org
Date: Sunday, December 14, 2008, 10:18 AM
I can reproduce your problem but do not yet have a solution.
make LDF
Rob,
I should note that you have a running axiom called AXIOMsys on your system.
If the $AXIOM and $PATH variables are set per instructions then you can
just type AXIOMsys and it will start.
So you don't have to wait for my patch. My patch involves the graphics
subsystem.
Tim
Thanks. I'll apply it at the next update. -- Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
If available time is an important issue, why choose to use a
browser/javascript solution for the Axiom front-end and documentation
system when almost everything will take much longer to develop than
with a Java-based solution?
Why would it take longer? Most of what gets displaying is hyperlinked
Ted,
Here is an example of a web-based dynamic graph that you may find
interesting. The data is in German, but the graph can contain text in
any language (Just drag on the image and click on the edges to make it
move):
http://www.mfirst.de/wi/
The software is called HyperGraph and it is open
I am working on a javascript version of the hypergraph
similar to what you suggest. The key advantage of a javascript
implementation is that I can embed it in the new Axiom Firefox
browser front end. This will allow me to dynamically look up
information during the graph traversal.
One
Don't worry: I am bound to be productive into translating code from
MuPAD to Sage :-) And the MuPAD's category hierarchy is quite similar
(since inspired from) Axiom's.
Do you have information about MuPad's categories?
Tim
___
Axiom-developer mailing
There are at least two possible paths toward a category hierarchy in Sage,
adopting Axiom's version or designing a new one.
The key advantage of adopting the Axiom category hierarchy is the Sage
system could reuse a lot of the algorithms in Axiom. The Spad language
used in Axiom is similar in
Mike,
On Sun, Nov 9, 2008 at 1:21 PM, root [EMAIL PROTECTED] wrote:
There are at least two possible paths toward a category hierarchy in Sage,
adopting Axiom's version or designing a new one.
The key advantage of adopting the Axiom category hierarchy is the Sage
system could reuse a lot
The most likely cause of the mismatches are due to the precision
used in the system numeric libraries. Are any of the failures
caused by things other than numeric output? The test cases use
a pure string compare so 3.14159 and 3.1415 will be considered
different.
If any of the failures are not
Roberto,
Sorry, just got back online and saw your email.
What exactly is the failure you see?
Can you tell me where you got your slackware distro?
What version is it? I'll set up a virtual machine and do a build.
Tim
___
Axiom-developer mailing
Have you looked at clojure? I was very skeptical of this lisp-on-jvm
but he makes some very good points about scaling on multiple processors.
I think this topic will become important in future CAS systems and he
seems to have spent a good deal of time on that subject. I strongly
recommend
Stephen,
I'm finally free of the constraints for a bit. I will look at what
you sent in detail.
Have you looked at clojure? I was very skeptical of this lisp-on-jvm
but he makes some very good points about scaling on multiple processors.
I think this topic will become important in future CAS
John,
As the outgoing editor-in-chief of the LMS-JCM (London Mathematical
Society Journal of Computation and Mathematics) (for the next 5 days,
when Derek Holt takes over), and also an editor of the Journal of
Algebra's Section on Computational Algebra, I feel obliged to ask
exactly what the new
Amelia,
Having been a long and vocal supporter of literate publication,
I support your effort on this new Journal.
The Axiom project would be glad to participate.
Tim Daly
Axiom Lead Developer
___
Axiom-developer mailing list
Amelia, Greg,
Having been a long and vocal supporter of literate publication,
I support your effort on this new Journal.
The Axiom project would be glad to participate.
Tim Daly
Axiom Lead Developer
___
Axiom-developer mailing list
Hi. Dan Grayson sent Greg and me a message letting us know about this
discussion and I thought it might be helpful for if I joined the
discussion as one of the managing editors.
SNIP
I'm delighted that the journal has generated so much discussion.
Yes, I think that forces between the
The latest documentation work is creating a full graph of the Axiom
algebra as part of the bookvol10* buildout. This could be useful in
guiding your work in building a CLOS version.
I have been watching your progress and bookvol10 is looking very good.
It should be fairly easy to write a lisp
The latest documentation work is creating a full graph of the Axiom
algebra as part of the bookvol10* buildout. This could be useful in
guiding your work in building a CLOS version.
I have been watching your progress and bookvol10 is looking very good.
It should be fairly easy to
[EMAIL PROTECTED]
...celebrating the 50th birthday of Lisp at OOPSLA 2008
Monday, October 20, 2008
Nashville, Tennessee, USA
co-located with OOPSLA 2008
participation is free for all OOPSLA participants
registration for at least one conference day at OOPSLA is required
URL: http:www.lisp50.org
--- Start of forwarded message ---
Date: Thu, 11 Sep 2008 08:24:25 -0500
From: Matt Kaufmann [EMAIL PROTECTED]
To: [EMAIL PROTECTED]
Subject: FWD: Special issue on Programming Languages and Mechanized Mathematics
Systems (JAR)
CALL FOR PAPERS
Special
Pippijn
The other package consists of Rona and all makefiles, scripts and other
files that form the build system. The scripts and makefiles are
distributed under the terms of the GNU Affero General Public License
version 3. This archive can be distributed commercially, the Aldor
Software
I wish you would consider simply adopting the Modified BSD license. It
would make it much easier to integrate your work (albeit not Aldor
itself) directly with Axiom. Adding yet-other-licenses to the pile is
only going to make Aldor yet-more-difficult to use.
I chose to licence them as ISC,
I wish you would consider simply adopting the Modified BSD license. It
would make it much easier to integrate your work (albeit not Aldor
itself) directly with Axiom. Adding yet-other-licenses to the pile is
only going to make Aldor yet-more-difficult to use.
I chose to licence them as ISC,
What I'd like to figure out is how to get the relative coordinates
of the mouse so I could use the mouse click to choose the algebra
file. I hope to use this to drive the documentation in the new
firefox front end; click on a domain and you hyperlink into the
proper place in the books,
For a small subset of the algebra and showing only the abbreviations
I have created a test page. To see the page you'll need a rather new
copy of the browser. Go to:
http://daly.axiom-developer.org/dotabb.html
The blue rectangles are categories, the yellow rectangles are domains.
I'm
In the documentation it states:
Note that using the # operator on a list with cycles
causes Axiom to enter an infinte loop
See:
http://axiom-developer.org/axiom-website/documentation.html
in Volume 0: Axiom Jenks and Sutor p41
Tim
...[private reply snip]...
Consider the type
Bill,
Since you are posting this to the Axiom mailing list I'd suggest
that you try it in Axiom and post the result. If it fails, please
post a patch to this mailing list that fixes the problem.
Tim
___
Axiom-developer mailing list
I'm new to axiom and tried to count the elements in a cyclic list and
expected to get %PositiveInfiniy as Answer. Instead it resulted in an
infinite loop. Version is Axiom 3.9 (September 2005)
===
What I've did:
u:= [9,2,4,7]; concat! (u, [1,2,42]); end :=
Function selection for overloaded functions is driven by the cost
estimate of the function. This is useful information for someone
skilled at reading the output of )set mes bot on
this is due to Bill Page, although I doubt it was intended for general
audience...
Martin
+20080828 mxr
you really have to see this series of videos.
these people have done a truly amazing job.
http://www.dimensions-math.org/Dim_regarder_E_E.htm
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
there is a new extension to the syntax to add examples. Essentially
any line that begins with ++E will be output as Example documentation
to the display command. So the coerce from Tuple now reads:
coerce: PrimitiveArray S - %
++ coerce(a) makes a tuple from primitive array a
But you remember there were pages in hyperdoc that could be explicitly
executed by pressing a button. So if that is connected to ++E and ++R
that would not be a problem, because the user asked for it. Well of
course, you must check that the user did not modify the ++E stuff before
you compare
Ideally the user just runs bugreport and everything gets sent to
us.
Note that people want to see what gets sent to a remote site. No system
nowadays sends any information of the user system automatically, but
rather pop up a window. See for example how bugs are sent in firefox.
Oh,
One hole in the documentation layering is that the )help files
should show examples of the use of every function in the export list.
This is currently not the case and I'll look at fixing that as part
of the display test cases.
Tim
___
Axiom-developer
I am getting increasingly interested in literate programming. There are a
few questionmarks I am turning at the idea of turning the aldor compiler
sources into literate programs.
I have a long term interest in making Aldor be literate when it
becomes part of Axiom. If the code had been released
I think now I understand what allowing Unicode in a programming language
might bring.
Watch the talk of Guy Steel
http://www.infoq.com/presentations/fortress-steele
in particular around the following times:
16:00 min -- 19:35 min
34:00 min -- 42:00 min
52:00 min
and maybe the whole talk
[EMAIL PROTECTED] writes:
Yes, yes, it is easy to criticize and whats really needed is energy
and effort... well I hope to try some more... but the structure of the
files makes it very difficult to follow. When one only has a limited
amount of time to contribute it is really depressing
Do you want your code to live?
That's a very interesting question. When I was much younger, I used to
think I did. But when you realize that an awful lot of code isn't meant
to live -- it's meant to solve an immediate problem, and then be
discarded -- then you don't care whether it lives or not.
All axiom development is done in git. The silver version
is available in git at axiom-developer.org. The released
gold version is on github.
I maintain a shadow copy of the axiom development tree
on sourceforge in SVN, the so-called silver version.
SVN has failed, yet again. Now it won't
axiom.sty should be placed last in the include list.
axiom.sty uses \providecommand which will define the macro only
if it does not already exist so it will not cause redefinition conflicts.
Tim
___
Axiom-developer mailing list
Sorry. I thought the commit was by you. -- Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Are there any other major test suite collections available?
At present Maxima includes a copy of Michael Wester's test suite
which was the basis for his published review of computer algebra
systems from about 10 years ago. We haven't done anything with it
but I asked for and received permission
I know there are several people who feel that Lisp code is hard
to develop. I can highly recommend a series of short videos that
show the development of a reddit clone in common lisp.
http://www.lispcast.com/drupal/node/4
He shows quite a few interesting features, including writing unit
tests
-\documentclass{book}
+\documentclass[dvipdfm]{book}
%\usepackage{axiom}
+\usepackage{hyperref}
\usepackage{makeidx}
\makeindex
\usepackage{graphicx}
Excellent idea. Done. --Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
Another thing that comes across fairly clearly in the talk is that Sun
is planning to use Fortress as a way to create a large scientific
computing community just like Java was used to create a large web
commerce community. The marketing person in me can't help but think
that Axiom's algorithms
J/APL has advantage of forcing you to think about the solution to
a problem in a completely orthogonal way to the usual programming
paradigms. In my experience the re-expression of an idea in a
second, very different form dramatically highlights the design
decisions made in the first form.
so I put the question if any of you are 100% committed to maintaining
your project as a free software project. I do not object to
supporting aldor for the end user but I will not continue using
axiom/fricas/open-axiom if aldor becomes an essential component.
The Aldor software cannot become an
This seems like a bizarre idea to me. Why would you document one program
with another program? Who's to say the J program is correct? This would
mean:
far be it from me to propose a bizarre idea :-)
1) You have to code everything twice, with the second implementation in a
very obscure
I have been looking at the question of documenting Axiom's algorithms.
Beyond the english description I've been pondering the use of J (an
ascii version of APL).
I have been studying Sun's Fortress mathematics-oriented programming
language recently and it seems to be able to encode
So what will you tell them that you cannot figure out by
a proper
configure script automatically?
I do not know how to automatically and generically figure
out the
correct string, e.g. debian, macosxppc, fedora9
,etc. It seems
that this would take an expert in each system to write
Tim, is Axiom still using Mathaction as its issuetracker?
no.
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Is my problem related to
http://axiom-wiki.newsynthesis.org/306LibXpmAIsInUsrLibUnderUbuntu
Almost certainly. Where does libXpm.a appear in your system?
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
Did you set your AXIOM variable as:
export AXIOM=(place)/axiom/mnt/debian
^^
If so, look in Makefile.pamphlet for the stanza:
Makefile.debian
^^
and look at the setting of the LDF variable, which currently reads:
LDF= -L/usr/X11R6/lib
PS: What is actually missing, if I stop here? Currently, I don't need
hyperdoc. If that is all that is missing then maybe I don't need to
torture myself. (Unfortunately, the axiom script has not yet been built.)
Well, in your original build all that was missing was the hyperdoc.
I'm nearly
Did you set your AXIOM variable as:
export AXIOM=(place)/axiom/mnt/debian
^^
No? Why should I?
Axiom gets all the information it needs from the string debian.
* It gets this string from the basename of the AXIOM variable.
* This debian string is used to
I'd really like to push Axiom into the world, but I don't
believe in tarballs or binary packages, other ways for Axiom
to get into major distribution is pkgsrc (http://pkgsrc.org).
I'm looking at pkgsrc now.
I've looked around and there are several new interesting delivery
options. In
Anyway, the readme should better explain what exactly I have to do for
my system. I am not a native english speaker. That line
export AXIOM=/spad/mnt/linuxwhich axiom to build
in the Makefile is just not clear. And further, I guess, some not so
experienced users might not even know
1 - 100 of 1017 matches
Mail list logo
