The Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math.symbolic

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

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
asetofsymbols@gmail.com

Posts: 54
Registered: 11/11/16
[Axiom] use of Roman numbers
Posted: Oct 31, 2017 3:38 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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%





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2017. All Rights Reserved.