Hello Waldek, There are still some patches (wrt generalization of the Groebner package) waiting from my side where I have not yet any comments.
Permission to commit or are there opinions that speak against? Ralf On 02/07/2016 09:03 AM, Ralf Hemmecke wrote: > Hi, > > in PolynomialCategoryLifting, the target domain is required to be of > type SetCategory. > > https://github.com/hemmecke/fricas/blob/master-hemmecke/src/algebra//polycat.spad#L734 > > But isn't that unnecessary? > > For the package to work, it is already uninteresting whether +, *, > and ^ have certain properties. > > Would anyone be against if I remove "SetCategory" from the > requirements of S and commit that? > > Ralf > -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
