login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#447 integrals of abs and sqrt  ← ↑ →  #45 regression testing is not being checked

#448 R: Ring declaration does not work
  
last edited 10 years ago by Bill Page

Edit detail for #448 R: Ring declaration does not work revision 2 of 4
1 2 3 4
Editor: Bill Page
Time: 2010/06/15 08:02:18 GMT-7
Note: section name in link 
changed:
-from http://axiom-wiki.newsynthesis.org/uploads/chapter-0.xhtml section 0.2.4 "Operations Can Refer To Abstract Types" does not work
from http://axiom-wiki.newsynthesis.org/uploads/chapter-0.xhtml#subsec-0.2.4 "Operations Can Refer To Abstract Types" does not work

Submitted by : hemmecke at: 2010-06-15T06:40:37-07:00 (14 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.