add a section on how to compute the results with Singular