Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> Stephen Wilson <[EMAIL PROTECTED]> writes:
>
> | Greetings,
> |
> | I stumbled upon a curious facility of Boot and SPAD this evening. I
> | do not recall, nor can I find, a reference to this in the list
> | archives or in any documentation. Please
The point of category theory as a foundation for mathematics
is that a lot of mathematics can and should be done long before
it becomes necessary to define what is meant by "set".
You may be right. But what foundation you use for mathematics is in the
end a very vague thing. Let's say we base m
Stephen Wilson <[EMAIL PROTECTED]> writes:
| Greetings,
|
| I stumbled upon a curious facility of Boot and SPAD this evening. I
| do not recall, nor can I find, a reference to this in the list
| archives or in any documentation. Please correct me if I am wrong.
Since we have at least two versi
Greetings,
I stumbled upon a curious facility of Boot and SPAD this evening. I
do not recall, nor can I find, a reference to this in the list
archives or in any documentation. Please correct me if I am wrong.
The facility is w.r.t identifiers. An identifier such as FOO'BAR is
interpreted as m
Topic drift is a wonderful thing ... :-)
On June 4, 2007 6:36 PM Ralf Hemmecke wrote:
> Bill Page wrote:
> > I would agree to replace "Set" with something more algebraic,
> > e.g. a topos.
> >
> > http://en.wikipedia.org/wiki/Topos
>
> Cool. ;-) How many people know topoi in contrast to the num
On Tue, 5 Jun 2007, Ralf Hemmecke wrote:
| Hope, that helped.
Many thanks.
Sorry for the earlier imprecise messag.
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
On 06/04/2007 02:54 PM, Gabriel Dos Reis wrote:
Ralf --
Looking at the ChangeLog in trunk, I see changes dated:
2006-09-14 Ralf Hemmecke <[EMAIL PROTECTED]>
2006-09-13 Ralf Hemmecke <[EMAIL PROTECTED]>
2006-07-31 Ralf Hemmecke <[EMAIL PROTECTED]>
Do you know whether they have
I would agree to replace "Set" with something more algebraic,
e.g. a topos.
http://en.wikipedia.org/wiki/Topos
Cool. ;-) How many people know topoi in contrast to the number of people
who grew up with sets?
The short answer to why everything must be algebraic is:
category theory. You can as
On June 4, 2007 4:36 AM Ralf Hemmecke wrote:
> ...
> Oh, I never said, that the current Expression(...) should be
> removed. If I see what people do here at RISC with symbolic
> summation, that domain fits very well in that area. Still,
> Axiom lacks a true ExpressionTree domain. Or have I just no
funny. i like it. we have no maintainers, we have Priors!
all hail Stallman! all hail Torvalds! all hail Knuth! all hail McCarthy!
i guess SVN-worship falls into the category of "fables meant to fill
the soul bereft of hope with purpose" :-)
can't wait for the "Ring Transporter" though as it wou
Dear Tim, Waldek,
Waldek Hebisch <[EMAIL PROTECTED]> writes:
> I supect that original author did not know how to leave one partial
> derivative unevaluated, while giving value of the second one (ATM this
> is not clear for me either). If you know how to to this please go
> on.
below is a patch
On Mon, 4 Jun 2007, Bill Page wrote:
| I propose that thitle of boolvol5.pamphlet be changed to:
|
|The Book of Origin
:-) :-) :-)
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom
Correction:
> On June 4, 2007 8:17 AM Gabriel Dos Reis wrote:
> >
> > [EMAIL PROTECTED] writes:
> >
> > | They each had a "before-I-got-it" disdain, and an "after-I-got-it"
> > | exclusive adoption (some might call it religious conversion).
> >
> > Hallowed are the Ori.
> >
>
> http://en.wik
Bill,
The major changes are
* regression testing which involves
src/interp/regress.lisp.pamphlet
a couple hundred *.input.pamphlet files
* regression testing to use md5sums to spot the global effects
of each applied patch
* documentation of quat.spad.pamphlet (basically w
If you build axiom trunk and check the int/input/*.regress files
you'll see that there is now an automated mechanism for regression
testing.
Each regression test input file is run in a fresh axiom image.
Tim
___
Axiom-developer mailing list
Axiom-dev
On June 4, 2007 8:17 AM Gabriel Dos Reis wrote:
>
> [EMAIL PROTECTED] writes:
>
> | They each had a "before-I-got-it" disdain, and an "after-I-got-it"
> | exclusive adoption (some might call it religious conversion).
>
> Hallowed are the Ori.
>
http://en.wikipedia.org/wiki/Ori_(Stargate)
I l
Gabriel Dos Reis wrote:
> On Mon, 4 Jun 2007, Martin Rubey wrote:
>
> | "Bill Page" <[EMAIL PROTECTED]> writes:
> |
> | > As far as I know, the only thing in silver (aka. axiom.daly,
> | > aka. axiom.trunk) is a first attempt at some regression testing. I
> believe
> | > that Gaby is trying to
On 06/04/2007 10:42 PM, Gabriel Dos Reis wrote:
On Mon, 4 Jun 2007, Ralf Hemmecke wrote:
[...]
| For Aldor that is easy, one compiles an executable and runs that. With Axiom
| that is not possible, because libaxiom cannot (at least not easily) be
| compiled into a standalone executable.
We sho
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> Now Martin, suppose one test fails miserably, causing memory damage and all
> bad things. You would like to go on with testing in a clean environment. But
> that basically says, you have to start Axiom for every single test. That's
> going to be heavy.
On June 4, 2007 2:21 PM Tim Daly wrote:
>
> See
> http://lists.gnu.org/archive/html/axiom-developer/2007-05/msg00320.html
>
> for details about the contents of silver.
Besides 'regress' and a little bit of documentation I don't see
anything listed here that is not already in build-improvements
a
On Mon, 4 Jun 2007, Ralf Hemmecke wrote:
[...]
| For Aldor that is easy, one compiles an executable and runs that. With Axiom
| that is not possible, because libaxiom cannot (at least not easily) be
| compiled into a standalone executable.
We should work toward modularizing the Axiom system. Mo
On Mon, 4 Jun 2007, Ralf Hemmecke wrote:
[...]
| I think we all agree, that the current Gold is axiom--main--1--patch-50
| (and I don't know whether this has another version number like 3.0 or so).
|
| Silver is something that should be "reasonably stable". Maybe we require
| that is should at l
On 06/04/2007 09:16 PM, Gabriel Dos Reis wrote:
On Mon, 4 Jun 2007, Martin Rubey wrote:
| "Bill Page" <[EMAIL PROTECTED]> writes:
|
| > As far as I know, the only thing in silver (aka. axiom.daly,
| > aka. axiom.trunk) is a first attempt at some regression testing. I believe
| > that Gaby is
That is great. What I would propose is that one you commit those changes to
branches/daly, we sync it with trunk and we continue with trunk. That way,
you pending work is not disrupted and people are given sufficient notice of
what will happen.
Very good, Gaby. I was about to suggest the same.
--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote:
> On Mon, 4 Jun 2007, Bill Page wrote:
>
> | But how will that help merging build-improvements and wh-sandbox
> | into trunk?
>
> I have no idea how that helps me.
It would be an opportunity to isolate the changes in the trees into
conceptual "ch
On 06/04/2007 08:15 PM, [EMAIL PROTECTED] wrote:
Alfredo,
One error I get in the both trunk and daly is that I need root
permission, if not
I get the error:
[...]
cp: cannot create regular file
for i in `find . -name ".svn" ; do rm -rf $i ; done
This is an SVN bug. It does not happen wit
On Mon, 4 Jun 2007, Martin Rubey wrote:
| "Bill Page" <[EMAIL PROTECTED]> writes:
|
| > As far as I know, the only thing in silver (aka. axiom.daly,
| > aka. axiom.trunk) is a first attempt at some regression testing. I believe
| > that Gaby is trying to port this downstream [...]
|
| I think i
On Mon, 4 Jun 2007, Bill Page wrote:
| But how will that help merging build-improvements and wh-sandbox
| into trunk?
I have no idea how that helps me.
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailma
On Mon, 4 Jun 2007, [EMAIL PROTECTED] wrote:
| > I would have highly preferred Tim put the new silver in /silver,
| > and keep branches/daly as his private branch; but he didn't so we must
| > learn to live with that.
|
| I put the code into branches/daly because it's not ready yet. That
| code
Dear Christian!
I just did something extremely simple minded, with the following result:
(5) -> )sh MyTextWriter
MyTextWriter is a domain constructor
Abbreviation for MyTextWriter is MYTEXTW
This constructor is exposed in this frame.
Issue )edit csaxcompat2.as to see algebra source code for
On Mon, 4 Jun 2007, Martin Rubey wrote:
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
|
| > (1) I'll go on (business) travel from next wednesday, for some time.
| > The only machine I'll have is a windows-based laptop. So that
seriously
| > limits what I can do.
|
| You can alwa
On Mon, 4 Jun 2007, [EMAIL PROTECTED] wrote:
| Gaby,
|
| >>> cp: cannot create regular file
|
| >> This is an SVN bug.
|
| >It does not happen with SVK (an SVN client)
|
| How can this be true?
No question it is true :-)
And SVK is a decentralized VCS -- not that it matters for Axiom...
| D
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> (1) I'll go on (business) travel from next wednesday, for some time.
> The only machine I'll have is a windows-based laptop. So that seriously
> limits what I can do.
You can always work on graphics and HyperDoc on windows ;-)
Martin
On Mon, 4 Jun 2007, [EMAIL PROTECTED] wrote:
| Gaby,
|
| I'll test the trunk version.
|
| Then I'll diff-Naur the trunk and branches/daly and then bring my
| local tree up to date as well as the git public tree.
|
| Once that is done I'll do all future commits to trunk.
That is great news.
Gaby,
>>> cp: cannot create regular file
>> This is an SVN bug.
>It does not happen with SVK (an SVN client)
How can this be true? Does SVK delete .svn?
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman
Gaby,
I'll test the trunk version.
Then I'll diff-Naur the trunk and branches/daly and then bring my
local tree up to date as well as the git public tree.
Once that is done I'll do all future commits to trunk.
Tim
___
Axiom-developer mailing list
A
On Mon, 4 Jun 2007, Ralf Hemmecke wrote:
| Please look at revision 75. That is a problem with .svn directories
| unnecessarily copied.
|
| Gaby, Tim, I think that patch should go into trunk=silver.
I missed this mail you sent.
Tim, please could you pick this patch? It is revision 75.
| Alfred
"Bill Page" <[EMAIL PROTECTED]> writes:
> As far as I know, the only thing in silver (aka. axiom.daly,
> aka. axiom.trunk) is a first attempt at some regression testing. I believe
> that Gaby is trying to port this downstream [...]
I think it is a mistake to do that. We should port Christian Ai
On Mon, 4 Jun 2007, Alfredo Portes wrote:
[...]
| I need to have also installed gettext (I think it was required while
| compiling gcl).
I believe you have been through that before. The thing is to use
--disable-nls (diable Native Language Translation). I think that gettext
requirements come f
On Mon, 4 Jun 2007, [EMAIL PROTECTED] wrote:
|
| > How do you identify diff-Naur patches anyway? Which tool do you use to
| > prevent you from applying the same patch twice.
|
| My eyes.
Aie. Aie. Aie.
-- Gaby
___
Axiom-developer mailing list
Axiom
On Mon, 4 Jun 2007, [EMAIL PROTECTED] wrote:
| Gaby,
|
| So my understanding is that you've merged branches/daly with trunk.
Yes. Please could you build and test it first?
| Thus, if I'm correct branches/daly is now defunct and all changes
| I make should be made to trunk.
I don't want to dis
On Mon, 4 Jun 2007, [EMAIL PROTECTED] wrote:
| Alfredo,
|
| > One error I get in the both trunk and daly is that I need root
| > permission, if not
| > I get the error:
| > [...]
| > cp: cannot create regular file
|
| for i in `find . -name ".svn" ; do rm -rf $i ; done
|
| This is an SVN bu
Bill,
See http://lists.gnu.org/archive/html/axiom-developer/2007-05/msg00320.html
for details about the contents of silver.
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
On Mon, 4 Jun 2007, [EMAIL PROTECTED] wrote:
| > I'm planning to attempt the following -- assuming I got time today:
|
|
|
| > * merge branches/daly to trunk
|
| As I understand it trunk is Gold (aka --patch-50).
No, it wasn't. I checked. Many changes there were not present in
branches/dal
Alfredo,
> One error I get in the both trunk and daly is that I need root
> permission, if not
> I get the error:
> [...]
> cp: cannot create regular file
for i in `find . -name ".svn" ; do rm -rf $i ; done
This is an SVN bug. It does not happen with Arch, CVS, or git.
It is also an Axiom b
Gaby,
So my understanding is that you've merged branches/daly with trunk.
Thus, if I'm correct branches/daly is now defunct and all changes
I make should be made to trunk.
Is that your understanding?
Tim
___
Axiom-developer mailing list
Axiom-develo
> The script REGRESS contains hardcoded information about user daly.
> How is it supposed to work for non-user daly (everybody else)?
It isn't. That's a bug. Fixed shortly.
I generally have several builds running at once on different
machines and I need to know when they complete so I can review
> As long as we're on the subject, how would one provide a "patch" for
> adding a completely new file...
diff-Naur will create the file. However it would just be easier to
send the file separately. The addition of a new file implies a bunch
of SVN add, git add, Arch add, and cvs add commands.
Tim
Martin,
I sent your sstaylor changes to Clifton Williamson, the original
author of the file. I'm waiting to hear his opinion on the nature
of the changes.
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/
> How do you identify diff-Naur patches anyway? Which tool do you use to
> prevent you from applying the same patch twice.
My eyes.
However patch will complain if you apply the same patch twice.
Tim
___
Axiom-developer mailing list
Axiom-developer@n
> I'm planning to attempt the following -- assuming I got time today:
> * merge branches/daly to trunk
As I understand it trunk is Gold (aka --patch-50).
branches/daly was started from --patch-50 (see CHANGELOG) by adding changes.
Thus it should be sufficient to copy branches/daly.
But I woul
On June 4, 2007 11:40 AM C Y wrote:
>
> --- Bill Page <[EMAIL PROTECTED]> wrote:
>
> > Now ... how can we get build-improvements and wh-sandbox
> > back into the trunk? :-)
>
> That relates back to packaging the changes in those trees into
> individual changesets that make conceptual sense, and
> I would have highly preferred Tim put the new silver in /silver,
> and keep branches/daly as his private branch; but he didn't so we must
> learn to live with that.
I put the code into branches/daly because it's not ready yet. That
code is the first version that passed all of the tests. Howeve
> "trunk" is basically identical with Gold (tla: axiom--main--1--patch-50)
> and currently not maintained although build-improvements and wh-sandbox
> branched from it.
> Actually, I don't know exactly, why Tim now puts everything into
> "branches/daly" instead of "trunk".
I put the files into b
--- Martin Rubey <[EMAIL PROTECTED]> wrote:
> C Y <[EMAIL PROTECTED]> writes:
>
> > silver has some things build-improvements and wh-sandbox don't, and
> > they have many things silver doesn't.
>
> Really?
Tim released some new stuff when he uploaded the first version of
silver to use GIT.
Please look at revision 75. That is a problem with .svn directories
unnecessarily copied.
Gaby, Tim, I think that patch should go into trunk=silver.
Alfredo, use SVK, that is better anyway for tracking merges (star-merge)
-- Ralf
---
On June 4, 2007 11:43 AM Martin Rubey wrote:
>
> C Y <[EMAIL PROTECTED]> writes:
>
> > silver has some things build-improvements and wh-sandbox don't,
> > and they have many things silver doesn't.
>
> Really?
>
As far as I know, the only thing in silver (aka. axiom.daly,
aka. axiom.trunk) is
Hi Gaby,
Can you give it a try as of revision 584?
One error I get in the both trunk and daly is that I need root
permission, if not
I get the error:
[...]
cp: cannot create regular file
`/home/alfredo/SilverAxiom/mnt/linux/bin/tex/.svn/all-wcprops':
Permission denied
make: *** [/home/alfre
C Y <[EMAIL PROTECTED]> writes:
> silver has some things build-improvements and wh-sandbox don't, and
> they have many things silver doesn't.
Really?
Martin
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailma
Waldek Hebisch <[EMAIL PROTECTED]> writes:
> Martin Rubey wrote:
> Of course, currently Axiom has no support for holonomic functions.
Yes. :-(
> But in few places we use derivatives: changing variables in integrals,
> computing Laplace transforms. It is quite possible that Axiom never uses
> d
--- Bill Page <[EMAIL PROTECTED]> wrote:
> Now ... how can we get build-improvements and wh-sandbox
> back into the trunk? :-)
That relates back to packaging the changes in those trees into
individual changesets that make conceptual sense, and applying them to
the GIT silver tree. I was hoping t
On Mon, 4 Jun 2007, Bill Page wrote:
| On June 4, 2007 10:43 AM Gabriel Dos Reis wrote:
| > | >
| > | > * merge branches/daly to trunk
| > |
| >
| > Can you give it a try as of revision 584?
| >
|
| Thanks, Gaby, for doing this. (I wonder if there is any
| chance we can get Tim to do this
Bill Page wrote:
> On June 4, 2007 10:43 AM Gabriel Dos Reis wrote:
> > | >
> > | > * merge branches/daly to trunk
> > |
> >
> > Can you give it a try as of revision 584?
> >
>
> Thanks, Gaby, for doing this. (I wonder if there is any
> chance we can get Tim to do this in the future?)
>
>
Martin Rubey wrote:
> Waldek Hebisch <[EMAIL PROTECTED]> writes:
>
> > > But the behaviour is consistent for Gamma, Bessel and Polygamma. It is
> > > not
> > > difficult to change this behaviour to leaving the derivative unevaluated,
> > > but I'm not sure whether that would really be better. I
On June 4, 2007 10:43 AM Gabriel Dos Reis wrote:
> | >
> | > * merge branches/daly to trunk
> |
>
> Can you give it a try as of revision 584?
>
Thanks, Gaby, for doing this. (I wonder if there is any
chance we can get Tim to do this in the future?)
Thanks also, Waldek, for removing the ol
On Mon, 4 Jun 2007, Ralf Hemmecke wrote:
[...]
| > I'm planning to attempt the following -- assuming I got time today:
| >
| > * merge branches/daly to trunk
|
| I'd love to see this.
Ralf --
Can you give it a try as of revision 584?
-- Gaby
Waldek Hebisch <[EMAIL PROTECTED]> writes:
> > But the behaviour is consistent for Gamma, Bessel and Polygamma. It is not
> > difficult to change this behaviour to leaving the derivative unevaluated,
> > but I'm not sure whether that would really be better. If you are
> > absolutely sure, please
Tim --
The script REGRESS contains hardcoded information about user daly.
How is it supposed to work for non-user daly (everybody else)?
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/a
Martin Rubey <[EMAIL PROTECTED]> writes:
[...]
| Hm, if I would have applied the patch myself, there probably would not have
| been any review.
Applying patch oneself is not exclusive of review.
The algorithms is simple:
1. send patch for review.
2. if approved, apply patch.
I already stat
C Y wrote:
> As long as we're on the subject, how would one provide a "patch" for
> adding a completely new file like the Emacs mode pamphlet? Is there
> some preferred way to do this or is just supplying the file and target
> directory for inclusion enough?
>
Tim clearly wants us to use 'diff -
Martin Rubey wrote:
> Waldek Hebisch <[EMAIL PROTECTED]> writes:
>
> > > here are some patches for bug #355.
>
> > > By the way, I just found the documented version of the patch to STTAYLOR,
> > > it is on MathAction, #312, powern.patch. I include a version that applies
> > > smoothly to wh-sandb
Waldek Hebisch <[EMAIL PROTECTED]> writes:
> > here are some patches for bug #355.
> > By the way, I just found the documented version of the patch to STTAYLOR,
> > it is on MathAction, #312, powern.patch. I include a version that applies
> > smoothly to wh-sandbox here, too.
> I have a little p
A question, to the list in general and more specifically to those
maintaining branches.
If someone were to take the current Silver, and work through all the
changes in the branches currently being maintained in SVN
(build-improvements and wh-sandbox in particular) in a GIT repository
(thus "recrea
On 06/04/2007 02:46 PM, Gabriel Dos Reis wrote:
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| On 06/04/2007 02:24 PM, Gabriel Dos Reis wrote:
| > Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| > | The page http://wiki.axiom-developer.org/AxiomSilverBranch became
| > out
| > | of date recently.
| > si
As long as we're on the subject, how would one provide a "patch" for
adding a completely new file like the Emacs mode pamphlet? Is there
some preferred way to do this or is just supplying the file and target
directory for inclusion enough?
Cheers,
CY
_
Dear Martin,
> Dear Bill, Tim, Waldek,
>
> here are some patches for bug #355.
>
Thanks for the patches.
> Tim, Waldek: would you be so kind to include these patches in the respective
> distributions. By the way, I just found the documented version of the patch
> to
> STTAYLOR, it is on Math
Ralf --
Looking at the ChangeLog in trunk, I see changes dated:
2006-09-14 Ralf Hemmecke <[EMAIL PROTECTED]>
2006-09-13 Ralf Hemmecke <[EMAIL PROTECTED]>
2006-07-31 Ralf Hemmecke <[EMAIL PROTECTED]>
Do you know whether they have made it to Tim's branch?
-- Gaby
Tim,
What do you think about maintaining sourceforge:trunk as Silver (ehm,
Gold-to-be) instead of branches/daly?
SVN has a big weakness of not automatically tracking merged revision
numbers (that is why some people use SVK instead).
Tim, can you figure out the SVN-revision numbers of the patc
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| On 06/04/2007 02:24 PM, Gabriel Dos Reis wrote:
| > Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| > | The page http://wiki.axiom-developer.org/AxiomSilverBranch became
| > out
| > | of date recently.
| > silver/ is now gone.
|
| > -- Gaby
|
| Thank you.
On 06/04/2007 02:24 PM, Gabriel Dos Reis wrote:
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| The page http://wiki.axiom-developer.org/AxiomSilverBranch became out
| of date recently.
silver/ is now gone.
-- Gaby
Thank you. What a relief.
Ralf
_
It depends what you really want.
I really want
1. no damaged memory
2. aldor compiler; the error messages of the spad compiler are not
satisfactory for me.
3. recent bugfixes
What options do I have? So far I tried wh-sandbox and the wrong silver
branch.
--enable-checking sets Lisp safety
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| The page http://wiki.axiom-developer.org/AxiomSilverBranch became out
| of date recently.
silver/ is now gone.
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mai
Waldek Hebisch <[EMAIL PROTECTED]> writes:
| Franz Lehner wrote:
| > > The --enable-checking only exists in the branches and is
| > > not in silver, as far as I'm aware.
| > that's what I learned so far as well.
| > So if I want both aldor and --enable-checking, I need to get yet another
| > bran
[EMAIL PROTECTED] writes:
| They each had a "before-I-got-it" disdain, and an "after-I-got-it"
| exclusive adoption (some might call it religious conversion).
Hallowed are the Ori.
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| Actually, I don't know exactly, why Tim now puts everything into
| "branches/daly" instead of "trunk". Gaby, Tim, Waldek, what do you
| think the best strategy would be to ease merging later?
I would have highly preferred Tim put the new silver in /silv
Franz Lehner wrote:
> > The --enable-checking only exists in the branches and is
> > not in silver, as far as I'm aware.
> that's what I learned so far as well.
> So if I want both aldor and --enable-checking, I need to get yet another
> branch? Any suggestions?
It depends what you really want.
Waldek Hebisch <[EMAIL PROTECTED]> writes:
> No, I erased the corresponding tree.
Oh well, the process appears fairly straight forward.
> ATM I am not sure what to do with NAG library support. Large part
> of it is very specific to NAG library but other part have some
> potential for reuse.
Then 'x<0' can be treated as an expression of type
Expression Integer just like 'sin(x)'. Or more generally
we need a domain of predicate expressions which can interact
with other domains like Expression.
Yep. I like to see a true expression domain. Axiom's
Expression(..) is rather special. It co
svn co https://axiom.svn.sourceforge.net/svnroot/axiom/trunk axiom.silver
as indicated at http://wiki.axiom-developer.org/AxiomSilverBranch.
I also feared that.
The page http://wiki.axiom-developer.org/AxiomSilverBranch became out of
date recently.
"trunk" is basically identical with Go
89 matches
Mail list logo
