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: RingRing 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
|