[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] A curious algebra failure
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] A curious algebra failure |
Date: |
12 Aug 2007 09:55:02 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Gabriel Dos Reis <address@hidden> writes:
> As you suggested, I suspect it should have been written like
>
> if S has SetCategory and S has "*"
>
> The trouble is that we don't want to test just for the name "*". We
> want to test for the signature
>
> "*":(%, %) -> %
>
> I don't know how to write that in Spad -- Ralf?
I do not know whether it is helpful, but I wrote code like
diffDSF: DIFFSPECSF
diffDSF(s, n) ==
-- I have to help the compiler here a little to choose the right signature...
if SUP F has _*: (NonNegativeInteger, SUP F) -> SUP F
then D(s, n)
I don't think that
if S has _*: (%, %) -> %
would work, but
if S has _*: (S, S) -> S
should.
Warning: I didn't check whether this is what you want to fix your bug.
Martin
- [Axiom-developer] Re: .spad, .input, .as and autocoercion, (continued)
- [Axiom-developer] Re: .spad, .input, .as and autocoercion, Martin Rubey, 2007/08/16
- [Axiom-developer] Re: .spad, .input, .as and autocoercion, Gabriel Dos Reis, 2007/08/16
- [Axiom-developer] Re: .spad, .input, .as and autocoercion, Martin Rubey, 2007/08/16
- [Axiom-developer] Re: .spad, .input, .as and autocoercion, Gabriel Dos Reis, 2007/08/16
- Re: [Axiom-developer] "has" and "with" (was curious algebra failure), Ralf Hemmecke, 2007/08/13
- Re: [Axiom-developer] "has" and "with" (was curious algebra failure), Ralf Hemmecke, 2007/08/13
- Re: [Axiom-developer] "has" and "with" (was curious algebra failure), Bill Page, 2007/08/13
- Re: [Axiom-developer] "has" and "with" (was curious algebra failure), Ralf Hemmecke, 2007/08/14
- Re: [Axiom-developer] "has" and "with" (was curious algebra failure), William Sit, 2007/08/12
- Re: [Axiom-developer] "has" and "with" (was curious algebra failure), Bill Page, 2007/08/12
- Re: [Axiom-developer] A curious algebra failure,
Martin Rubey <=
- Re: [Axiom-developer] A curious algebra failure, Gabriel Dos Reis, 2007/08/12
- Re: [Axiom-developer] A curious algebra failure, Gabriel Dos Reis, 2007/08/11
RE: [Axiom-developer] A curious algebra failure, Weiss, Juergen, 2007/08/12