MathAction #448 R: Ring declaration does not work

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

Topics

FrontPage
- IssueTracker
  - #448 R: Ring declaration does not work <-- You are here.

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.

... --test1, Tue, 06 May 2014 18:17:42 +0000 reply

Category: Axiom Aldor Interface => Axiom Interpreter