Re: [flint-devel] FLINT 1.4 Released!

[Bill H. <goo...@go...>]

I forgot to mention, I implemented zmod_poly_compose and
zmod_poly_evaluate (supplied with test code and docs).

One small inefficiency in the evaluate_mod code is that we reduce
multiple coefficients mod p, but don't use the same precomputed
inverse in each case. We really need an fmpz_mod_ui_precomp or
something like that. Otherwise I think what you have is fairly
efficient.

One other major improvement would be divide and conquer for
zmod_poly_compose. This would actually be asymptotically faster I
believe. In the case of zmod_poly_evaluate, I believe Horner's method
is asymptotically fast. I don't know if translate would be faster with
a divide and conquer strategy.

Bill.

2009/7/16 Bill Hart <goo...@go...>:
> Hi Burcin,
>
> I've added the functions you supplied, to fmpz_poly.c/h in trunk. At
> your leisure, could you verify they actually work with your code. I've
> made some minor changes to them, but I haven't added test code or
> documentation (feel free to supply it if you feel that the functions
> could be of more general use).
>
> Once you are happy with them, I'll make the release tarball.
>
> I'm sure you have your git repo hooked up to the FLINT svn, but if
> not, here is the FLINT trunk:
>
> http://flint.svn.sourceforge.net/svnroot/flint/trunk
>
> Bill.
>
> 2009/7/6 Bill Hart <goo...@go...>:
>> Hi Burcin, indeed I missed the patch attached to that flint-devel post.
>>
>> I think I can fairly easily add the stuff you implemented in cython,
>> directly to FLINT.
>>
>> I'll do hat in the next few days and issue FLINT 1.4.1 when I have done it.
>>
>> Bill.
>>
>> 2009/7/6 Burcin Erocal <bu...@er...>:
>>> Hi Bill,
>>>
>>> On Mon, 6 Jul 2009 03:16:52 +0100
>>> Bill Hart <goo...@go...> wrote:
>>>
>>>> I've just released FLINT 1.4. Get it at http://www.flintlib.org/
>>> <snip release info>
>>>> There should be a FLINT 1.5 before FLINT 2.0 comes out towards the end
>>>> of this year. In particular I need to address:
>>>>
>>> <snip>
>>>> * We don't have zmod_poly_compose or zmod_poly_evaluate yet
>>>
>>> Can I also request fmpz_poly_evaluate_mod?
>>>
>>> I posted a patch implementing this here, but I guess it got lost in
>>> the bug discussion:
>>>
>>> http://sourceforge.net/mailarchive/forum.php?thread_name=20090331192030.7634e082%40karr&forum_name=flint-devel
>>>
>>> As I wrote in that message, I also need to "translate" polynomials
>>> (i.e., compose with x+k for some constant k) very often. I am not sure
>>> if it's worth introducing new functions for this purpose, since they
>>> can be handled as a special case of composition. Though I still need
>>> fmpz_poly_compose_mod in that case.
>>>
>>> Here is a cython file with some of these functions:
>>>
>>> http://sage.math.washington.edu/home/burcin/sage_extras.pyx
>>>
>>>
>>> This is a part of a patch to Sage to add fast nullspace computation
>>> over QQ(x). It would be great if this functionality was added to FLINT
>>> before I submit the patch to Sage. :)
>>>
>>>
>>> Thanks.
>>>
>>> Burcin
>>>
>>> ------------------------------------------------------------------------------
>>> _______________________________________________
>>> flint-devel mailing list
>>> fli...@li...
>>> https://lists.sourceforge.net/lists/listinfo/flint-devel
>>>
>>
>