On Monday, 7 April 2025 at 19:05:58 UTC+2 Waldek Hebisch wrote:
On Mon, Apr 07, 2025 at 08:45:26AM -0700, Kurt Pagani wrote: > > > On Monday, 7 April 2025 at 16:06:42 UTC+2 Waldek Hebisch wrote: > > On Sun, Apr 06, 2025 at 06:38:32PM +0200, Waldek Hebisch wrote: > > On Sun, Apr 06, 2025 at 07:11:03AM -0700, Kurt Pagani wrote: > ... > > Yes, as long as there is no reasonable definition I would advocate for > removal. What about: lquo : (%, %) -> % ++ \spad{lquo(x, y)} is a bilinear extention of \spad{lquo} from ++ words to \spad{%}. Well, the association of 'lquo' to leftQuotient is quite strong, so another name might be more adequate. I admit that I still can't see any meaning to this 'lquo/rquo' pair, but this carries no weight at all. I'm happy with the 'ldivide' by now. https://en.wikipedia.org/wiki/Quotient_of_a_formal_language -- 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/fc08e187-d43f-4230-9c78-6f69424fd1e3n%40googlegroups.com.