Hi,
> Basically variables reference old version of domain. Ok, now I understand what you mean. This is not so surprising, how should one update variables/instances with new (possibly incompatible) versions of their domain ... > But what you mean by "with UP"? Passing UP instead of P to > MultivariateFactorize is not going to work. I think I see, the reason being that: SparseUnivariatePolynomial(...) has PolynomialCategory(...) is false in that specific case. So I misunderstood that in the first place. (I'm not 100% sure what the second "..." are.) > Both 'factor' functions from MultivariateFactorize are supposed to work. Ok, I think I got what you wanted to say with: UP in MultivariateFactorize is to allow recursively building multivatiate factorizer from univariate one. You referred to the function signature of "factor" while I took that for the package constructor argument "P". Thanks again for all the clarification! -- 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 http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
