Yes ;)
Here with FLINT 2 today
julia> R, (x, y, z, t) = PolynomialRing(ZZ, ["x", "y","z","t"])
(Multivariate Polynomial Ring in x, y, z, t over Integer Ring,
fmpz_mpoly[x, y, z, t])
julia> f = x + y + z + t + 1
x + y + z + t + 1
julia> p = f^30;
julia> @time q = p*(p+1);
 11.451405 seconds (14.72 M allocations: 3.969 GiB, 2.64% gc time,
0.11% compilation time)
julia> @time q = p*(p+1);
 12.174498 seconds (14.72 M allocations: 3.969 GiB, 2.34% gc time)

And my fault, in march 2020 multivariate was already implemented, in
FLINT the bench gave ~13 sec

Le mar. 27 déc. 2022 à 12:08, Dima Pasechnik <[email protected]> a écrit :
>
> As far as I know, an up to date Flint supports multivariate polynomial rings, 
> so this should go much faster if you just create one ring.
> (assuming it is already used in Nemo).
>
>
> On Tue, 27 Dec 2022, 10:38 Grégory Vanuxem, <[email protected]> wrote:
>>
>> Le lun. 26 déc. 2022 à 23:54, Grégory Vanuxem <[email protected]> a écrit :
>>
>> [snippet]]
>>
>> > FLINT 2 via the Nemo library in Julia
>> > ===================================================
>> > julia> R, x = PolynomialRing(ZZ, "x");
>> > julia> S, y = PolynomialRing(R, "y");
>> > julia> T, z = PolynomialRing(S, "z");
>> > julia> U, t = PolynomialRing(T, "t");
>> > julia> f = x + y + z + t + 1
>> > t + z + y + x + 1
>> > julia> p = f^30;
>> > julia> @time q = p*(p+1);
>> >  32.041742 seconds (8.72 M allocations: 337.483 MiB, 3.31% gc time,
>> > 0.02% compilation time)
>> > julia> @time q = p*(p+1);
>> >  30.781938 seconds (5.67 M allocations: 277.926 MiB, 0.29% gc time)
>>
>> In fact, I just wrote to flint-devel and nemo-devel google groups
>> about the regression shown by this bench I ran around march 2020, the
>> beginning of the 1st World COVID 19 containment. I was highly
>> surprised yesterday.
>>
>> March 2020:
>> R, x = PolynomialRing(ZZ, "x");
>> S, y = PolynomialRing(R, "y");
>> T, z = PolynomialRing(S, "z");
>> U, t = PolynomialRing(T, "t");
>> f = x + y + z + t + 1
>> p = f^30;
>> @time q = p*(p+1);
>>  20.099625 seconds (2.32 M allocations: 102.120 MiB, 0.78% gc time)
>>
>>  Regards,
>> __
>> Greg
>>
>> --
>> 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 view this discussion on the web visit 
>> https://groups.google.com/d/msgid/fricas-devel/CAHnU2db%2BsWgeg47Q3eoTsJYOCZJ96hCLJiopmz1DwwtB8zB5Rw%40mail.gmail.com.
>
> --
> 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 view this discussion on the web visit 
> https://groups.google.com/d/msgid/fricas-devel/CAAWYfq3522qaq_sm4Ypx3fcUmf2LfPsuRW7Hy2rRaj3jRjSe7Q%40mail.gmail.com.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/CAHnU2dY%2BFJVKKB2s21xrw2oUA-usnOEgqG-AO-sCS5uNAyASMg%40mail.gmail.com.

Reply via email to