Bill,Man. You're good! :-) I have learned more from you and Tim than in many of my CS classes.
I wish I could contribute more regarding source code...some day.Did I miss it? I didn't see the Sage icon.
Applications -> Doyen -> Sage Expect the update to the repository in a couple of days.
O
On Wed, 13 Sep 2006 20:47:36 -0700, Page, Bill <[EMAIL PROTECTED]>
wrote:
I created an image of Doyen with Sage:
http://alfredo.axiom-developer.org/DoyenSage.iso
I exhort to try it and let me know if anything is missing.
Man. You're good! :-)
Indeed!
I put a Sage ico
On Wednesday, September 13, 2006 11:46 PM Cliff Yapp wrote:
> ...
> [no Aldor open source license]
> This of course does not mean that we cannot learn from and
> use the ideas in Aldor - merely that we must take our SPAD
> beginnings and build them up into something better.
>
> If we must do th
Alfredo,
On Wednesday, September 13, 2006 8:03 PM you wrote:
> ...
> I created an image of Doyen with Sage:
http://alfredo.axiom-developer.org/DoyenSage.iso
> I exhort to try it and let me know if anything is missing.
Man. You're good! :-)
I downloaded it, burned the CD and
On Wed, 13 Sep 2006, Page, Bill wrote:
| Gaby,
|
| Here is just a quick patch to make sure that all the
| 'stamp-*' directories are deleted in the case of
| 'make clean'.
Thanks. This is queued.
-- Gaby
___
Axiom-developer mailing list
Axiom-develop
Bill,
I don't think it is necessary to wait for that. I may be afew more months away.
Ok. If there is anything I can do to help please let me know.
But both Axiom and Sage (about 300MB) are quite large. Doyou think they would both fit + DoyenWiki and Magnus on the
same CD?
Yeah it is okay, ke
On Wednesday, September 13, 2006 6:19 PM Alfredo Portes writes:
> I saw few emails regarding adding Sage to the Doyen CD.
>
> Would you want me to add it now or wait until a possible
> support for Axiom inside Sage.
I don't think it is necessary to wait for that. I may be a
few more months away.
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| > | Gaby, I don't understand. If you have a documentation of Axiom and
| > | click on a like then you should get somewhere or the link should not
| > | show at all. I would prefer a local documentation ie, the link goes to
| > | some local html, but if t
Hi Bill,I saw few emails regarding adding Sage to the Doyen CD.Would you want me to add it now or wait until a possiblesupport for Axiom inside Sage.I could have a CD only with Sage for now.
Also, should add your work on LatexWiki to support Sageto the Doyen CD?Regards,Alfredo Portes
__
Gaby,
Here is just a quick patch to make sure that all the
'stamp-*' directories are deleted in the case of
'make clean'.
-sh-3.00$ diff -au Makefile.pamphlet_orig Makefile.pamphlet
--- Makefile.pamphlet_orig 2006-09-13 18:03:28.0 -0400
+++ Makefile.pamphlet 2006-09-13 18
Ralf,
On Wednesday, September 13, 2006 4:17 PM you wrote:
> ...
> What I was saying, that I want a more or less dumb html page
> maybe with a few javascript items that are there to help showing
> what you want. But there should be just links and the user has
> to CLICK to get some more document
| Gaby, I don't understand. If you have a documentation of Axiom and
| click on a like then you should get somewhere or the link should not
| show at all. I would prefer a local documentation ie, the link goes to
| some local html, but if that cannot be found the link should either
| directly link
On Wed, 13 Sep 2006, root wrote:
| > > | The make all install failed to terminate, looping
| > > | infintely deeper.
| >
| > I have never had this problem building noweb.
| >
| > Perhaps this is another symptom of some kind of
| > misconfiguration of the gnu toolchain on your system?
| >
| > Have
> > | The make all install failed to terminate, looping
> > | infintely deeper.
>
> I have never had this problem building noweb.
>
> Perhaps this is another symptom of some kind of
> misconfiguration of the gnu toolchain on your system?
>
> Have you built any other packages from source successf
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| On 09/13/2006 09:19 PM, Gabriel Dos Reis wrote:
| > "Page, Bill" <[EMAIL PROTECTED]> writes:
| > [...]
| > | If Axiom is not available locally, then such links should
| > | automatically link to a standard remote website with similar
| > | information. T
"Page, Bill" <[EMAIL PROTECTED]> writes:
| On September 13, 2006 3:19 PM Gaby wrote:
|
| >
| > Bill Page writes:
| >
| > [... concerning links from documentation and papers to Axiom]
| >
| > | If Axiom is not available locally, then such links should
| > | automatically link to a standard remo
On Wednesday, September 13, 2006 3:15 PM Gabriel Dos Reis
>
> On Wed, 13 Sep 2006, Tim Daly wrote:
>
> | The make all install failed to terminate, looping
> | infintely deeper.
I have never had this problem building noweb.
Perhaps this is another symptom of some kind of
misconfiguration of the
On Wed, 13 Sep 2006, Page, Bill wrote:
| > [EMAIL PROTECTED] bi]# ./configure
| > checking build system type... i686-pc-linux
| > checking host system type... i686-pc-linux
| > checking target system type... i686-pc-linux
| > checking for gcc... gcc
| > checking for C compiler default output file
On Wednesday, September 13, 2006 3:25 PM Tim Daly wrote:
> ...
> except for installing noweb this is a vanilla, off the
> install CD, Fedora core 5 system.
>
Scary.
Does subversion come with the install?
The timestamps on the files in the Axiom distribution seem
to be corrupted. I have not s
On 09/13/2006 09:19 PM, Gabriel Dos Reis wrote:
"Page, Bill" <[EMAIL PROTECTED]> writes:
[...]
| If Axiom is not available locally, then such links should
| automatically link to a standard remote website with similar
| information. This should be possible with a little javascript
| magic.
tha
Sorry, I seems I received you emails in the wrong order.
Perhaps time is warped today? Dr. Who?
On Wednesday, September 13, 2006 2:51 PM Tim Daly wrote:
> ==
> = Building Axiom first try
> ==
>
> This went into an infinite loop in the make due to some kind of
> timestamp pr
> | So I touched every file, did a make clean, and tried again
> |
> | Oddly this seems to be complaining about timestamps of
> | programs that are not Axiom source code.
>
> I think you have some problem with your "make".
> this is complaining about gmp sub-build inside GCL.
except for installin
> On Wednesday, September 13, 2006 2:52 PM you wrote:
> >
> > ==
> > Axiom build second try
> > ==
> >
> > So I touched every file, did a make clean, and tried again
> >
>
On September 13, 2006 3:19 PM Gaby wrote:
>
> Bill Page writes:
>
> [... concerning links from documentation and papers to Axiom]
>
> | If Axiom is not available locally, then such links should
> | automatically link to a standard remote website with similar
> | information. This should be poss
"Page, Bill" <[EMAIL PROTECTED]> writes:
[...]
| If Axiom is not available locally, then such links should
| automatically link to a standard remote website with similar
| information. This should be possible with a little javascript
| magic.
that should be an option -- I would hate to see Axiom
On Wed, 13 Sep 2006, Page, Bill wrote:
| Tim,
|
| On Wednesday, September 13, 2006 2:52 PM you wrote:
| >
| > ==
| > Axiom build second try
| > ==
| >
| > So I touched every
On Wed, 13 Sep 2006, root wrote:
| So I touched every file, did a make clean, and tried again
|
| Oddly this seems to be complaining about timestamps of
| programs that are not Axiom source code.
I think you have some problem with your "make".
this is complaining about gmp sub-build inside GCL.
On Wed, 13 Sep 2006, root wrote:
|
|
|
| = Building Axiom first try
|
Tim,
On Wednesday, September 13, 2006 2:52 PM you wrote:
>
> ==
> Axiom build second try
> ==
>
> So I touched every file, did a make clean, and tried again
>
> Oddly thi
On Wed, 13 Sep 2006, root wrote:
| The make all install failed to terminate, looping infintely deeper.
Now that you mention it, I do remain that I ran into the same issue
and finally solved it.
There is something to be said for non-standard build systems :-)
-- Gaby
__
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| Hmm, maybe we are not at that stage ...
*Yes*
We need to get running on as many platform as "popular"; then we gain
critical mass; then we get the fanciest things.
-- Gaby
___
Axiom-developer mailing list
"Page, Bill" <[EMAIL PROTECTED]> writes:
| On Wednesday, September 13, 2006 1:08 PM Waldek Hebisch wrote:
| >
| > I have updated to version 133 of build-improvements branch and
| > retried build on the same Debian testing machine. Now build goes
| > further, but fails running Latex on clifford.s
Axiom build second try
===
= Building Axiom first try
==
NOWEB =
==
On Wed, 13 Sep 2006 11:03:21 -0700, Page, Bill <[EMAIL PROTECTED]>
wrote:
I don't recommend or support using that. Colinux is the way to
go.
See: http://colinux.org
So, finally a linux solution that actually works with Windows?
I want to hear more.
In short, it's the linux kernel ported to
On Wednesday, September 13, 2006 1:51 PM Ralf Hemmecke wrote:
>...
> Assume clifford.spad makes a reference to Integer. At least
> when the whole documentation is build I want to see that
> reference turned into a link to the definition of Integer.
> For that we still need some good convention of
On Wednesday, September 13, 2006 12:58 PM William Stein wrote:
>
> On Wed, 13 Sep 2006 08:13:56 -0700, Enrique Acosta wrote:
> > ...
> > I am using sage on windows with coLinux. ...
>
> We've decided not to support SAGE-with-cygwin anymore.
>
> > tried the CoLinux one and made it work after som
I still think it makes better sense to *not* run the LaTeX part
of the build by default. If somebody wants it, they should be
able to run something like:
make documentation-all
later. Or even individually like this:
make clifford.spad.dvi
That's a good one. Assume clifford.spad makes a re
On Wednesday, September 13, 2006 1:08 PM Waldek Hebisch wrote:
>
> I have updated to version 133 of build-improvements branch and
> retried build on the same Debian testing machine. Now build goes
> further, but fails running Latex on clifford.spad.tex
> The reason for failure is missing amssymb.
Actually my understanding is that if we remove the svn:eol-style
properties from all files and set that as the default, then
SVN will just leave all the files alone.
So what is the opinion of people on the list? Should we just say
svn propdel svn:eol-style -R
???
If svn:eol-style is removed,
Hi Tim,
These files are probably not needed anymore...
boxhead
boxtail
boxup
they are not needed. they were part of my conversion tools.
Then remove them.
Ralf
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.non
I actually don't understand why in the repository is anything
else than pamphlets.
I agree.
I can understand .fig, .jpg, .png or such files,
I don't.
With the very rare exception of essential graphic artwork (eg. book
cover) I think all such files should be generated from source - by
runn
I have updated to version 133 of build-improvements branch and
retried build on the same Debian testing machine. Now build goes
further, but fails running Latex on clifford.spad.tex
The reason for failure is missing amssymb.sty file.
I am affraid that if we want clean build, then configure should
| CVSROOT should go away completely.
Amen.
Removed from Silver/trunk.
Ralf
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
On Wednesday, September 13, 2006 6:06 AM Tim Daly wrote:
> >
> > > someone should patch noweb's build process.
> > > it uses a non-standard build procedure.
>
I agree, but it seems that you just can't teach an old dog
new tricks ... ;)
> The standard is to do
> ./configure
> make
>
> but in
On Wednesday, September 13, 2006 5:34 AM Tim Daly wrote:
> Ralf Hemmecke wrote:
> > And libaxiom.al is there to avoid running the scripts from
> > Peter Broadbery? But note that this thing gets out of date
> > if ever somebody modifies some algebra files.
I don't think this belongs in the Axiom s
On Wed, 13 Sep 2006, Page, Bill wrote:
[...]
| > i know this is 'verboten' but these systems are not debian
| > and you can't just do an apt-get to install the code.
|
| On most common systems in use today there alternatives at
| least as good as apt-get.
"most common systems" in a suitably chos
Tim,
On Wednesday, September 13, 2006 5:31 AM you wrote:
>
> > BTW, Tim, why is there now also "tla-1.1.tar.gz" inside
> > the axiom archive?
>
> i'm trying to port axiom locally to 3 different systems,
> Windows, MAC OSX, and FreeBSD.
>
> none of them have tla and i need to build it.
That is
root <[EMAIL PROTECTED]> writes:
[...]
| >ChangeLog
|
| this isn't one of my original files. probably redundant with CHANGELOG
I keep my change records there -- uses GNU standard style.
| >Makefile
|
| ya gotta start somewhere :-)
build-improvements has
Makefile.in
and all make
.lisp
.text
odd. got full pathnames?
.sty
.tex
these look like noise someone left around. got full pathnames?
cd axiom/Silver/trunk/axiom
find . -regex '.*\.\(lisp\|text\|tex\|sty\)'
./src/scripts/tex/axiom.sty
./src/algebra/libdb.text
./src/interp/interp-proclaims.lisp
./src
Ralf,
On Wednesday, September 13, 2006 10:40 AM you wrote:
>
> somehow you are contradicting yourself.
>
You are right. I have been thinking about this for a while
and I realized that I had become suckered into this whole
'svn:eol-style' thing, too. Part of the problem is that
svn is trying to
> -Message d'origine-
> De : [EMAIL PROTECTED]
> [mailto:[EMAIL PROTECTED] la
> part de Kai Kaminski
> Envoye : vendredi 8 septembre 2006 15:56
> A : C Y
> Cc : axiom-developer@nongnu.org
> Objet : Re: [Axiom-developer] A Canonical Axiom GUI
[...]
> I don't know why TeXmacs isn't as tight
> Any reason why there are such non-pamphlets?
>
>.H1 < I am not sure about that one. Looks like a .h file.
>.h
these are include files. part of the rewrite was to put them into
the pamphlets but i never finished the task.
>.patch
this is standard text input to the patch to
"Page, Bill" <[EMAIL PROTECTED]> writes:
| Actually my understanding is that if we remove the svn:eol-style
| properties from all files and set that as the default, then
| SVN will just leave all the files alone.
Yes.
-- Gaby
___
Axiom-developer mail
Hi Bill,
somehow you are contradicting yourself.
So please tell me what filetypes should keep/get the
svn:eol-style=native
property (ie change to native line endings at checkout).
Actually my understanding is that if we remove the svn:eol-style
properties from all files and set that as the
On September 13, 2006 9:01 AM Ralf Hemmecke wrote:
>
> OK, a few more file types that I am unsure of...
> Not that I cannot recognise text files... what worries me
> is whether Axiom still treats them correctly if they are
> checked out under Windows and compiled there natively.
I am moving betwe
none of those are 'text' file formats. --t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
OK, a few more file types that I am unsure of...
Not that I cannot recognise text files... what worries me is whether
Axiom still treats them correctly if they are checked out under Windows
and compiled there natively. I faintly remember that Tim said something
about some files that have number
they are the axiom initial database files.
an index.KAF file is a binary random access file.
the first integer in the file is the byte offset of the hash table.
the hash table has a set of (key . index) pairs
the index is the byte offset in the file of the value for the key.
t
__
Tim,
What about the files
src/share/algebra/DEPENDENTS.DAASE/index.KAF
src/share/algebra/USERS.DAASE/index.KAF
They look like text files, but I guess it matters if they are checked
out under Windows and get CR LF line endings?
Ralf
___
Axiom-devel
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| Hmmm. Maybe your suggestion is good, but after I've sent my mail, I
| just tried
|
| cd trunk
| svn update
|
| and succeeded.
|
| So I tried again.
|
| svn co -r1 https://svn.sourceforge.net/svnroot/axiom/trunk trunk
| cd trunk
| svn update
|
| No p
No, no, I think we all agree now. The confusion appeared because it is
not really clear, what is meant, if somebody speaks of gold or silver.
So to make it clear now.
*Gold*: The latest release of axiom--main--1--patch-??
*Silver* = *Gold-to-be* =https://svn.sourceforge.net/svnroot/axiom/trunk
On Wed, 13 Sep 2006, root wrote:
| someone should patch noweb's build process.
| it uses a non-standard build procedure.
:-) :-)
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-develo
On Wed, 13 Sep 2006, Ralf Hemmecke wrote:
| So, now I have run to check from Silver r133 to Gold (--patch-50).
|
| Hmmm, it seems that Silver/trunk already contains a few more files than
| Gold.
|
| Gaby, would you like to keep it that way? Or should we rather have
Yes, it is fine for silver to h
On Wed, 13 Sep 2006, Ralf Hemmecke wrote:
| Hello
|
| are the .bitmap and .mask files in src/graph/include/bitmaps/ really
| text files? They look like that. How are they generated? And would it
| make sense to add a svn:eol-style=native property to them? (They
| actually already have it in the SV
On Wed, 13 Sep 2006, Ralf Hemmecke wrote:
| > in general, silver will be ahead of gold so there will be differences.
|
| This is where I don't agree.
I think Tim is right. My understanding of silver and gold is that
silver will have patches *before* gold considers them.
-- Gaby
__
Hello
are the .bitmap and .mask files in src/graph/include/bitmaps/ really
text files? They look like that. How are they generated? And would it
make sense to add a svn:eol-style=native property to them? (They
actually already have it in the SVN repository.)
Same question for .xbm.
Gaby, wh
> OK, then fix it in Gold, Silver is already OK.
>
> But anyway, these files go away soon... ;-)
>
> Ralf
>
> On 09/13/2006 11:20 AM, root wrote:
> >> gcl-2.6.1.cmpnew.gcl_cmpflet.lsp.patch
> >> gcl-2.6.2.cmpnew.gcl_cmpflet.lsp.patch
> >> gcl-2.6.2a.cmpnew.gcl_cmpflet.lsp.patch
> >> gcl-2.6.3.cm
> > in general, silver will be ahead of gold so there will be differences.
>
> This is where I don't agree.
>
> There will be several branches in silver that have patches that don't go
> to gold, but Silver/trunk (and only that directory) should be in sync
> with the Gold version you are workin
> Wow! A very clear description of what goes wrong. ;-)
>
> Ralf
>
> On 09/13/2006 11:32 AM, root wrote:
> > someone should patch noweb's build process.
> > it uses a non-standard build procedure.
> >
> > t
The standard is to do
./configure
make
but in noweb you need to change to a build di
in general, silver will be ahead of gold so there will be differences.
This is where I don't agree.
There will be several branches in silver that have patches that don't go
to gold, but Silver/trunk (and only that directory) should be in sync
with the Gold version you are working on.
So at
CVSROOT is probably a legacy of the fact that the SVN archive
was created automatically from the CVS archive.
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Wow! A very clear description of what goes wrong. ;-)
Ralf
On 09/13/2006 11:32 AM, root wrote:
someone should patch noweb's build process.
it uses a non-standard build procedure.
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http:
in general, silver will be ahead of gold so there will be differences.
i used the PATCH49-50 directory so i could journal my changes.
it isn't really necessary but i thought i'd share them so others
could see where i made mistakes.
the CHANGELOGs below the top level directory are probably unneces
In Silver/trunk I see
ls -la
total 20
drwx-- 5 hemmecke hemmecke 4096 2006-09-13 09:42 .
drwx-- 4 hemmecke hemmecke 4096 2006-09-13 09:57 ..
drwx-- 7 hemmecke hemmecke 4096 2006-09-13 09:58 .svn
drwx-- 3 hemmecke hemmecke 4096 2006-09-13 09:42 CVSROOT
drwx-- 8 hemmecke he
> And libaxiom.al is there to avoid running the scripts from Peter
> Broadbery? But note that this thing gets out of date if ever somebody
> modifies some algebra files.
peter's script requires java, i believe.
it's on my list to think that one thru.
it won't be an issue until aldor is released
someone should patch noweb's build process.
it uses a non-standard build procedure.
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
> BTW, Tim, why is there now also "tla-1.1.tar.gz" inside the axiom archive?
i'm trying to port axiom locally to 3 different systems,
Windows, MAC OSX, and FreeBSD.
none of them have tla and i need to build it.
it appears that i'm going to have to add patches (ala GCL)
in order to create versions
OK, then fix it in Gold, Silver is already OK.
But anyway, these files go away soon... ;-)
Ralf
On 09/13/2006 11:20 AM, root wrote:
gcl-2.6.1.cmpnew.gcl_cmpflet.lsp.patch
gcl-2.6.2.cmpnew.gcl_cmpflet.lsp.patch
gcl-2.6.2a.cmpnew.gcl_cmpflet.lsp.patch
gcl-2.6.3.cmpnew.gcl_cmpflet.lsp.patch
gcl-2
So, now I have run to check from Silver r133 to Gold (--patch-50).
Hmmm, it seems that Silver/trunk already contains a few more files than
Gold.
Gaby, would you like to keep it that way? Or should we rather have
(tla) Gold to be = (svn) silver/trunk
??? Any patch would have to be applied to
> gcl-2.6.1.cmpnew.gcl_cmpflet.lsp.patch
> gcl-2.6.2.cmpnew.gcl_cmpflet.lsp.patch
> gcl-2.6.2a.cmpnew.gcl_cmpflet.lsp.patch
> gcl-2.6.3.cmpnew.gcl_cmpflet.lsp.patch
> gcl-2.6.5.cmpnew.gcl_cmpflet.lsp.patch
> gcl-2.6.5w.cmpnew.gcl_cmpflet.lsp.patch
> gcl-2.6.6.cmpnew.gcl_cmpflet.lsp.patch
it's very
Hello,
as you know, I have freshly checked out Gold (--patch-50) and Silver
(trunk r133).
You know Silver is a mess with respect to the properties. I've just run
cd Axiom/Gold/axiom--main--1
find . -type f ! -regex '.*\.arch-ids.*' ! -regex '.*{arch}.*' -exec cmp
{} ../../Silver/trunk/axiom/
well, i'd hoped that i could make a definitive test.
i modifed .subversion/servers and set http-compression=no,
did a complete checkout, and it worked.
i unset http-compression (back to yes, i guess) in .subersion/servers,
did a complete checkout, and it worked.
so at 5a.m. EST it appears to wor
> > yum install noweb failed.
> > where should i get the recommended noweb?
> >
>
> What's wrong with your installation of yum?
>
> Or do you mean that noweb is not in the yum archive?
>
> 'apt-get install noweb' works fine on Debian.
my guess is that yum is not in the fedora archives.
yum doe
Hmmm. Maybe your suggestion is good, but after I've sent my mail, I just
tried
cd trunk
svn update
and succeeded.
So I tried again.
svn co -r1 https://svn.sourceforge.net/svnroot/axiom/trunk trunk
cd trunk
svn update
No problem with that.
Maybe the "svn checkout" causes the problem. "svn up
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> I have just tried
>
> date
> Wed Sep 13 09:50:46 CEST 2006
> svn co https://svn.sourceforge.net/svnroot/axiom/trunk trunk
>
> for the second time. The checkout always stopped here...
>
> Atrunk/axiom/src/include/prt.H1
> Atrunk/axiom/src/inclu
I have just tried
date
Wed Sep 13 09:50:46 CEST 2006
svn co https://svn.sourceforge.net/svnroot/axiom/trunk trunk
for the second time. The checkout always stopped here...
Atrunk/axiom/src/include/prt.H1
Atrunk/axiom/src/include/XDither.H1
svn: REPORT request failed on '/svnroot/axiom/!s
Hello,
On 09/13/2006 01:35 AM, Gabriel Dos Reis wrote:
"Page, Bill" <[EMAIL PROTECTED]> writes:
[...]
| svn is more of a pig for storage than arch.
ys, SVN is space hungry.
What? I previously had my private HOME directory versioned by CVS, at
the beginning of the year I have moved to SVN
89 matches
Mail list logo
