up previous next
IsTrueGCDDomain

test whether a ring is a true GCD domain

Syntax 
IsTrueGCDDomain(R: RING): BOOL

Description
This function tests whether a ring is a (true) GCD domain but not a field. CoCoA can compute GCDs of elements of a true GCD domain.

Example 
/**/  IsTrueGCDDomain(ZZ);
true
/**/  IsTrueGCDDomain(QQ);
false

See Also