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

Synopsis

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

This function computes the A-infinity multiplications up to n, and reduces them modulo the maximal ideal to determine if they are minimal.