ring.lib
LIB "ring.lib"; ring rng = integer,x,dp; hasTransExtensionCoefficient(rng); //no ==> 0 ring rng2 = (0,a), x, dp; hasTransExtensionCoefficient(rng2); // yes ==> 1 ring rng3=(49,a),x,dp; hasTransExtensionCoefficient(rng3); // no ==> 0