Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: [Axiom] use of Roman numbers
Replies: 1   Last Post: Oct 31, 2017 7:17 AM

 Messages: [ Previous | Next ]
 asetofsymbols@gmail.com Posts: 59 Registered: 11/11/16
[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%

Date Subject Author
10/31/17 asetofsymbols@gmail.com
10/31/17 oldk1331@gmail.com