|
|
|
last edited 15 years ago by japp |
Edit detail for #408 Gamma$EXPR INT cannot be evaluated as Float revision 5 of 6
| 1 2 3 4 5 6 | ||
|
Editor: japp
Time: 2008/10/16 13:45:15 GMT-7 |
||
| Note: From Fricas | ||
added:
From japp Thu Oct 16 13:45:15 -0700 2008
From: japp
Date: Thu, 16 Oct 2008 13:45:15 -0700
Subject: From Fricas
Message-ID: <20081016134515-0700@axiom-wiki.newsynthesis.org>
http://fricas.svn.sourceforge.net/viewvc/fricas?view=rev&revision=165
From #6:
axiom
ex := Gamma(3/2::EXPR INT)
 | (1) |
Type: Expression Integer
axiom
ex::EXPR FLOAT
 | (2) |
Type: Expression Float
axiom
ex::EXPR FLOAT::FLOAT
Cannot convert from type Expression Float to Float for value _ | (1.5)
mostly fixed in FriCAS? --kratt6, Fri, 28 Dec 2007 16:37:23 -0800 reply
Status: open => fix proposed
it remains to teach axiom algorithms for Gamma & friends with Float (not DoubleFloat) arguments, and that Complex DoubleFloat has SpecialFunctionCategory.
The latter seems to be a bit tricky, unless we do it by special case in Complex, which is ugly.
no patch available