isCanonical -- determines whether a neural ideal is in canonical form

Usage:

isCanonical(I)
Inputs:
- I, a neural ideal
Optional inputs:
- Polarized => ..., default value false
Outputs:
- Boolean

Description

A method that determines whether a neural ideal is in canonical form. Currently, it computes the canonical form and compares, so it may not be accurate and is not quick.

i1 : R=ZZ/2[x_1..x_3];

i2 : I=ideal(x_1,x_2*(1-x_1));

o2 : Ideal of R

i3 : isCanonical(I)

o3 = false

Ways to use isCanonical:

isCanonical(Ideal)

For the programmer

The object isCanonical is a method function with options.

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