On Wed, Feb 07, 2024 at 07:34:55PM +0800, Qian Yun wrote:
> So we shall make the 'more -> less' change then?
After some thinking my opinion is yes. I do not see how we
could cope with different behaviour of variants of 'more'
so insisting on 'less' is reasonable.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZgxKlcGcUb0GFjQd%40fricas.org.
