i1 : R = ZZ/5[x,y,z]/(z*y^2 - x*(x - z)*(x + z)); |
i2 : testIdeal(R) o2 = ideal (z, y, x) o2 : Ideal of R |
i3 : S = ZZ/3[A,B,C,D,T]; |
i4 : M = matrix{{A^2 + T^4, B, D}, {C, A^2, B^3 - D}}; 2 3 o4 : Matrix S <--- S |
i5 : I = ideal(T) + minors(2, M); o5 : Ideal of S |
i6 : isFRegular(S/I) o6 = true |
Version 1.01 of this package was accepted for publication in volume 9 of The Journal of Software for Algebra and Geometry on 19 July 2019, in the article The TestIdeals package for Macaulay2. That version can be obtained from the journal or from the Macaulay2 source code repository.
This documentation describes version 1.01 of TestIdeals.
The source code from which this documentation is derived is in the file TestIdeals.m2. The auxiliary files accompanying it are in the directory TestIdeals/.
The object TestIdeals is a package.