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) 299–304.
The object isUnmixed is a method function.