Re: [fricas-devel] Problem with function definition

2024-03-25 Thread Waldek Hebisch
On Mon, Mar 25, 2024 at 03:41:51PM +0100, Ralf Hemmecke wrote: > Hello, > > does somebody see my error? I don't understand why the function "nicer" does > not work, but the individual commands on the input do. > What I also find strange is that the error message for "nicer" changes in > the end.

Re: [fricas-devel] Problem with function definition

2024-03-25 Thread Waldek Hebisch
On Mon, Mar 25, 2024 at 07:00:44PM +0100, Ralf Hemmecke wrote: > On 3/25/24 16:13, Waldek Hebisch wrote: > > This is a bug in FriCAS. RootSimplification uses interpreter to > > initialize its variables. However, this does not work when first > > use of RootSimplification is inside a function. >

Re: [fricas-devel] Problem with function definition

2024-03-25 Thread Ralf Hemmecke
On 3/25/24 16:13, Waldek Hebisch wrote: This is a bug in FriCAS. RootSimplification uses interpreter to initialize its variables. However, this does not work when first use of RootSimplification is inside a function. Ah. OK. Thank you. What about documenting this? It is not clear whom to

Re: [fricas-devel] Problem with function definition

2024-03-25 Thread Waldek Hebisch
On Mon, Mar 25, 2024 at 03:41:51PM +0100, Ralf Hemmecke wrote: > Hello, > > does somebody see my error? I don't understand why the function "nicer" does > not work, but the individual commands on the input do. This is a bug in FriCAS. RootSimplification uses interpreter to initialize its

[fricas-devel] Problem with function definition

2024-03-25 Thread Ralf Hemmecke
Hello, does somebody see my error? I don't understand why the function "nicer" does not work, but the individual commands on the input do. What I also find strange is that the error message for "nicer" changes in the end. The commands of the following session are attached. Thanks in

Re: [fricas-devel] string(Integer)

2024-03-25 Thread Grégory Vanuxem
hello Waldek, hello folks, Le mer. 20 mars 2024 à 22:28, Waldek Hebisch a écrit : > > On Wed, Mar 20, 2024 at 07:41:11PM +0100, Grégory Vanuxem wrote: > > Hello, > > > > Do you happen to know why the declaration of string(Integer) is in > > StringCategory and its definition in the String domain?