the concept of comprehensive grobner bases was introduced by weispfenning. montes has proposed an efficient algorithm for computing these bases. but he has not explicitly used buchberger's criteria in his algorithm. in this paper we prove that we can apply these criteria on montes algorithm. we propose a modified version of montes algorithm and evaluate its performance via some examples.

Any linear code with a nontrivial automorphism has the structure of a module over a polynomial ring. The theory of Griihner bases for modules gives a compact description and implementation of a systematic encoder. We present examples of algebraic-geometric Goppa codes that can be encoded by these methods, including the one-point Hermitian codes. Index TermsSystematic encoding, algebraic-geometr...

the concept of comprehensive grobner bases was introduced by weispfenning. montes has proposed an efficient algorithm for computing these bases. but he has not explicitly used buchberger's criteria in his algorithm. in this paper we prove that we can apply these criteria on montes algorithm. we propose a modified version of montes algorithm and evaluate its performance via some examples.

In this paper, we develop the Gr6bner-Shirshov basis theory for the representations of associative algebras by introducing the notion of Gr6bner-Shirshov pairs. Our result can be applied to solve the reduction problem in representation theory and to construct monomial bases of representations of associative algebras. As an illustration, we give an explicit construction of Gr6bner-Shirshov pairs...

pn(xi,...,xn) = 0 for x = (x\,... ,xn). This problem is very common in many fields of science and engineering, such as formula construction, geometric intersection problems, inverse kinematics, power flow problems with PQ-specified bases, computation of equilibrium states, etc. Elimination theory-based methods, most notably the Buchberger algorithm (Buchberger 1985) for constructing Grobner bas...

The concept of comprehensive Grobner bases was introduced by Weispfenning. Montes has proposed an efficient algorithm for computing these bases. But he has not explicitly used Buchberger's criteria in his algorithm. In this paper we prove that we can apply these criteria on Montes algorithm. We propose a modified version of Montes algorithm and evaluate its performance via some examples.

Each matrix representation P: G —> GLn(K) of a finite Group G over a field K induces an action of G on the module A over the polynomial algebra A = K [ x 1 , . . . , xn]. The graded A-submodule M(P) of A generated by the orbit of (x1, ..., xn) is studied. A decomposition of MO) into generic modules is given. Relations between the numerical invariants of P and those of M(P), the latter being eff...