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 9 years ago by Bill Page

Edit detail for #448 R: Ring declaration does not work revision 1 of 4
1 2 3 4
Editor: hemmecke
Time: 2010/06/15 06:40:37 GMT-7
Note: 
changed:
-
Entering

R: Ring
power: (R, NonNegativeInteger): R -> R
power(x, n) == x ** n

from http://axiom-wiki.newsynthesis.org/uploads/chapter-0.xhtml section 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.

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