isNZD -- tests whether a ring element is a non zerodivisor on a module

Synopsis

• Usage:

  t = isNZD(X,M)

• Inputs:
  • X, a ring element,
  • M, a module,
• Outputs:
  • t, a Boolean value,

Description