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 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

axiom
ex := Gamma(3/2::EXPR INT)
LatexWiki Image(1)
Type: Expression Integer
axiom
ex::EXPR FLOAT
LatexWiki Image(2)
Type: Expression Float
axiom
ex::EXPR FLOAT::FLOAT Cannot convert from type Expression Float to Float for value _ | (1.5)