Martin,
Sorry for the delay in your question about working together on
the hyperdoc issue. I've been giving it some thought. I have a
long term view of the "porting problem" which might be different
from your (or anyone else's) view so this is purely my opinion.
I'd welcome feedback on it.
For m
On Mon, 11 Jun 2007, Stephen Wilson wrote:
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
|
| > On Mon, 11 Jun 2007, Stephen Wilson wrote:
| >
| > | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
| > | > | If the vtable can be interrogated with a variety of keys, allowing
| > | > | useful mapping
On 6/11/07, William Sit wrote:
Bill Page wrote:
>
> Thanks for adding your comments to the wiki. I have
> re-arranged this a little by separating the comments about
> segment from those about functions so that now your
> comments about segments appears here:
>
> http://wiki.axiom-developer.org/Sa
I wrote:
>
> I you (or somebody else) want to see details I have put the
> diff (against wh-sandbox revision 593) at:
>
> http://www.math.uni.wroc.pl/~hebisch/prog/db-boo4.diff
>
If you want to try the diff there is an important detail:
before applying the patch you need to remove src/share/*.d
> Waldek,
>
> That's excellent! Hopefully you've kept good notes about which
> things are needed at each stage of the process so I can try to
> reproduce it. Great work, painfully achieved, I'm sure.
>
I have rather sparse notes. My experiece is that even with best
notes it may be quite hard to
Bill Page wrote:
>
> William,
>
> Thanks for adding your comments to the wiki. I have
> re-arranged this a little by separating the comments about
> segment from those about functions so that now your
> comments about segments appears here:
>
> http://wiki.axiom-developer.org/SandBoxFloatSegment
[EMAIL PROTECTED] writes:
> Gaby, Waldek, Stephen,
>
> It would be useful if you all cooperated in developing a document
> that describes the current mechanisms in detail.
I would be more then happy to contribute to such an effort. Count me
in.
Steve
___
Gaby, Waldek, Stephen,
It would be useful if you all cooperated in developing a document
that describes the current mechanisms in detail.
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom
Hello Martin,
Here are my tests:
gcl-2.6.8pre just checked out today : fails in 'accept' with error:
"not such file or directory"
gcl-2.6.5w (the version on which the packaged version of Axiom for
Windows is built) never handles the request, seems to wait indefinitely.
And the good news, I h
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> On Mon, 11 Jun 2007, Stephen Wilson wrote:
>
> | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> | > | If the vtable can be interrogated with a variety of keys, allowing
> | > | useful mapping of elements, I dont see how a hash is any more
> | > | fle
On Mon, 11 Jun 2007, Stephen Wilson wrote:
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
| > | If the vtable can be interrogated with a variety of keys, allowing
| > | useful mapping of elements, I dont see how a hash is any more
| > | flexible. Perhaps you could provide an example?
| >
| > Did
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> | If the vtable can be interrogated with a variety of keys, allowing
> | useful mapping of elements, I dont see how a hash is any more
> | flexible. Perhaps you could provide an example?
>
> Did I say "more flexible"?
>
> When you have an array and
Stephen Wilson <[EMAIL PROTECTED]> writes:
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
|
| > On Mon, 11 Jun 2007, Stephen Wilson wrote:
| >
| > | > I guess what I trying to get at is what are the benefits of those
| > | > additional indirections over simple, hash table representation.
| > |
On Mon, 11 Jun 2007, Waldek Hebisch wrote:
| Gaby, did you look how Axiom uses arrays of function pointers?
Yes. :-)
| At
| the first glance they are like vtables. But there is a fundamental
| difference: Spad domain uses only its own domain vector -- it never
| directly uses ancestor vector.
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> On Mon, 11 Jun 2007, Stephen Wilson wrote:
>
> | > I guess what I trying to get at is what are the benefits of those
> | > additional indirections over simple, hash table representation.
> |
> | I would imagine that the vast number of lookups would
>
> Hi,
>
> I've been thinking about the following for a long time now, and I
> susect it is time for me to let it go to the Axiom community for feedback.
>
> Spad fundamentally uses arrays of function pointers (also known as vtables)
> as implementation technology for categories, domains,
On Mon, 11 Jun 2007, Stephen Wilson wrote:
| > I guess what I trying to get at is what are the benefits of those
| > additional indirections over simple, hash table representation.
|
| I would imagine that the vast number of lookups would suffice with an
| integer index. Tiny fraction would req
William,
Thanks for adding your comments to the wiki. I have
re-arranged this a little by separating the comments about
segment from those about functions so that now your
comments about segments appears here:
http://wiki.axiom-developer.org/SandBoxFloatSegment
On June 7, 2007 9:21 PM William Si
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> On Mon, 11 Jun 2007, Stephen Wilson wrote:
>
> | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> |
> | > On Sun, 10 Jun 2007, Stephen Wilson wrote:
> | >
> | > | Hello Gaby,
> | > |
> | > | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> | > | [...]
Hi Franz,
that is a question that should be sent to [EMAIL PROTECTED]
I got
http://wiki.axiom-developer.org/public/aldor-linux-x86_64-v1.0.2.bin
and so far it works fine from with in axiom (debian etch amd64).
Is this a true 64bit version?
however with your instructions I get
aldor -laldor
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> > One basic rule would be that a domain `functor' memoizes its
> > arguments, and always returns the same object for equal arguments,
> > performing any required initialization on the first call.
>
> Of course you know that globally defined functors
Send complaints to Stephen Watt and Lauretiu Dragan. But if you have a 64bit
machine that could be some problem. There should be a hint by Christian
Aistleitner concerning the 64bit problem in the aldor-l archive.
this made me curious.
I got
http://wiki.axiom-developer.org/public/aldor-linux-x
> One basic rule would be that a domain `functor' memoizes its
> arguments, and always returns the same object for equal arguments,
> performing any required initialization on the first call.
Of course you know that globally defined functors can be called in a
local environment which would allow
On Mon, 11 Jun 2007, Stephen Wilson wrote:
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
|
| > On Sun, 10 Jun 2007, Stephen Wilson wrote:
| >
| > | Hello Gaby,
| > |
| > | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
| > | [...]
| > | > However, I do believe the use of arrays has inherent pr
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> On Sun, 10 Jun 2007, Stephen Wilson wrote:
>
> | Hello Gaby,
> |
> | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> | [...]
> | > However, I do believe the use of arrays has inherent problems in
> | > terms of maintaining coherence of function po
Thanks for doing the tests Ralf. The results do not suprise me, so I
guess my memory is OK is this regard.
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
[...]
> It is more interesting to ask what happens in an interactive
> environment. So let's try.
>
> woodpecker:~/scratch>aldor -gloop
>
On Sun, 10 Jun 2007, Stephen Wilson wrote:
| Hello Gaby,
|
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
| [...]
| > However, I do believe the use of arrays has inherent problems in
| > terms of maintaining coherence of function pointers assigned to slots.
| > Because the mapping from declara
On Mon, 11 Jun 2007 18:23:11 +0200 (CEST)
Franz Lehner <[EMAIL PROTECTED]> wrote:
What? Is this axiom in 2007? How can you use axiom
without reading
input files?
well, some of my students reported that copy and paste
does not work and came up with handwritten notes for the
exercise sessions
What? Is this axiom in 2007? How can you use axiom without reading
input files?
well, some of my students reported that copy and paste does not work and
came up with handwritten notes for the exercise sessions ... but
apparently reading input files worked.
I did not investigate this further h
Martin Rubey <[EMAIL PROTECTED]> writes:
> William Sit <[EMAIL PROTECTED]> writes:
>
> > > roughly: (I put
> > >
> > > )lib HYPER
> > > )lisp (load "hyper.lisp")
> > > SOCKET(8080, getDocumentation$HyperDoc)$Lisp
> > >
> > > into a file hyper.input)
> >
> > I still can't read an input fi
Martin Rubey wrote:
>
> Dear William,
>
> first of all, thank you for your patience!
Thank you, and Bill, and Alfredo for helping.
> roughly: (I put
>
> )lib HYPER
> )lisp (load "hyper.lisp")
> SOCKET(8080, getDocumentation$HyperDoc)$Lisp
>
> into a file hyper.input)
I still can't r
On 06/11/2007 02:55 PM, Stephen Wilson wrote:
Hi Ralf,
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
If you extend Integer then it will not be visible globally. Clearly,
it is visible only for those things that "see" the extension.
Of course you are completely correct. The specific issue I was t
Dear William,
first of all, thank you for your patience!
"William Sit" <[EMAIL PROTECTED]> writes:
> On Mon, 11 Jun 2007 09:49:43 -0400
> "William Sit" <[EMAIL PROTECTED]> wrote:
> >SOCKET(8080, getDocumentation$HyperDoc)$Lisp
> >
> > simply "freeze" with no output. According to my firewall, i
On Mon, 11 Jun 2007 09:49:43 -0400
"William Sit" <[EMAIL PROTECTED]> wrote:
SOCKET(8080, getDocumentation$HyperDoc)$Lisp
simply "freeze" with no output. According to my firewall,
it did ask to be a server and I allowed it. What should
be expected?
Putting url
http://localhost:8080/|?binomi
On 11 Jun 2007 14:50:04 +0200
Martin Rubey <[EMAIL PROTECTED]> wrote:
"William Sit" <[EMAIL PROTECTED]> writes:
(1) -> )library hyper
HyperDoc is now explicitly exposed in frame initial
HyperDoc will be automatically loaded when needed
from
/OpenAxiom/axiom014/mnt/windows/lib/
Hi Ralf,
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> If you extend Integer then it will not be visible globally. Clearly,
> it is visible only for those things that "see" the extension.
Of course you are completely correct. The specific issue I was trying
to point out is illustrated by the follo
"William Sit" <[EMAIL PROTECTED]> writes:
> (1) -> )library hyper
> HyperDoc is now explicitly exposed in frame initial
> HyperDoc will be automatically loaded when needed from
>/OpenAxiom/axiom014/mnt/windows/lib/hyper.NRLIB/code
> (1) -> SOCKET(8080, getDocumentation$HyperDoc)
>
On Mon, 11 Jun 2007 07:36:39 -0400
"William Sit" <[EMAIL PROTECTED]> wrote:
(1) -> SOCKET(8080, getDocumentation$HyperDoc)
grep.exe: libdb.text: No such file or directory
[...]
I believe this is due to the 8.3 convention. I see
libdb.text in the path: .../windows/lib/.
I see that you are al
On Mon, 11 Jun 2007 06:45:49 -0400
"Alfredo Portes" <[EMAIL PROTECTED]> wrote:
To remove the grep error do as explained by Waldek:
)lisp (setf |$standard| 't)
)lisp (setf |$saturn| 'nil)
Yes, that does get around the GREP problem, but a new one
pops up:
(1) -> )sys grep hyper hyper~1.spa
\
On 11 Jun 2007 09:57:43 +0200
Martin Rubey wrote:
William, I just saw
(1) -> SOCKET(8080, getDocumentation$HyperDoc)
don't you need to package call SOCKET$Lisp ?
Thanks Martin. I was just following your directions :-).
[...]
Try
ops: Database IndexCard := getDatabase("o" $OperationsQuery
To remove the grep error do as explained by Waldek:
)lisp (setf |$standard| 't)
)lisp (setf |$saturn| 'nil)
Also you will need a newer version of axiom like wh-sandbox,
as Martin explained in a previous email. Bill, were you able
to compile wh-sandbox or build-improvements in windows?
On 6/10/0
IIRC new exports introduced by `extend' are not visible to previous
definitions, except via `has' predicates which execute during runtime. Are
there other issues involved?
I do not understand. What is a "previous" definition in Aldor?
If you extend Integer then it will not be visible global
Dear all,
I uploaded a new version of hyper.spad and hyper.lisp to mathaction, it now
deals correctly with the %60 problem. (There is even some documentation :-)
Furthermore, the second string (delimited by `) now refers correctly to 'type,
i.e., like (_$,_$)->_$ for +.
Bill: uploading worked ju
Stephen Wilson <[EMAIL PROTECTED]> writes:
> I would need a clear picture of what the semantics would be for "post facto
> extensions". Do you sugest following Aldor explicitly?
In any case, please try to "stay" compatible with Aldor semantics as far as
possible!
> IIRC new exports introduced
44 matches
Mail list logo
