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
> Mult
someone wrote:
>
> > AFAICS 'coefficients' is implemented. How exactly do you trigger
> > this problem? I have seen messages like this during developement
> > and testing, but they seem to be due to use of stale values.
>
> Hmm, really? Thanks for the warning.
Basically variables reference old
Hi,
> > > UP in MultivariateFactorize is to allow recursively
> > > building multivatiate factorizer from univariate one.
> >
> > Aha. So maybe I won't need that at all
> > if I only consider univariate polynomials.
>
> Well, for univariate polynomials with polynomial coefficients
> multivatiat
someone wrote:
>
> > UP in MultivariateFactorize is to allow recursively
> > building multivatiate factorizer from univariate one.
>
> Aha. So maybe I won't need that at all
> if I only consider univariate polynomials.
Well, for univariate polynomials with polynomial coefficients
multivatiate fa
Hi,
> > Still difficult to use this domain.
> > I got a small test case working.
> > Not sure it is correct at all.
>
> Looks OK. Just beware that list of R for which it works
> is very short.
Ok, thanks.
> Also, do you want to factor mutivariate polynomials or univariate?
For what I want
someone wrote:
>
> Hmm, yes. I hoped that giving some generic details about
> the base ring would be enough. Then Fricas would figure
> which domain/package exactly is needed.
>
> > If you want something automatic, then
> > you may try GeneralizedMultivariateFactorize, but it works
> > on best e
Hi,
Thanks for your reply.
> > What is the correct way to factor polynomials in spad code?
> >
>
> ATM this is a mess. Normally you need to determine correct
> factorizer.
Hmm, yes. I hoped that giving some generic details about
the base ring would be enough. Then Fricas would figure
which
>
> Hi,
>
>
> What is the correct way to factor polynomials in spad code?
>
ATM this is a mess. Normally you need to determine correct
factorizer. If you want something automatic, then
you may try GeneralizedMultivariateFactorize, but it works
on best effort basis: it may fail to produce fac
Hi,
What is the correct way to factor polynomials in spad code?
Assume I have some ring R (maybe Z):
R : UniqueFactorizationDomain
and then polynomials like:
UP ==> SparseUnivariatePolynomial(R)
p : UP := x^3 + 3*x^2 + x + 3
and I wish to factor over the ring given. In the interprete
