|  |  D.2.11.21 hasAlgExtensionCoefficient Procedure from libraryring.lib(see  ring_lib).
 
Example:Usage:
hasAlgExtensionCoefficient ( rng );
Return:
1 if the coefficients are an algebraic extension, 0 otherwise.
 |  | LIB "ring.lib";
ring rng = integer,x,dp;
hasAlgExtensionCoefficient(rng); //no
==> 0
ring rng2 = (0,a), x, dp; minpoly=a2-1;
hasAlgExtensionCoefficient(rng2);  // yes
==> 1
ring rng3=(49,a),x,dp;
hasAlgExtensionCoefficient(rng3);  // no
==> 0
 | 
 
 |