Home Online Manual
Top
Back: hasMixedOrdering
Forward: hasTransExtensionCoefficient
FastBack:
FastForward:
Up: ring_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.2.11.21 hasAlgExtensionCoefficient

Procedure from library ring.lib (see ring_lib).

Usage:
hasAlgExtensionCoefficient ( rng );

Return:
1 if the coefficients are an algebraic extension, 0 otherwise.

Example:
 
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