login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #408 Gamma$EXPR INT cannot be evaluated as Float revision 1 of 6

1 2 3 4 5 6
Editor: kratt6
Time: 2007/12/23 10:49:08 GMT-8
Note:

changed:
-
\begin{axiom}
ex := Gamma(3/2::EXPR INT)
ex::EXPR FLOAT
ex::EXPR FLOAT::FLOAT
\end{axiom}

Submitted by : kratt6 at: 2007-12-23T10:49:08-08:00 (18 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

fricas
(1) -> ex := Gamma(3/2::EXPR INT)

\label{eq1}\Gamma \left({\frac{3}{2}}\right)(1)
Type: Expression(Integer)
fricas
ex::EXPR FLOAT

\label{eq2}\Gamma \left({1.5}\right)(2)
Type: Expression(Float)
fricas
ex::EXPR FLOAT::FLOAT
Cannot convert the value from type Expression(Float) to Float .