[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Question concerning types...
From: |
C Y |
Subject: |
Re: [Axiom-developer] Question concerning types... |
Date: |
Sat, 16 Sep 2006 14:56:29 -0700 (PDT) |
--- Gabriel Dos Reis <address@hidden> wrote:
> | Wouldn't that information be associated with the variable n?
>
> but "n"'s type isn't Variable(some type), it is "some type", meaning,
> it holds *values* of that type.
OK.
> But you want it to hold a token of some type. That is a different
> story.
Surely that isn't a surprising way to want to use a CAS?
I'm actually surprised something like a1 : Integer would be handled any
other way then as a token with type, but again that may just be me not
knowing enough.
> With systems that do "symbolic" manipulations, you don't get that
> trouble; with with systems like Axiom that do actually computations,
> you have to go through an additional indirection.
I'm not sure I'm totally clear on the distinction. After all, Axiom
can do things like integrate(1/(1+x^4),x) and provide a result - how is
that not a symbolic manipulation?
Cheers,
CY
__________________________________________________
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
http://mail.yahoo.com
- [Axiom-developer] Question concerning types..., C Y, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Martin Rubey, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., C Y, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Ralf Hemmecke, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., C Y, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Martin Rubey, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Ralf Hemmecke, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/16
- Re: [Axiom-developer] Question concerning types...,
C Y <=
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., C Y, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/17
- Re: [Axiom-developer] Question concerning types..., Martin Rubey, 2006/09/17
- Re: [Axiom-developer] Question concerning types..., Vanuxem Grégory, 2006/09/16
- RE: [Axiom-developer] Question concerning types..., Bill Page, 2006/09/17
- Re: [Axiom-developer] Question concerning types..., Ralf Hemmecke, 2006/09/16
RE: [Axiom-developer] Question concerning types..., Bill Page, 2006/09/17