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

Edit detail for #316 solve dies on included code revision 5 of 6

1 2 3 4 5 6
Editor: alfredo
Time: 2008/10/16 03:32:22 GMT-7
Note: Fixed in OpenAxiom

added:

From alfredo Thu Oct 16 03:32:22 -0700 2008
From: alfredo
Date: Thu, 16 Oct 2008 03:32:22 -0700
Subject: Fixed in OpenAxiom
Message-ID: <20081016033222-0700@axiom-wiki.newsynthesis.org>



Submitted by : (unknown) at: 2007-11-17T22:25:27-08:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

I don't know enough if this is a repeat somewhere else:

fricas
solve([x**3+y**3+cot(z)=12,x**2+z=1101,x*y=53],[x,y,z])
There are no library operations named ** Use HyperDoc Browse or issue )what op ** to learn if there is any operation containing " ** " in its name.
Cannot find a definition or applicable library operation named ** with argument type(s) Variable(x) PositiveInteger
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

gave:: WARNING (genufact): No known algorithm to factor 6 3 ? + (cot(z) - 12)? + 148877, trying square-free.

>> Error detected within library code: No identity element for reduce of empty list using operation append

Similarly:

 solve([x+cot(z)=12,x+z=0],[x,z])
 2) -> 
   >> Error detected within library code:
   No identity element for reduce of empty list using operation
   append

fixed in FriCAS? --kratt6, Thu, 20 Dec 2007 01:38:39 -0800 reply
Category: Axiom Interpreter => Axiom Library Status: open => fix proposed

Status: fix proposed => fixed somewhere

no patch available

Fixed in OpenAxiom? --alfredo, Thu, 16 Oct 2008 03:32:22 -0700 reply