hasMinimalMult -- Determines if the A-infinity multiplication is minimal

• Usage:

  hasMinimalMult R

  hasMinimalMult (R,n)

  hasMinimalMult I

  hasMinimalMult (I,n)

• Inputs:
  • R, a ring,
  • I, an ideal,
  • n, an integer, or InfiniteNumber
• Outputs:
  • h, a Boolean value, Whether or not the A-infinity multiplication is minimal to the specified order