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 effort basis: it may fail to produce factorization
> > if it can not find good factorizer.  If base ring is
> > Integer, then MultivariateFactorize contains apropriate
> > 'factor'.
> 
> Ok. So I was on the right track more or less. But it
> was a long way with very little documentation.
> 
> 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.  Also, do you want to factor mutivariate
polynomials or univariate?  Univariate polynomials
with Integer coefficients currently are handled in
GaloisGroupFactorizer.  Dispatcher for univariate
factorization is in GenUFactorize.

UP in MultivariateFactorize is to allow recursively
building multivatiate factorizer from univariate one.

-- 
                              Waldek Hebisch
[email protected] 

-- 
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.

Reply via email to