001/* 002 * $Id$ 003 */ 004 005package edu.jas.gbmod; 006 007 008import java.util.List; 009 010import edu.jas.poly.GenPolynomial; 011import edu.jas.poly.ModuleList; 012import edu.jas.structure.RingElem; 013 014 015/** 016 * Module Groebner Bases interface. Defines Groebner bases and GB test. 017 * @author Heinz Kredel 018 * @deprecated use respective methods from GroebnerBase 019 */ 020@Deprecated 021public interface ModGroebnerBase<C extends RingElem<C>> { 022 023 024 /** 025 * Module Groebner base test. 026 */ 027 public boolean isGB(int modv, List<GenPolynomial<C>> F); 028 029 030 /** 031 * isGB. 032 * @param M a module basis. 033 * @return true, if M is a Groebner base, else false. 034 */ 035 public boolean isGB(ModuleList<C> M); 036 037 038 /** 039 * Groebner base using pairlist class. 040 */ 041 public List<GenPolynomial<C>> GB(int modv, List<GenPolynomial<C>> F); 042 043 044 /** 045 * GB. 046 * @param M a module basis. 047 * @return GB(M), a Groebner base of M. 048 */ 049 public ModuleList<C> GB(ModuleList<C> M); 050 051}