Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



[Axiom] use of Roman numbers
Posted:
Oct 31, 2017 3:38 AM


Is it possible in Axiom use expressions where the symbols in it Are not variable but instead Roman numeric?
For example the expression : I+VI+I Or the expression I+VI/II+I
 What until now I obtained (I+VI+I)::EXPR ROMAN It seems considered from the system one EXPR ROMAN I tried to define a rule on expressions as s(a,b)==a::ROMAN+b:ROMAN f:= rule %x+%y==s(%x,%y)
That seems ok in f(I+III) but not in f(I+VI+I) because it seems sub expression of I+VI+I are not ROMAN type and s() not handle recursively them right. for handle I+VI+I I find return result the use of something as f:= rule %x+%y+%z==s(s(%x,%y),%z) But possible I not remember all perfect 100%



