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}