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%