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

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

From #6:

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

\label{eq1}\Gamma \left({3 \over 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 from type Expression(Float) to Float for value Gamma(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.

Status: fix proposed => fixed somewhere

no patch available

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

Status: fixed somewhere => fix proposed




  Subject: (replying)   Be Bold !!
  ( 14 subscribers )  
Please rate this page: