Repository navigation
Expose content and zpoly of fmpq_mpoly #419
Description
Activity
Yes, that seems reasonable. Do you want to open a PR?
If the zpoly method needs to create a context maybe it would make more sense for the fmpq_mpoly_ctx to store a reference to an associated fmpz_mpoly_ctx. The user would need to have some way of getting the context.
Yes, ideally there should be a shortcut to get fmpz_mpoly_ctx directly from fmpq_mpoly_ctx. Maybe not the 1st priority, but still. I'll open a PR.
I'm not sure about the method names. Other poly/mpoly types have methods called content and if types have the same method name then it should have a consistent meaning.
Another possibility is numer and denom e.g.:
In [1]: from flint import fmpq_poly In [2]: p = fmpq_poly([2, 4]) / 7 In [3]: p Out[3]: 4/7*x + 2/7 In [4]: p.numer() Out[4]: 4*x + 2 In [5]: type(_) Out[5]: flint.types.fmpz_poly.fmpz_poly In [6]: p.denom() Out[6]: 7 In [7]: type(_) Out[7]: flint.types.fmpz.fmpz
For other types content means the nonnegative gcd:
In [11]: from flint import fmpz_poly In [12]: p = fmpz_poly([-2, -6]) In [13]: p.content() Out[13]: 2
The fmpz_mpoly type has content and primitive methods
In [15]: from flint import fmpz_mpoly_ctx In [16]: R = fmpz_mpoly_ctx.get(['x', 'y']) In [17]: x, y = R.gens() In [18]: p = -2*x - 4*y In [19]: p.content() Out[19]: 2 In [20]: p.primitive() Out[20]: (2, -x - 2*y)
Again content here is nonnegative.
Perhaps calling the methods zpoly and zcontent to keep them distinct from other methods like numer, denom, content and primitive would be better.
I have no preference on these names, I was just going by what the C api calls them. zpoly and zcontent are fine too. Note that zcontent is still fmpq, not fmpz, as the "z" letter might imply.
About fmpz_mpoly_ctx from fmpq_mpoly_ctx: although the C-level fmpz_mpoly_ctx is trivially accessible from fmpq_mpoly_ctx, the Python-level fmpz_mpoly_ctx still should go through the caching system. I think I won't change this part. fmpq_mpoly_ctx.__init__ also uses the same pattern when an fmpz_mpoly is passed: fmpz_mpoly_ctx.from_context(poly.ctx).
Hi, all. First of all, thanks a lot for python bindings, these are very useful. So, FLINT stores fmpq_mpoly as an fmpz_mpoly and an fmpq content; these are accessible via fmpq_mpoly_content_ref and fmpq_mpoly_zpoly_ref. Would it be possible to expose these values in python-flint?
Of course, exposing mutable references would be all sorts of complicated, but just adding content() and zpoly() methods that return copies would already be great. Currently (as of version 0.9) it seems like I can only do this conversion via to_dict/from_dict, which is infinitely slow compared to the proper solution.
Something like this maybe?