This paper will prove that f≡g(modI) iff N F(f)=N F(g) for f,g∈K[x,],obtain a basis for the K vector space K[x,]/I,give the method for finding a Grbner basis of intersection of the left ideals I and J.
Improved algorithm for Grbner basis is a new way to solve Grbner basis by adopting the locally analytic method,which is based on GrbnerNew algorithm The process consists of relegating the leading terms of generator of...Improved algorithm for Grbner basis is a new way to solve Grbner basis by adopting the locally analytic method,which is based on GrbnerNew algorithm The process consists of relegating the leading terms of generator of the polynomial in the idea according to correlated expressions of leading terms and then analyzing every category.If a polynomial can be reduced to a remainder polynomial by a polynomial in the idea,then it can be replaced by the remainder polynomial as generator In the solving process,local reduction and local puwer decrease are employed to prevent the number of middle terms from increasing too fast and the degrees of polynomial from being too high so as to reduce the amount of展开更多
In this paper, by using the Ringel-Hall algebra method, we prove that the set of the skew-commutator relations of quantum root vectors forms a minimal GrSbner- Shirshov basis for the quantum groups of Dynkin type. As ...In this paper, by using the Ringel-Hall algebra method, we prove that the set of the skew-commutator relations of quantum root vectors forms a minimal GrSbner- Shirshov basis for the quantum groups of Dynkin type. As an application, we give an explicit basis for the types E7 and Dn.展开更多
We show that a rectangle can be signed tiled by ribbon L n-ominoes, n odd, if and only if it has a side divisible by n. A consequence of our technique, based on the exhibition of an explicit Gröbner basis, is...We show that a rectangle can be signed tiled by ribbon L n-ominoes, n odd, if and only if it has a side divisible by n. A consequence of our technique, based on the exhibition of an explicit Gröbner basis, is that any k-inflated copy of the skewed L n-omino has a signed tiling by skewed L n-ominoes. We also discuss regular tilings by ribbon L n-ominoes, n odd, for rectangles and more general regions. We show that in this case obstructions appear that are not detected by signed tilings.展开更多
文摘This paper will prove that f≡g(modI) iff N F(f)=N F(g) for f,g∈K[x,],obtain a basis for the K vector space K[x,]/I,give the method for finding a Grbner basis of intersection of the left ideals I and J.
文摘Improved algorithm for Grbner basis is a new way to solve Grbner basis by adopting the locally analytic method,which is based on GrbnerNew algorithm The process consists of relegating the leading terms of generator of the polynomial in the idea according to correlated expressions of leading terms and then analyzing every category.If a polynomial can be reduced to a remainder polynomial by a polynomial in the idea,then it can be replaced by the remainder polynomial as generator In the solving process,local reduction and local puwer decrease are employed to prevent the number of middle terms from increasing too fast and the degrees of polynomial from being too high so as to reduce the amount of
基金Supported by the National Natural Science Foundation of China （11061033）.Acknowledgements. Part of this work is done during the corresponding author＇s visiting the Stuttgart University with the support of China Scholarship Council. With this opportunity, he expresses his gratefulness to Professor Steffen Koenig and the Institute of Algebra and Number Theory of Stuttgart University and the China Scholarship Council.
文摘In this paper, by using the Ringel-Hall algebra method, we prove that the set of the skew-commutator relations of quantum root vectors forms a minimal GrSbner- Shirshov basis for the quantum groups of Dynkin type. As an application, we give an explicit basis for the types E7 and Dn.
文摘We show that a rectangle can be signed tiled by ribbon L n-ominoes, n odd, if and only if it has a side divisible by n. A consequence of our technique, based on the exhibition of an explicit Gröbner basis, is that any k-inflated copy of the skewed L n-omino has a signed tiling by skewed L n-ominoes. We also discuss regular tilings by ribbon L n-ominoes, n odd, for rectangles and more general regions. We show that in this case obstructions appear that are not detected by signed tilings.
