|
|
|
last edited 9 years ago by Bill Page |
Edit detail for #448 R: Ring declaration does not work revision 3 of 4
| 1 2 3 4 | ||
|
Editor: test1
Time: 2014/05/06 18:17:42 GMT+0 |
||
| Note: | ||
added:
From test1 Tue May 6 18:17:42 +0000 2014
From: test1
Date: Tue, 06 May 2014 18:17:42 +0000
Subject:
Message-ID: <20140506181742+0000@axiom-wiki.newsynthesis.org>
Category: Axiom Aldor Interface => Axiom Interpreter
Entering
R: Ring power: (R, NonNegativeInteger?): R -> R power(x, n) == x ** n
from http://axiom-wiki.newsynthesis.org/uploads/chapter-0.xhtml#subsec-0.2.4 "Operations Can Refer To Abstract Types" does not work
(1) -> R: Ring
Ring is a category, not a domain, and declarations require domains.