Home Online Manual
Back: hasAlgExtensionCoefficient
Forward: isSubModule
FastBack: random_lib
FastForward: Linear algebra
Up: ring_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.2.8.23 isQuotientRing

Procedure from library ring.lib (see ring_lib).

1 if rng is a quotient ring, 0 otherwise.

check if typeof a rng "qring"

LIB "ring.lib";
ring rng = 0,x,dp;
isQuotientRing(rng); //no
==> 0
// if a certain method does not support quotient rings,
// then a parameter test could be performed:
ASSUME( 0, 0==isQuotientRing(basering));
qring q= ideal(x);  // constructs rng/ideal(x)
isQuotientRing(q);  // yes
==> 1