On Fri, Feb 14, 2020 at 05:57:15PM +0100, Kurt Pagani wrote:
> 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.
Well, several signature in MonoidRing are redundant (introduced earlier).
And with proper intermediate catergories there will be more.
Note: I do not mean that signature is useless. What I mean is that
we have multiple defintions of exactly the same thing. Also,
signature may be conditional and conditions should not prevent
us from removing redundancy.
--
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/20200216152915.GB25387%40math.uni.wroc.pl.
