login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#407 Cannot modify status of Issue  ← ↑ →  #409 Aldor interface is difficult to install on FriCAS / OpenAxiom

#408 Gamma$EXPR INT cannot be evaluated as Float
  
last edited 15 years ago by japp

Edit detail for #408 Gamma$EXPR INT cannot be evaluated as Float revision 6 of 6
1 2 3 4 5 6
Editor: japp
Time: 2009/04/09 01:45:02 GMT-7
Note: Change status 
added:

From japp Thu Apr 9 01:45:02 -0700 2009
From: japp
Date: Thu, 09 Apr 2009 01:45:02 -0700
Subject: Change status
Message-ID: <20090409014502-0700@axiom-wiki.newsynthesis.org>

Status: fixed somewhere => fix proposed

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.

... --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