Dear gepo,
you may simulate huge exponents per hand using additional dummy variables as follows:
Code:
ring R = 0, (x100, x50, x), lp; // ADD dummy variables for multiples
qring Q = groebner( ideal( x100 - x50^2, x50 - x^50 ) ); // Relations between x^n and x_n
poly H = x100 * x100 - x50 + x; // bigger exponents
H; // x100^2-x50+x
NF(H, std(0)); // or use subst to get expression in 'x'
x^200-x^50+x
I hope this helps,
Oleksandr