On Thu, Dec 14, 2023 at 12:52 PM Dima Pasechnik wrote:
>
> On Thu, Dec 14, 2023 at 5:37 AM Nils Bruin wrote:
> >
> > (side note: Q is generally considered a PID, but indeed it makes little
> > sense worrying about Smith normal form over it)
> >
> > Concerning the slow performance: from the docum
On Thu, Dec 14, 2023 at 5:37 AM Nils Bruin wrote:
>
> (side note: Q is generally considered a PID, but indeed it makes little sense
> worrying about Smith normal form over it)
>
> Concerning the slow performance: from the documentation, R._matrix_smith_form
> would allow an optimized routine to
Sure, any field is a PID but it is not the targe of a Smith form :)
This question came from an actual computation of a colleague where the
direct approach is taking days and hermite+smith is very fast, and could be
useful for any one variable ring. Any way, I agree with you that maybe a
Summer
(side note: Q is generally considered a PID, but indeed it makes little
sense worrying about Smith normal form over it)
Concerning the slow performance: from the documentation,
R._matrix_smith_form would allow an optimized routine to kick in. That
doesn't exist, though.
ZZ doesn't have it eith
It is over the ring of polynomials in one variable over Q.
El miércoles, 13 de diciembre de 2023 a las 15:05:00 UTC+1, Dima Pasechnik
escribió:
> On Wed, Dec 13, 2023 at 10:55 AM Enrique Artal
> wrote:
> >
> > I have the toy example belowto compare the direct use of smith_form and
> the combi
On Wed, Dec 13, 2023 at 10:55 AM Enrique Artal wrote:
>
> I have the toy example belowto compare the direct use of smith_form and the
> combination of hermite_form and smith_form.
>
> Last execution (there are random inputs) gave:
> CPU times: user 2.22 s, sys: 5.93 ms, total: 2.23 s Wall time:
