Open jakobkroeker opened 11 years ago
ensure tthat the first exploited normalizations are normalizations, where the polynomial id is given
ensure tthat the first exploited normalizations are normalizations, where the polynomial id is given