SharedIndex -- the default method for computing the canonical form of a neural ideal

Usage:

canonicalForm(I,SharedIndex=>true)
Inputs:
- I, a squarefree pseudomonomial ideal
Outputs:
- a List of pseudomonomials in ring(I)

Description

By default, the canonical form of a squarefree pseudomonomial ideal is computed by the shared index method of Geller and R.G., but if set to false this instead computes the canonical form using the primary decomposition method of Curto, Itskov, et al.

Functions with optional argument named SharedIndex:

canonicalForm(Ideal,SharedIndex=>...) -- see canonicalForm -- computes the canonical form of a neural ideal

For the programmer

The object SharedIndex is a symbol.

The source of this document is in NeuralIdeals.m2:801:0.