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.
