[fricas-devel] why Fricas allows Float as argument to function defined to accept Integer?

2023-12-24 Thread 'Nasser M. Abbasi' via FriCAS - computer algebra system
I am learning little Fricas. But confused about this (21) -> g2(x: Integer): Integer == x^2 Function declaration g2 : Integer -> Integer has been added to workspace. Is the above function supposed to accept only Integer type as input and return Integer? Then why does

Re: [fricas-devel] Re: Sage and Rename 'rootOfADE' to 'ADEseq'

2023-12-24 Thread Waldek Hebisch
On Sun, Dec 24, 2023 at 01:36:07PM -0800, 'Martin R' via FriCAS - computer algebra system wrote: > Thank you for notifying! > > (May I ask for the reason of the change of name? Will rootOfRec also be > renamed? Disclaimer: I introduced these operators to FrICAS) 'rootOfADE' is confusing: the

[fricas-devel] Re: Sage and Rename 'rootOfADE' to 'ADEseq'

2023-12-24 Thread 'Martin R' via FriCAS - computer algebra system
Thank you for notifying! (May I ask for the reason of the change of name? Will rootOfRec also be renamed? Disclaimer: I introduced these operators to FrICAS) Best wishes, Martin On Sunday 24 December 2023 at 02:10:09 UTC+1 oldk1331 wrote: > In Sagemath's FriCAS interface, there is: > >

Re: [fricas-devel] Recursive call to interpreter

2023-12-24 Thread Qian Yun
OK, this might not be that complicated after all, hear my analysis: 1. Assume there is only 1 (global) scope for $timedNameStack, and it is only modified by push or pop, never gets assignment. When an exception is thrown in somewhere and catched somewhere else, now there's a "stopTimingProcess

Re: [fricas-devel] Recursive call to interpreter

2023-12-24 Thread Waldek Hebisch
On Sun, Dec 24, 2023 at 09:55:03AM +0800, Qian Yun wrote: > > > On 12/24/23 09:41, Waldek Hebisch wrote: > > > > > > > > Well, with this '$timedNameStack' is balanced. But there is still > > > > trouble with acconting: since 'stopTimingProcess' was not called > > > > we will either ignore or