"Bill Page" <[EMAIL PROTECTED]> writes:
[...]
| > Bill Page writes:
| > ...
| > |
| > | All domains that have SetCategory are required to have a hash
| > | into SmallInteger.
| >
| > That is not a mathematical requirement.
| >
|
| I would tend to agree but perhaps Kurt Gödel would not have...
Gaby,
On November 13, 2006 10:17 PM you wrote:
> ...
> [ Is it normal that I don't see Ralf's messages? ]
>
I believe that all messages that I received recently from Ralf are
here in the axiom-developer email archive:
http://lists.nongnu.org/archive/html/axiom-developer/2006-11/index.html
whic
Cliff,
On November 13, 2006 4:57 PM you wrote:
>
> Just thought you might like to know I'm installing mercurial
> to try out working with build-improvements, after seeing this
> interview about the Java open sourcing:
>
http://java.sun.com/developer/technicalArticles/Interviews/gosling_os1_qa.
[ Is it normal that I don't see Ralf's messages? ]
"Bill Page" <[EMAIL PROTECTED]> writes:
[...]
| So is computational complexity a relative thing, i.e. we take
| the operations from the representation as units and then express
| the complexity of the operations of the new domain in terms of
|
-Original Message-
From: Bill Page [mailto:[EMAIL PROTECTED]
Sent: November 13, 2006 12:12 AM
To: 'Waldek Hebisch'
Cc: 'Axiom-Developer'; 'Kai Kaminski'; 'Vanuxem Grégory'
Subject: RE: Multiset Hyperdoc examples page
On November 12, 2006 12:31 PM Waldek Hebisch wrote:
>
> Vanuxem Grég
-Original Message-
From: Bill Page [mailto:[EMAIL PROTECTED]
Sent: November 13, 2006 1:13 AM
To: axiom-developer@nongnu.org
Cc: 'Martin Rubey'; 'Ralf Hemmecke'; 'Bill Page'
Subject: RE: data structure vs. mathematical structure (was:
[Axiom-developer] Graph theory)
On November 11, 2006
Camm Maguire wrote:
> At present, there are 5 platforms in gcl-2.6.x (hppa, ia64, alpha,
> mips, and mipsel) and 2 platforms on gcl-2.7.x (hppa and ia64) which
> cannot natively relocate compiled object files. This means that (load
> "foo.o")(si::save-system "bar") will give garbage in bar (perhap
Hi Antoine,
I don't know whether this is the right way to go, but at least it
compiles and it might let you go further.
Suggestion:
Replace "eval(a, x, 1)" by
z: SingletonAsOrderedSet := create();
eval(numer a, z, 1)/eval(denom a, z, 1);
Maybe you can make that shorter. In particula
Hello,I am having some issue with the eval function, any ideas ?I have reduced my problem to the simplest form.It is making me crazy !!!Because UP, which is a PolynomialCat, has InnerEvalable
PolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, VarSet:OrderedSet): Category == Join(PartialD
test from support
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
this is a message for axiom developer..it will end
up on bill.page1@ inbox which means there is a forwrading set on
axiom-developer@
testing
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-
this is a test sent directly from the server, by telneting into the port 1025
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Bill Page wrote:
Thanks for the replies.
I am sorry to clutter the email list with this test. :-( In fact
it was sent by my email provider in response to my problem report
attached below. They claim that it is not their problem so perhaps
it has something to do with changes in the nongnu.org ema
Thanks for the replies.
I am sorry to clutter the email list with this test. :-( In fact
it was sent by my email provider in response to my problem report
attached below. They claim that it is not their problem so perhaps
it has something to do with changes in the nongnu.org email list
software an
Do you want to test how many people are active?
Ralf
On 11/13/2006 04:55 PM, Bill Page wrote:
hi there,
please reply to this email if you receive it.
tech support
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/ma
received. replied --t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
test
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
hi there,
please reply to this email if you receive it.
tech support
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Greetings! GCL can be built without readline with
--disable-readline. At runtime, readline can be turned on and off
with (si::readline-on) and (si::readline-off). There is some support
for autocompletion. readline should be automatically disabled when
the terminal is uncapable. (si::readline-o
Greetings! Please excuse -- I am no longer receiving axiom developer
mail due to some spam blockage somewhere. Have read on the web how
some have difficulty building axiom on ia64.
At present, there are 5 platforms in gcl-2.6.x (hppa, ia64, alpha,
mips, and mipsel) and 2 platforms on gcl-2.7.x (
Francois Maltey <[EMAIL PROTECTED]> writes:
> Hello,
>
> I try to write a package for my own use from the manip.spad file
> for expanding trigonometric functions.
>
> The manip.spad has this definition.
>
> smpExpand p == map (kerExpand, #1::F, p)
>
> It's a map with THREE arguments.
>
> In
Hello,
I try to write a package for my own use from the manip.spad file
for expanding trigonometric functions.
The manip.spad has this definition.
smpExpand p == map (kerExpand, #1::F, p)
It's a map with THREE arguments.
In Polynomial Domain there is only the usual map with TWO arguments.
I
"Bill Page" <[EMAIL PROTECTED]> writes:
| On November 11, 2006 2:29 PM Gaby wrote:
| >
| > This is what we do in the Generic Programming community under
| > the heading of "Musser--Stepanov style Generic Programming".
| >
|
| See:
|
| http://www.cs.rpi.edu/~musser
|
| Algorithm-Oriented Generi
23 matches
Mail list logo
