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

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.

Category: Axiom Aldor Interface => Axiom Interpreter




  Subject: (replying)   Be Bold !!
  ( 15 subscribers )  
Please rate this page: