Sage and Rename 'rootOfADE' to 'ADEseq'

28 views
Skip to first unread message

Qian Yun

unread,
Dec 23, 2023, 8:10:09 PM12/23/23
to fricas-devel
In Sagemath's FriCAS interface, there is:

register_symbol(lambda *args:
explicitly_not_implemented("rootOfADE"), {'fricas': 'rootOfADE'}, 2)

Although it is not implemented, the rename will affect the interface.

This should be kept in mind when FriCAS gets version bump in Sage.

- Qian

Martin R

unread,
Dec 24, 2023, 4:36:07 PM12/24/23
to 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

Waldek Hebisch

unread,
Dec 24, 2023, 4:59:34 PM12/24/23
to 'Martin R' via FriCAS - computer algebra system
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 only reasonable meaning of root of ADE
is a solution, that is a function. One should be able to compute
derivatives of of such object and plug them into a differential
equation. Object defined in RECOP is a sequence, it behaves in
quite different way. 'rootOfRec' is fine, it is solution to
reccurence equation.

BTW: I tried to contact you via private mail, got no answer
in a week.

--
Waldek Hebisch

Martin R

unread,
Dec 25, 2023, 9:25:24 AM12/25/23
to FriCAS - computer algebra system
Possibly the email address is outdated?  I am at tuwien.ac.at.

I agree that rootOfADE may be misleading, however, if you rename it, it would be better to drop the reference to ADEs, because the same operator is also used for other functional equations (as produced by guessFE).

I chose rootOfADE because guessFE didn't exist at the time (I think) and to make the connection to rootOfRec immediately visible.

Martin

Waldek Hebisch

unread,
Dec 25, 2023, 9:52:44 AM12/25/23
to 'Martin R' via FriCAS - computer algebra system
On Mon, Dec 25, 2023 at 06:25:24AM -0800, 'Martin R' via FriCAS - computer algebra system wrote:
> Possibly the email address is outdated? I am at tuwien.ac.at.

I see. I used yahoo.de address from your past messages to the group.

> I agree that rootOfADE may be misleading, however, if you rename it, it
> would be better to drop the reference to ADEs, because the same operator is
> also used for other functional equations (as produced by guessFE).

Do you have better name? Maybe 'FEseq'?

--
Waldek Hebisch

Martin R

unread,
Dec 26, 2023, 5:01:15 PM12/26/23
to FriCAS - computer algebra system
It would be nice if it were some hint that it is about the coefficients in a power series expansion.

maybe "series"?  Although I could see that this might be too generic.

Martin

Waldek Hebisch

unread,
Dec 27, 2023, 11:30:33 AM12/27/23
to 'Martin R' via FriCAS - computer algebra system
On Tue, Dec 26, 2023 at 02:01:14PM -0800, 'Martin R' via FriCAS - computer algebra system wrote:
> It would be nice if it were some hint that it is about the coefficients in
> a power series expansion.
>
> maybe "series"? Although I could see that this might be too generic.

You mean 'FEseries'? Looks OK. 'series' alone would be really too
generic.

--
Waldek Hebisch

Martin R

unread,
Dec 28, 2023, 7:09:12 AM12/28/23
to FriCAS - computer algebra system
I don't mind much.  I think that FEseries is better than ADEseq.

Best wishes,

Martin

Waldek Hebisch

unread,
Dec 28, 2023, 8:00:29 AM12/28/23
to 'Martin R' via FriCAS - computer algebra system
On Thu, Dec 28, 2023 at 04:09:12AM -0800, 'Martin R' via FriCAS - computer algebra system wrote:
> I don't mind much. I think that FEseries is better than ADEseq.

OK, I will go with FEseries.

--
Waldek Hebisch

Waldek Hebisch

unread,
Dec 28, 2023, 3:00:26 PM12/28/23
to fricas...@googlegroups.com
Done now.

--
Waldek Hebisch
Reply all
Reply to author
Forward
0 new messages