> Concerning PolynomialCategoryLifting, the change looks OK. Are there > other changes that you want to commit?
Ooops. I forgot to send the link again. https://github.com/hemmecke/fricas/commits/poly There are commits listed from 18-Dec-2015 concerning generalization of Groebner(Internal)Package. That is in connection with making totalDegree an optional export and the problems with that. See https://www.mail-archive.com/[email protected]/msg08830.html as the related thread. Of course, I would prepare properly formatted patches if you think that it is worth to be included into FriCAS. In short (if I remember correctly) there are a couple of things 1) make totalDegree optional in FreeModuleCategory and remove the definition from GeneralDistributedMultivariatePolynomial. The "rewrite totalDegree" commit was necessary because I had problems with the compilation of the "max"/[reduce("+", s::V, 0) for s in support p] line. 2) Remove VarSet from Groebner(Internal)Package and the commit "Groebner(Internal)Package without VarSet" modifies the other respective algebra files that depend on the Groebner package. 3) gbasisExtend is not really necessary, but I had locally a problem where I knew that my input polynomials were already a Groebner basis wrt the given order and I wanted to extend this GB by more polynomials. It would, of course, be unnecessary to recomputed the initial list of S-polynomials of the known GB-polynomials, because it's just a waste of time to let them again reduce to zero. The change was simple enough and I did not (yet) make it publicly visible in GroebnerPackage, but only in GroebnerInternalPackage. 4) Remov SetCategory from POLYLIFT. Hope that helps. 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.
