Re: Problem with Flx_ffisom function

[Jean-Pierre Flori <flori@enst.fr>]

2014-12-05 17:32 GMT+01:00 Karim Belabas <Karim.Belabas@math.u-bordeaux.fr>:
> * Jean-Pierre Flori [2014-12-05 17:22]:
>> Isn't "f" a polynomial over Z?
>
> If is (more precisely a ZX or FpX: a t_POL with t_INT coefficients),
> hence not an Flx (a t_VECSMALL with 1 codeword and ulong coefficients).
>
Ok, I was just realizing that thinking that Flx_ffisom must expect the
coeffs to be small.

> You're correctly converting from ZX_to_Flx here, before applying an
> Flx_* function:
>          i = Flx_is_irred(ZX_to_Flx(f, l), l);
Yes, I checked that your suggestion indeed works.
Thanks!

>
> You must do the same before Flx_ffisom.

The only fix on your side should then be to modify the doc.
At the moment it just says "same as FpX_ffisom" and that one eats
polynomials with multiprecision coeffs.

Best,


-- 
Jean-Pierre Flori