solveFrobeniusIdeal -- solving Frobenius ideals

i1 : R = QQ[t_1..t_5];

i2 : I = ideal(t_1+t_2+t_3+t_4+t_5, t_1+t_2-t_4, t_2+t_3-t_4, t_1*t_3, t_2*t_4);

o2 : Ideal of R

i3 : solveFrobeniusIdeal I
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.
 -- .000004858s elapsed

                                                                             
o3 = {1, - 2logX  + 3logX  - 2logX  + logX , - logX  + logX  - logX  + logX ,
                0        1        2       3        0       1       2       4 
     ------------------------------------------------------------------------
     1             1    2   1             1             1             1    2
     -logX logX  - -logX  + -logX logX  + -logX logX  + -logX logX  + -logX 
     4    1    0   8    1   4    2    1   4    3    0   4    3    2   8    3
     ------------------------------------------------------------------------
       1             1             1             3                 2
     - -logX logX  - -logX logX  - -logX logX  - -logX logX  + logX }
       2    4    0   4    4    1   2    4    2   4    4    3       4

o3 : List

i4 : W = makeWeylAlgebra(QQ[x_1..x_5]);

i5 : solveFrobeniusIdeal(I, W)
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.
 -- .00000504s elapsed

                                                                             
o5 = {1, - 2logX  + 3logX  - 2logX  + logX , - logX  + logX  - logX  + logX ,
                0        1        2       3        0       1       2       4 
     ------------------------------------------------------------------------
     1             1    2   1             1             1             1    2
     -logX logX  - -logX  + -logX logX  + -logX logX  + -logX logX  + -logX 
     4    1    0   8    1   4    2    1   4    3    0   4    3    2   8    3
     ------------------------------------------------------------------------
       1             1             1             3                 2
     - -logX logX  - -logX logX  - -logX logX  - -logX logX  + logX }
       2    4    0   4    4    1   2    4    2   4    4    3       4

o5 : List