Vanuxem Grégory <[EMAIL PROTECTED]> writes:
| Le mardi 29 août 2006 à 10:01 -0500, Gabriel Dos Reis a écrit :
| > Vanuxem Grégory <[EMAIL PROTECTED]> writes:
| >
| > | Hello Gaby,
| > |
| > | I tested the build-improvements branch and if we build gcl the XLIB
| > | (xgcl) package is compiled in
root <[EMAIL PROTECTED]> writes:
| > Is this issue related to missing libXpm? Or is it a different one?
|
| Yes. I'm trying to resolve this across all of the system.
Aha.
libXpm does not seem to be much appreciated these days among system
packagers. It has gone through deprecation, active no
Le mardi 29 août 2006 à 10:01 -0500, Gabriel Dos Reis a écrit :
> Vanuxem Grégory <[EMAIL PROTECTED]> writes:
>
> | Hello Gaby,
> |
> | I tested the build-improvements branch and if we build gcl the XLIB
> | (xgcl) package is compiled in (gcl and AXIOMsys are thus linked against
> | the X librar
> Is this issue related to missing libXpm? Or is it a different one?
Yes. I'm trying to resolve this across all of the system.
> Maybe we should talk to Camm to either make public numbered
> pre-releases or include the date of official preleases in the tarball
> name.
>
> |(Gaby, how wil
root <[EMAIL PROTECTED]> writes:
| Patch 50 is up in arch.
|
| There are three major things of note.
|
| FEDORA CORE 5
|
| There is the Fedora Core 5 issue. There is a new branch of
| the configure script that will tell you to put 'fedora5' as the
| last directory on the AXIOM command thus:
|
Hi Camm,
GCL-2.6.9pre, checkout of cvs as of this morning, has problems
making new lisp image. More precisely, the instruction
% echo '(compiler::link nil "foo")' | gcl
has GCL die with the message
[...]
loading /home/gdr/lib/gcl-2.6.8/unixport/../xgcl-2/sysdef.lisp
Error: Cannot open
Hi Cliff,
Looking ahead to units:
Let's say I multiply meters:Length and seconds:Time together. I want
to end up with meters*seconds:Length*Time, which is both a new unit and
a new dimensional type.
What do you think the code
main(): () == {
a: Length := 2 centimeter;
b: T
--- Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> Hi Cliff,
> > Well, I think it's just that I'm not thinking clearly enough yet in
> > Aldor. I was thinking maybe something like (warning, pseudocode,
> maybe
> > even conceptually wrong)
> >
> > define Dimension: Category == with {
> > "*" : (
5 compile issues
CHANGELOG
Summary: many patches
Keywords:
20060829 tpd --patch-50
20060829 tpd Makefile VERSION changed
20060829 tpd Makefile GCLVERSION=gcl-2.6.8pre in fedora5 build
20060826 cxm src/interp/patches.lisp add namestring to current-directory
20060
Vanuxem Grégory <[EMAIL PROTECTED]> writes:
| Hello Gaby,
|
| I tested the build-improvements branch and if we build gcl the XLIB
| (xgcl) package is compiled in (gcl and AXIOMsys are thus linked against
| the X libraries). Don't know what you think about this, it's just a
| remark.
Ah, I have n
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> > I just wanted to point out that you can give the Aldor Category "Dimension"
> > an
> > algebraic structure.
> > Scalar: Dimension with {
> > scalar: %;
> > } == AuxiliaryDimension add {
> > scalar: % == [1, ""];
> > }
> > DimensionTh
I just wanted to point out that you can give the Aldor Category "Dimension" an
algebraic structure. This is in fact one of the main advantages of Aldor over
SPAD.
The code will read roughly as follows:
Scalar: Dimension with {
scalar: %;
} == AuxiliaryDimension add {
scalar: % ==
Hello Gaby,
I tested the build-improvements branch and if we build gcl the XLIB
(xgcl) package is compiled in (gcl and AXIOMsys are thus linked against
the X libraries). Don't know what you think about this, it's just a
remark.
Another thing, more important, is that if you stop the build process
C Y <[EMAIL PROTECTED]> writes:
> Well, I think it's just that I'm not thinking clearly enough yet in
> Aldor. I was thinking maybe something like (warning, pseudocode, maybe
> even conceptually wrong)
>
> define Dimension: Category == with {
> "*" : (%,%) -> %
> }
>
> DerivedDimension: Ab
Hello Camm, you wrote:
si::newline is a funtion which currently appears unused in the
debugging code.
OK, thanks for the info. I resolved the Maxima problem
(I believe) by not calling si::newline (and calling a local
version instead, as with other Lisp implementations).
The large number segf
On 21 Aug 2006 22:13:13 +0200, Martin Rubey <[EMAIL PROTECTED]> wrote:
Dear Igor,
great that you found the reason. Do you think you'd have the time to document
properly just the function powern? What you found is not the first bug in these
10 lines of code :-(
I can try. But I hope my small pa
Hi Cliff,
Well, I think it's just that I'm not thinking clearly enough yet in
Aldor. I was thinking maybe something like (warning, pseudocode, maybe
even conceptually wrong)
define Dimension: Category == with {
"*" : (%,%) -> %
}
DerivedDimension: AbelianGroup with {
"*": (A: Dimensi
You are correct that there is a potential inconsistency.
We avoid Russel's paradox by limiting the operations for
constructing and testing membership in type categories.
Note that many programming languages have the problem of
allowing types with no elements, which can lead to the type
theory equ
--- Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> Hi Cliff,
>
> I'll copy that to axiom-developer, because it might start another
> discussion about dimensions in Axiom.
OK :-).
> > So what we need, in effect, is types that have types.
>
> You have NOTHING in Aldor that has no type.
OK.
> > A
Hi Camm,
I'm experiencing a problem when installing GCL-2.6.8pre in a custom prefix.
Here are the details:
* check out cvs GCL-2.6.8pre
* configure --prefix=$HOME
* make # works fine
* make install # troublesome
the install fails with the following error:
chmod a+x /home/gdr/lib/gcl-2.6.8/
At the logical level, as I have observed some time ago, there is an
inconsistency problem with Type:Type. I'm wondering how Aldor gets
away with that. Many languages (mostly functional) use stratified
types.
That question should be asked at aldor-l.
Can you construct a paradox that demonstrat
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| Hi Cliff,
|
| I'll copy that to axiom-developer, because it might start another
| discussion about dimensions in Axiom.
|
| > So what we need, in effect, is types that have types.
|
| You have NOTHING in Aldor that has no type.
Indeed.
At the logi
Hi Cliff,
I'll copy that to axiom-developer, because it might start another
discussion about dimensions in Axiom.
So what we need, in effect, is types that have types.
You have NOTHING in Aldor that has no type.
And we also need a * operation that can take two types that are
themselves of
23 matches
Mail list logo
