On Sun, Jun 22, 2008 at 10:29 PM, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
>
> To whoever knows about the history of the aldor-axiom connection,
>
> Important in the build of the aldor-axiom connection are the files
> axlit.as and axextend.as that can be found at
>
> https://svn.origo.ethz.ch/algeb
On Sat, May 31, 2008 at 5:55 PM, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> src/interp/ax.boot
>
> contains the function
>
> makeAxExportForm(filename, constructors) ==
> $defaultFlag : local := false
> $literals := []
> axForms :=
> [modemapToAx(modemap) for cname in constructors |
>
On Thu, Mar 13, 2008 at 9:21 PM, Gregory Vanuxem <[EMAIL PROTECTED]> wrote:
> Dear Peter, *
>
> I was waiting for your small Aldor patch and never see it. Did you send
> it somewhere ? The main concern of this mail is if you are able to
> compile ecfact.as (attached) and _execute_ the
> Lenstra
Finally got round to looking at this.
The code attached can be used to build the axiom/aldor interopability
library (libaxiom.al).
New features:
Less abuse of make features (though I've only used a recent version of
make, and have used some newer features)
Dependency on java removed.
Cleaner build
On Mon, 2006-11-27 at 12:21 +0100, Ralf wrote:
> Hello,
>
> I am quite a bit frustrated.
>
> It is clearly not a problem (up to something I have not yet looked into)
> to extend existing Axiom domains from libaxiom.al via some .as files.
> The question now is: How do I use them?
>
> Try
>
> #
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
On Fri, 2006-11-17 at 11:36 +0100, Martin Rubey wrote:
> Peter Broadbery <[EMAIL PROTECTED]> writes:
>
> > On Fri, 2006-11-17 at 08:43 +0100, Martin Rubey wrote:
>
> > > And, as you know, in my opinion the first step in making this happen is to
> > > ma
On Fri, 2006-11-17 at 11:24 +0100, Waldek Hebisch wrote:
> Peter Broadbery wrote:
> > On Fri, 2006-11-17 at 08:43 +0100, Martin Rubey wrote:
> > > Peter Broadbery is currently making Aldor extend work in Axiom. That's a
> > > giant
> > > step, in fact!
.
Even once you've got your dependent signatures into axiom, it has to
(presumably) be
able to interpret them, which will need a more complex type matching process
than
what currently exists (I think). On the plus side, doing this is a good step
towards a
real compiler.
&
On Thu, 2006-10-19 at 09:40 +0200, Martin Rubey wrote:
> Dear all, especially Peter,
>
> I'm trying to get my aldor interface running again -- new computers, I hate
> them.
>
> However, make in src/aldor stops with
>
>
> make[1]: Entering directory `/home/martin/GoldenAxiom/src/aldor'
> /home/
art of the import - ie.
import { ... } from Foreign Lisp("BOOT");
but I may be confusing that with something else. In any case, making
this more friendly may be possible with a bit of creative tinkering in
the aldor code.
No idea about loading external libraries..
Peter.
--
Peter Broad
On Thu, 2006-05-25 at 21:05 +0200, Martin Rubey wrote:
> Dear Peter,
>
> Peter Broadbery <[EMAIL PROTECTED]> writes:
>
> > > (did you send this in private intentionally?)
>
> > Feel free to forward.
>
> done
>
> > > Peter Broadbery
like bugs in older versions of make) should just be a
case of adding stanzas in src/Makefile for ${SRC}/aldor/Makefile and
aldordir - the algebra ones provide a reasonable model.
> ___
> Axiom-developer mailing list
> Axiom-developer@nongnu.o
On Mon, 2005-11-21 at 14:27 -0500, Bill Page wrote:
> On November 21, 2005 12:59 PM Gaby wrote:
>
> >
> > "Bill Page" writes:
> >
> > | On November 20, 2005 11:50 PM Gaby wrote:
> > | > |
> > | > | We have mentioned before on this list the very good article
> > | > |
> > | > | http://en.wikipe
s database (daase) and used by the HyperDoc browser, the
> standalone 'asq' utility and accessed by commands such as )show
> )what and )display in the interpreter. I haven't checked yet
> whether this holds true for the +++ comments embedded in Aldor
> extension for Axiom li
On Tue, 2005-10-18 at 10:40 -0400, Camm Maguire wrote:
> Greetings!
>
> Peter Broadbery <[EMAIL PROTECTED]> writes:
>
> > On Sat, 2005-10-15 at 11:10 +0200, Martin Rubey wrote:
> > > Dear Camm, Cliff, *,
> > >
> >
> > If there's a
On Sat, 2005-10-15 at 11:10 +0200, Martin Rubey wrote:
> Dear Camm, Cliff, *,
>
If there's a rewrite of Spad using a little more of aldor, then I'd also
be interested in helping occasionaly (unless a really freely available
Aldor comes along).
> There are some other small differences, I don't k
On Thu, 2005-09-29 at 17:48 -0400, Page, Bill wrote:
> On Thursday, September 29, 2005 3:21 PM Peter Broadbery wrote:
> > ...
> > It was written mostly to show that you could do some
> > operations on domains - effectively allowing one to write
> > more of an interprete
decide exactly what the semantics should be.
> I wonder if the the Rep == Type really makes sense?
>
I think Rep ==> Type is more or less honest, given that a Type is an
object in the aldor world view. A caveat is that it captures categories
(and "Type") as well as domains.
Didn't check the To: list - here's a dose of axiom internals fun..
--
Peter Broadbery <[EMAIL PROTECTED]>
--- Begin Message ---
On Mon, 2005-09-26 at 12:21 -0400, root wrote:
> If memory serves me Aldor made Types be first-class objects.
> You could create, assign, an
sion (ie a list of lispy values), and we're feeding
it a more complex structure.
Ho hum,
Peter.
--
Peter Broadbery <[EMAIL PROTECTED]>
domain2.as
Description: application/applix-spreadsheet
___
Axiom-developer mailing list
Axiom
On Sun, 2005-09-11 at 18:52 -0400, Bill Page wrote:
> On Sun, 2005-09-11 at 11:52 -0400, Peter Broadbery wrote:
> However now in
>
> http://www.axiom-developer.org/zope/mathaction/SandBoxCategoryOfGraphs
>
> I get a different apparently more serious error:
>
> >&
On Mon, 2005-09-12 at 13:42 -0400, Bill Page wrote:
> Tim,
>
> On September 11, 2005 6:53 PM I wrote:
> >
> > However now in
> >
> > http://axiom-developer.org/SandBoxCategoryOfGraphs
> >
> > I get a different apparently more serious error:
> >
> > >> System error:
> > AxiomXL file "GRAPHCAT"
On Sun, 2005-09-11 at 02:03 -0400, [EMAIL PROTECTED]
wrote:
> In
>
> http://www.axiom-developer.org/zope/mathaction/SandBoxCategoryOfGraphs
>
> I am trying to define the category of graphs in Aldor.
>
> When I try to use this category in the definition of the
> domain of FiniteGraphs I get an un
On Tue, 2005-09-06 at 10:46 -0400, [EMAIL PROTECTED] wrote:
> On September 2, 2005 10:49 AM Peter Broadbery wrote:
> >
> >
> > I'm using java 1.4.2, and it should work with pretty much any
> > java supporting 1.3 or later.
> >
>
> It occurs to
ependent of the libaxiom.al build.
Peter
--
Peter Broadbery <[EMAIL PROTECTED]>
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
works. Peter never said exactly
> what java compiler he is using.
>
> It would be nice if one could use the GNU gcj compiler. But my first
> attempt to do that failed so I assumed he was talking about Sun's java.
>
I'm using java 1.4.2, and it should work with pretty much
; Is there some way your java program can easily generate a more
> Portable Makefile? Or do you know of anyway to allocate a
> Larger command line buffer?
>
"Easily", not sure - I think it would mean a different approach, since
the java program currently just spits out sets o
implicitly
contain all the previous ones.
>
> In the log file you will note that the make failes starting
> at this point:
>
> ...
> /home/page/repository/axiom--main--1/src/aldor/Make.rules:31:
Yes, this is due to me not testing stuff terribly well. I've s
n on them explicitly - I'll try to prepare a makefile which
explicitly does the document thing first; attrib.as.head.pamphlet
contains a minor error in the \author line; & should be a comma or
something.
Peter.
--
Peter Broadbery <[EMAIL PROTECTED]>
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
hlet is an exception), and other computed
> approaches. Given the one-stanza-per-file method it turns out that
> make has very little to do except stat files and build the well-specified
> DAG.
>
> In any case, I'm happy to see you didn't include a patch which rewrote
> all of the Makefiles into one big Makefile. I'm old and my heart would
> not stand such a shock.
>
> t
--
Peter Broadbery <[EMAIL PROTECTED]>
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Pete.
On Sun, 2005-08-14 at 12:07 -0500, [EMAIL PROTECTED] wrote:
> Pete,
>
> Excellent. Just send me the pamphlets and I'll work on the merge piece.
>
> re: delay. progress is not measured by time. Once I see what you've
> been up to I can work out testing meth
er send patches or try to merge with an existing tla branch -
what do you prefer?
Cheers,
Pete
Oh, excuse the delay in getting back round to this. I'm interested in
trying to get aldor working, but I think it'll take more testing &
development than I can supply in order to ge
33 matches
Mail list logo
