isUnmixed I
A function that checks whether an ideal $I \subseteq R$ is unmixed, that is, whether the ideal $I$ satisfies $\dim(R/I) = \dim(R/P)$ for all associated primes $P \in {\rm Ass}_R(R/I)$.
The following example uses [SM, Example 1.6].
|
|
|
[SM] Hero Saremi and Amir Mafi. Unmixedness and arithmetic properties of matroidal ideals. Arch. Math. 114 (2020), no. 3 299–-304.
The object isUnmixed is a method function.
The source of this document is in GeometricDecomposability.m2:1361:0.