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%   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)