"Page, Bill" <[EMAIL PROTECTED]> writes:
| On Tuesday, March 28, 2006 12:36 AM Gaby wrote:
|
| > ...
| > Bill Page writes:
| > | What is a "sequence"?
| >
| > Sequence is my general term for list, vector or any "thingy"
| > walked through by a generator.
| >
|
| Well, Aldor does have generator
On Tuesday, March 28, 2006 12:36 AM Gaby wrote:
> ...
> Bill Page writes:
> | What is a "sequence"?
>
> Sequence is my general term for list, vector or any "thingy"
> walked through by a generator.
>
Well, Aldor does have generators:
http://www.aldor.org/docs/HTML/chap9.html
"In fact, this
I believe that the following procedure for patches would be a *lot* better:
* if necessary, open an issue in IssueTracker
* upload the patch to MathAction
This automatically sends a mail to axiom-developer. In case you want to make
sure, you can additionally send a mail to Tim.
Martin
__
"Page, Bill" <[EMAIL PROTECTED]> writes:
| On Monday, March 27, 2006 9:57 PM Gaby wrote:
| > ...
| > |
| > | As discussed in section "5.4.8 for Loops" of the Axiom book, you
| > | may follow the keyword 'in' only by an integer segment, stream or
| > | a list, but try this:
| > |
| > | V:=vector
On Monday, March 27, 2006 9:57 PM Gaby wrote:
> ...
> |
> | As discussed in section "5.4.8 for Loops" of the Axiom book, you
> | may follow the keyword 'in' only by an integer segment, stream or
> | a list, but try this:
> |
> | V:=vector [1,2,3]
> | [i for i in entries V]
> |
> | The function
"Page, Bill" <[EMAIL PROTECTED]> writes:
[...]
| > You can use the map operation on Vector and List but you can
| > iterate( [ i for i in List] ).
| > Is iteration built in a lower level of than spad, if not what
| > should I do to make Vector iteratable or is it not desirable ?
| >
|
| As disc
On Monday, March 27, 2006 7:06 PM Antoine Hersen wrote:
>
> 2 questions :
>
> On currying, is this a defect or it is normal ?
>
> (31) -> i j +-> i + j
>
>(31) i +-> j +-> i + j
>Type: AnonymousFunction
> (32) -> %(1)
>
>(32) j +-> G93074 + j
>Type: AnonymousFunction
> (33) -
--- "Page, Bill" <[EMAIL PROTECTED]> wrote:
> It seems that the axiom-developer list on long delay again
>
> :(
>
> This works for me now. Do you want me to send a copy or upload
> it to the Axiom Portal references?
I dug a copy out of archive.org, after much pain and suffering ;-)
Maybe it wo
> OK; in summary: patches should be sent to the list with a copy to you.
> Is that correct?
yes.
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
root <[EMAIL PROTECTED]> writes:
| David,
|
| It's my expectation that everything related to Axiom (except personal
| email) gets copied to the list.
|
| However, due to the volume of mail I get it may be the case that email
| not sent directly to me gets missed.
OK; in summary: patches should
Hello,
2 questions :
On currying, is this a defect or it is normal ?
(31) -> i j +-> i + j
(31) i +-> j +-> i + j
Type: AnonymousFunction
(32) -> %(1)
(32) j +-> G93074 + j
Type:
On Monday, March 27, 2006 6:36 PM Antoine Hersen wrote
> Just to be sure
>
> So coercion are done automatically both in a library code
> and in the interpreter.
No. coercion is not done automatically in the library code.
**Only** in the interpreter.
> But conversion need to be forced with "::" b
On Sunday, March 26, 2006 6:31 PM C Y wrote:
>
> I tried to download Larch/Aldor-A Larch BISL For AXIOM and Aldor at
>
>
http://www.dcs.st-andrews.ac.uk/~mnd/publications/thesis/mnd-sep99-thesi
s.pdf
>
> but I can't seem to get it to respond correctly. Did St. Andrews take
> these down?
>
It
On Wednesday, March 22, 2006 12:10 AM Antoine Hersen asked:
>
> I did not find much information about the difference between
> "convert" and "coerce".
>
> Coerce is the "::" operator. But I did not find much more.
>
Actually "::" is the conversion operator (which may include
coercions). The dif
David,
It's my expectation that everything related to Axiom (except personal
email) gets copied to the list.
However, due to the volume of mail I get it may be the case that email
not sent directly to me gets missed.
t
___
Axiom-developer mailing li
Hello Tim,
root <[EMAIL PROTECTED]> writes:
> mail the file.org.patch to [EMAIL PROTECTED]
Shouldn't patches be sent to axiom-developer@nongnu.org for public
review?
Best wishes,
d.
--
David MENTRE <[EMAIL PROTECTED]> -- http://wiki.axiom-developer.org/FrontPage
Tim,
Any papers by anybody that are in Reliable Computing I can
get for you. I'm on the editorial board.
Do you have a phone number I can call you at? I'd like
to chat with you about possibly participating in an open
source project.
Cheers,
Bill
root wrote:
Bill,
I've been continuing
Bill,
I've been continuing the proviso research.
I notice from your book bibliography that Hansen has quite a few papers
published and referenced. Are these online anywhere? I checked CMU's
library but they only have the Topics in Interval Analysis proceedings.
Tim
_
Francois:
> How can I coerce this SMP Complex Integer to SMP Integer ?
>
> How can I use eval from SMP (Integer, [c,s]) to SMP (R, K) ?
> where R is the basis Ring of the Expression
> and K are the kernels? functions of Expression.
Try map$POLYLIFT(...) (which maps polynomial rings to polynomi
On 03/26/2006 02:58 PM, Francois Maltey wrote:
"Antoine Hersen" <[EMAIL PROTECTED]> writes:
While reading the Axiom in the class room message I got this idea.
What about starting with an almost blank Axiom, and re building up
everything in a naive and minimal but instructive way ?
How shoul
I tried to download Larch/Aldor—A Larch BISL For AXIOM and Aldor at
http://www.dcs.st-andrews.ac.uk/~mnd/publications/thesis/mnd-sep99-thesis.pdf
but I can't seem to get it to respond correctly. Did St. Andrews take
these down?
Cheers,
CY
__
Do
On March 23, 2006 10:14 AM C Y asked:
> ...
> Alright, it's now imperative - we MUST free Aldor somehow!
> If it can resolve/remove the old BOOT vs. Lisp code debate,
> clearly there is nothing it can't do!
I think that was always the intent of the design of Axiom/XL
(aka. Aldor). ;)
>
> > > No
On 03/21/2006 04:55 PM, Page, Bill wrote:
Tim,
On Tuesday, March 21, 2006 11:00 AM you wrote:
...
AXIOMsys has a large set of libraries. These libraries
can't be compiled and executed standalone because they
assume the underlying lisp (grep for $Lisp in the algebra
sources).
Very true.
I
thanks. i'll pass it along. --t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Greetings! There may be an issue with the latest apple gcc and the
saveFP symbol in the binary -- am discussing with Aurelien, and would
appreciate any feedback you might have here.
Take care,
root <[EMAIL PROTECTED]> writes:
> i've downloaded 2.6.8pre and will set up a build using it. -t
>
>
Gerard,
Generally the following procedure for patches is recommended:
The original file is called file.org
The changed file is called changed.org
diff -Naur file.org changed.org >file.org.patch
mail the file.org.patch to [EMAIL PROTECTED]
It is STRONGLY suggested that any patch contains good d
On 03/24/2006 10:44 AM, Page, Bill wrote:
On Wednesday, March 22, 2006 5:26 AM you wrote:
Maybe I should be quiet, but I have a vision for Axiom and that simply
says: Use higher level language constructs instead of lower level ones.
It also says that people contributing to Axiom should write in
> Apparently Tim is not so convinced of the future of Aldor. :(
I'm not? News to me. --Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
ok, lets get the confusion out of the way before this gets too far along...
The "stack" of languages looks like:
spad -- an algebra language using types
spad compiler -- defines the algebra language and types
boot -- a non-parenthesized common lisp which is untyped
common
Hello,
I did not find much information about the difference betwen "convert"
and "coerce".
Coerce is the "::" operator. But I did not find much more.
Thanks in advance.
Antoine Hersen
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http:
Hello,
In the interpreter I have this single line :
fct (n, x) == eval (real ((c + %i * s)^n), [c, s], [cos x, sin x])
I want to add this function in manip.spad... :-(
So I add theses macros :
CI ==> Complex Integer
LV ==> OrderedVariableList [c,s]
PCI ==> SparseMultivaria
31 matches
Mail list logo