load poly.lib in modstd_tasks.lib

for numerator() and denominator()
normalize result if groebner() of basering has parameters
set pmax to 2^29 if basering has parameters