#6 (Feb 2, 2016, 5:05:14 PM)

1. invoke normalization of polynomials before invoking poly_add and poly_mult
   => one can compute resultants of integer polynomials instead of rational polynomials (detail / hgweb)

Started by an SCM change