torAlgData(Ideal) -- invariants of a local ring and its class (w.r.t. multiplication in homology)

i1 : Q = QQ[x,y,z];

i2 : data = torAlgData (ideal(x*y,y*z,x^3,x^2*z,x*z^2-y^3,z^3))

                                          2    3    4
                               2 + 2T - 2T  - T  + T
o2 = HashTable{"BassSeries" => ----------------------    }
                                         2     3    4
                               1 - T - 5T  - 2T  + T
               "c" => 3
               "Class" => G
               "e" => 3
               "h" => 0
               "isCI" => false
               "isGolod" => false
               "isGorenstein" => false
               "m" => 6
               "n" => 2
               "p" => 0
                                                 2
                                          (1 + T)
               "PoincareSeries" => ----------------------
                                             2     3    4
                                   1 - T - 5T  - 2T  + T
               "q" => 1
               "r" => 3

o2 : HashTable

i3 : data#"PoincareSeries"

                   2
            (1 + T)
o3 = ----------------------
               2     3    4
     1 - T - 5T  - 2T  + T

o3 : Expression of class Divide