PthRoot(X: RINGELEM): RINGELEM
/**/ use R ::= ZZ/(7)[x,y]; /**/ F := x^7-y^14+3; /**/ PthRoot(F); -y^2+x+3