[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] A curious algebra failure
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] A curious algebra failure |
Date: |
12 Aug 2007 08:40:16 -0500 |
Martin Rubey <address@hidden> writes:
| 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.
That might help. Let me test Jurgen's fix, first.
-- Gaby
- [Axiom-developer] Re: .spad, .input, .as and autocoercion, (continued)
- [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, 2007/08/12
- Re: [Axiom-developer] A curious algebra failure,
Gabriel Dos Reis <=
- 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