solveFrobeniusIdeal -- solving Frobenius ideals

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

i2 : I = ideal(R_0+R_1+R_2+R_3+R_4, R_0+R_1-R_3, R_1+R_2-R_3, R_0*R_2, R_1*R_3);

o2 : Ideal of R

i3 : netList solveFrobeniusIdeal I

     +------------------------------------------------------------------------------+
o3 = |1                                                                             |
     +------------------------------------------------------------------------------+
     |- 2t  + 3t  - 2t  + t                                                         |
     |    1     2     3    4                                                        |
     +------------------------------------------------------------------------------+
     |- t  + t  - t  + t                                                            |
     |   1    2    3    5                                                           |
     +------------------------------------------------------------------------------+
     |1       1 2   1       1       1       1 2   1       1       1       3        2|
     |-t t  - -t  + -t t  + -t t  + -t t  + -t  - -t t  - -t t  - -t t  - -t t  + t |
     |4 1 2   8 2   4 2 3   4 1 4   4 3 4   8 4   2 1 5   4 2 5   2 3 5   4 4 5    5|
     +------------------------------------------------------------------------------+