login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

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

Submitted by : hemmecke at: 2010-06-15T06:40:37-07:00 (12 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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.

Category: Axiom Aldor Interface => Axiom Interpreter