MathAction #408 Gamma$EXPR INT cannot be evaluated as Float

Topics

FrontPage
- IssueTracker
  - #408 Gamma$EXPR INT cannot be evaluated as Float <-- You are here.

From #6:

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 .

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.

... --gdr, Sun, 18 May 2008 13:16:48 -0700 reply

Status: fix proposed => fixed somewhere

no patch available

From Fricas --japp, Thu, 16 Oct 2008 13:45:15 -0700 reply

http://fricas.svn.sourceforge.net/viewvc/fricas?view=rev&revision=165

Change status --japp, Thu, 09 Apr 2009 01:45:02 -0700 reply

Status: fixed somewhere => fix proposed

Subject: Be Bold !!

	( 15 subscribers )