, )*b(8)-b(1)*b
, )*b(7)-b(4)*b
, )*b(7)-b(6)*b(10) _[10]=b(3)*b(7)-b(1)*b
, )*b(7)-b(3)*b
, )*b(6)-b(5)*b(8)
, )*b(5)-b(4)*b(6)
, )^2-b(1)*b(5)
, )*b(4)-b(5)*b(8)
, )*b(3)-b(4)*b(8)
, )*b(5)*b(10)-b(6)^2*b(10)
, )^2*b(10)-b(6)*b(9)*b
, )^3*b(10)-b(5)^2*b(9)*b
, )*b(6)^3-a(5)*b(5)^2*b
, Note that HF A = {1, 3, 1, 1} and ? (A) = 2. The output provided by our implementation of the algorithm in Singular
, )*b(9)*b(10) radical(d)
, )*b(7)-b(1)*b
, )*b(7)-b(1)*b(8)
, )*b
, )*b(4)-b(1)*b(5)
, )*b(4)-b(5)*b(8)
, )^2-b(5)*b(6)+b(3)*b(10)
, )*b(3)-b(5)*b
The Gorenstein colength of an Artinian local ring, J. Algebra, vol.320, issue.9, pp.3438-3446, 2008. ,
Computing Gorenstein colength, J. Commut. Algebra, vol.1, issue.3, pp.343-359, 2009. ,
Undergraduate texts in mathematics, pp.0-387, 1997. ,
Singular 4-0-1-A computer algebra system for polynomial computations, 2014. ,
Inverse-syst.lib-Singular library for computing Macaulay's inverse systems, 2015. ,
On low Gorenstein colength, J. Algebra, vol.513, issue.1, pp.368-387, 2008. ,
, IntroductionàIntroductionà la résolution des systèmes polynomials, vol.59, pp.978-981, 2007.
On Teter rings, Proc. Royal Soc. Edim. 147 A, issue.1, pp.125-139, 2017. ,
Structure theorems for certain Gorenstein ideals, Special volume in honor of Melvin Hochster, vol.57, pp.269-292, 2008. ,
Rings which are almost Gorenstein, Pacific J. Math, vol.225, issue.1, p.85102, 2006. ,
Isolated points, duality and residues, J. of Pure and Applied Algebra, pp.469-493, 1996. ,
URL : https://hal.archives-ouvertes.fr/inria-00125278
Isomorphism types of commutative algebras of finite rank over an algebraically closed field, Computational arithmetic geometry, Contemp. Math, vol.463, pp.111-120, 2008. ,
Stretched Gorenstein rings, J. London Math. Soc, vol.20, issue.2, pp.19-26, 1979. ,
Rings which are a factor of a Gorenstein ring by its socle, Invent. Math, vol.23, pp.153-162, 1974. ,