Macaulay2 » Documentation
Packages » AInfinity :: hasMinimalMult

next | previous | forward | backward | up | index | toc

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

Description

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

See also

isGolodAInf -- Determines if the ring is Golod or not

Ways to use hasMinimalMult:

hasMinimalMult(Ideal)
hasMinimalMult(Ideal,ZZ)
hasMinimalMult(Ring)
hasMinimalMult(Ring,InfiniteNumber)
hasMinimalMult(Ring,ZZ)

For the programmer

The object hasMinimalMult is a method function.

The source of this document is in AInfinity.m2:1487:0.