This fails axiom exp(-0.02*t)
Type: Expression(Float)axiom % :: Expression Fraction Integer
Type: Expression(Fraction(Integer))axiom % :: Expression Float
Type: Expression(Float)But this works axiom exp(-1*(1/50)*t)
Type: Expression(Integer)axiom % :: Expression Float
Type: Expression(Float)Why are these expressions treated differently? How can convert the first one to the second? axiom (1/2*x)::EXPR FRAC INT
Type: Expression(Fraction(Integer))axiom %::EXPR FLOAT
Type: Expression(Float)axiom exp(-0.02*t) :: Expression Fraction Integer
Type: Expression(Fraction(Integer))then why? axiom exp(-1*(1/50)*t)
Type: Expression(Integer)Is Axiom confused about the definition of the type Expression Integer? What exactly is it that is supposed to be an Integer in each case above? Category: Axiom Compiler => Axiom Library Status: open => rejected
Martin |

EXPR FRAC INT doesn't coerce to EXPR FLOAT--unknown, Tue, 10 May 2005 17:54:24 -0500 reply