On 14.02.2020 17:24, Waldek Hebisch wrote: > On Fri, Feb 14, 2020 at 04:43:12PM +0100, Ralf Hemmecke wrote:
>> >> Easy patch, but I do not propose it right now, because there is more and >> I want to hear opinions. > > For different resons I am looking at similar issue. Namely, there is > redundancy between free monoid and polynomials. I would like to > make polynomials available for tensor products, but limit profileration > of spurious signatures. So I am thinking about introducing some intermediate > categories. Clearly, it is worth looking if DirectProductCategory > deserves some intermediate category. > I'm using FreeMonoid S also with non-ordered S, so I guess there is no redundancy? Or do I overlook something? Actually there might be some redundancy with XFreeAlgebra, XDistributedPolynomial and TensorProduct etc., but the latter are quite useful. Accidentally, I tested a domain TensorAlgebra a week ago (http://fricas-wiki.math.uni.wroc.pl/SandBoxTensorAlgebra2?root=SandBox) based on XDistributedPolynomial (saves a lot of work compared to implementing it by FreeMonoid+FreeModule). -- 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/551a698c-234e-3dec-520a-2f2826dad1fa%40gmail.com.
