Thanks Bill and Gaby for very informative replys. Since I started this
I'll add it to the FAQ ;-).
Thanks for the subst pointer Bill :-). Sometimes the obvious just
won't come :-/.
Cheers,
CY
__
Do You Yahoo!?
Tired of spam? Yahoo! Mail has t
"Bill Page" <[EMAIL PROTECTED]> writes:
[...]
| > Intuitively I would expect Variable to mean simply "an
| > unspecified specific instance of a Domain/Type/what have you"
| > with ALL domains being possible - just so long as you specify
| > the type of the variable, e.g.:
| >
| > a1 : Variable(
C Y <[EMAIL PROTECTED]> writes:
| --- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote:
|
| > | > 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?
| >
| > Not really. You did not say you wanted "n"
On September 16, 2006 12:41 PM C Y wrote:
> ...
>a1 is declared as being in Quaternion Fraction Integer
>but has not been given a value.
> (5) ->
>
> Why isn't this allowed? I want a1->a4 to be variables without
> assigned value, and I want to create a symbolic matrix where all
> I know
On September 16, 2006 5:59 PM Vanuxem Grégory wrote:
>
> Le samedi 16 septembre 2006 à 13:54 -0700, C Y a écrit :
> > ...
> >>> System error:
> >Caught fatal error [memory may be damaged]
>
> Humm... And you continue to work with this Axiom session, you're
> completely crazy :-) I don't k
--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote:
> | > 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?
>
> Not really. You did not say you wanted "n" to be a symbol; you want
> it to designate some
The problem, as described to me, was having three matrices A, B and C.
C is known. The goal was to choose the elements of one of A or B then
look for equations coming from AB-BA = C. The elements of A and B are
quaternion.
Maybe you want that... Add the C yourself.
The trick is that you add v
C Y <[EMAIL PROTECTED]> writes:
| --- Gabriel Dos Reis <[EMAIL PROTECTED]> 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
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
[...]
| Seems that not everything is first class... :-(
and airline companies would agree :-)
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axio
Hi
On 09/16/2006 11:19 PM, Martin Rubey wrote:
C Y <[EMAIL PROTECTED]> writes:
(1) -> Q == Quaternion Fraction Integer;
Oh, I feared that this would cause trouble...
in Axiom:
Q ==> Quaternion Fraction Integer;
Well that should work, but actually I used Aldor syntax. In Axiom you
would
Hello,
Sorry for polluting the axiom-developer mailing list, this is the last
time. May be you know why some mails were accepted (1/3). My ISP was
recently bought by orange.fr so I must, may be, use directly their
address.
Don't know, Kai, why it's sometimes accepted.
Greg
Message trans
Le samedi 16 septembre 2006 à 13:54 -0700, C Y a écrit :
[...]
> (1) -> Q == Quaternion Fraction Integer;
>
> Type: Void
> (2) -> m(a1: Q, a2: Q, a3: Q, a4: Q): Matrix Q :=
> matrix[[a1,a2],[a3,a4]];
> 2) ->
>Q is not a vali
--- Gabriel Dos Reis <[EMAIL PROTECTED]> 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
>
C Y <[EMAIL PROTECTED]> writes:
| --- Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
|
| > HI Cliff,
|
| Hey Ralf.
|
| > MachineInteger is in libaldor what SingleInteger is in Axiom. For a
| > particular element of that type you have exactly 32 bits.
| > Let's appreviate "macro I == MachineInteger;"
C Y <[EMAIL PROTECTED]> writes:
> (1) -> Q == Quaternion Fraction Integer;
in Axiom:
Q ==> Quaternion Fraction Integer;
> (2) -> m(a1: Q, a2: Q, a3: Q, a4: Q): Matrix Q := matrix[[a1,a2],[a3,a4]];
in Axiom and in Aldor:
m(a1: Q, a2: Q, a3: Q, a4: Q): Matrix Q == matrix[[a1,a2],[a3,a4]];
Mart
--- Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> HI Cliff,
Hey Ralf.
> MachineInteger is in libaldor what SingleInteger is in Axiom. For a
> particular element of that type you have exactly 32 bits.
> Let's appreviate "macro I == MachineInteger;". Now, if you say
>
> m: I;
>
> in the interprete
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
[...]
| then n does not have a value. However, there is a relation between m and
| n. Where do you store that information? Certainly not in MachineInteger.
| And hopefully also NOT in the interpreter. There should be a general
| domain that handles such t
root <[EMAIL PROTECTED]> writes:
| The build-improvements branch uses automake.
s/automake/Autoconf/
| I believe the process is just:
|
| ./configure
| make
indeed.
Let me know if you encounter problems.
-- Gaby
___
Axiom-developer mailing list
A
root <[EMAIL PROTECTED]> writes:
| Gaby,
|
| Larry Lambe has been trying to build Axiom on a 64-bit SUSE box.
| One of the issues he ran into a couple problems and I pointed
| him at the build-improvements branch.
I build dayly axiom.build-improvements on x86_64-suse-linux.
| I'm not sure how
HI Cliff,
On 09/16/2006 07:18 PM, C Y wrote:
--- Martin Rubey <[EMAIL PROTECTED]> wrote:
Currently, you can't. Note that you promise axiom that a1 is a
Quaternion Fraction Integer. However, you don't hold your promise...
How do I not hold it? I never told it anything about a1 except what
t
The build-improvements branch uses automake.
I believe the process is just:
./configure
make
but Gabriel (Gaby) is the author of the new makefiles
and can answer questions about it better than I can.
He's copied here as Gabriel Dos Reis <[EMAIL PROTECTED]>
t
___
Gaby,
Larry Lambe has been trying to build Axiom on a 64-bit SUSE box.
One of the issues he ran into a couple problems and I pointed
him at the build-improvements branch. I'm not sure how you
handle the X11/lib64 issue.
===
.[snip]
--- Martin Rubey <[EMAIL PROTECTED]> wrote:
> Currently, you can't. Note that you promise axiom that a1 is a
> Quaternion Fraction Integer. However, you don't hold your promise...
How do I not hold it? I never told it anything about a1 except what
type it is - were did I contradict this?
> Wha
C Y <[EMAIL PROTECTED]> writes:
> Question came up on IRC, and I'm curious. Given the following:
>
> AXIOM Computer Algebra System
>Version: Axiom (September 2006)
> Timestamp: Saturday September 9, 2006 at 11:29:25
> ---
Question came up on IRC, and I'm curious. Given the following:
AXIOM Computer Algebra System
Version: Axiom (September 2006)
Timestamp: Saturday September 9, 2006 at 11:29:25
root <[EMAIL PROTECTED]> writes:
| > Is there a reason why src/lib/hash.o is not put in the object
| >archive src/lib/libspad.a?
|
| nope
OK, thanks!
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailma
> Is there a reason why src/lib/hash.o is not put in the object
>archive src/lib/libspad.a?
nope
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Tim,
Is there a reason why src/lib/hash.o is not put in the object
archive src/lib/libspad.a?
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Martin Rubey <[EMAIL PROTECTED]> writes:
> The trouble is, MathAction doesn't tell me what happened...
I just realized that only the display doesn't work. The code was compiled
alright.
Thanks, Martin
___
Axiom-developer mailing list
Axiom-developer
"Bill Page" <[EMAIL PROTECTED]> writes:
> It was easy for me to change it to 60 minutes. So you should
> have plenty of time to compile now.
Thank you, but it still fails. Could you please compile it by hand? It is
probably wiser to extract the code from the pamphlet stored at mathaction, I
don't
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| > We are already using 4 different source code control systems in
| > the Axiom project (CVS, ARCH, SVN, DARCS) and no one is entirely
| > happy with any one of them, so what's the harm in considering
| > yet another? :-)
|
| Gaby uses SVK to access our
31 matches
Mail list logo
