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 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, http://github.com/Macaulay2/M2/blob/master/M2/Macaulay2/packages/TestIdeals.m2, commit number fa98bdf2587243ef3e7e3042cac7cd9fc90fb6fc.
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/.