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 16 years ago by japp

Edit detail for #408 Gamma$EXPR INT cannot be evaluated as Float revision 3 of 6
1 2 3 4 5 6
Editor: kratt6
Time: 2007/12/28 16:37:23 GMT-8
Note: mostly fixed in FriCAS 
added:

From kratt6 Fri Dec 28 16:37:23 -0800 2007
From: kratt6
Date: Fri, 28 Dec 2007 16:37:23 -0800
Subject: mostly fixed in FriCAS
Message-ID: <20071228163723-0800@axiom-wiki.newsynthesis.org>

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.

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

From #6: 

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)

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.