|
|
|
last edited 9 years ago by Bill Page |
Edit detail for #448 R: Ring declaration does not work revision 4 of 4
| 1 2 3 4 | ||
|
Editor: Bill Page
Time: 2015/04/10 17:01:43 GMT+0 |
||
| Note: format | ||
changed: -Entering - -R: Ring -power: (R, NonNegativeInteger): R -> R -power(x, n) == x ** n Entering:: R: Ring power: (R, NonNegativeInteger): R -> R power(x, n) == x ** n
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.
... --test1, Tue, 06 May 2014 18:17:42 +0000 reply
Category: Axiom Aldor Interface => Axiom Interpreter