/*
 * $Id$
 */

package edu.jas.gbmod;


import java.util.List;

import edu.jas.gb.GroebnerBase;
import edu.jas.gbufd.GBFactory;
import edu.jas.poly.GenPolynomial;
import edu.jas.poly.ModuleList;
import edu.jas.poly.PolynomialList;
import edu.jas.structure.GcdRingElem;
import edu.jas.structure.RingFactory;


/**
 * Module Groebner Bases abstract class. Implements Groebner bases and GB test.
 * @author Heinz Kredel
 */

public class ModGroebnerBaseAbstract> implements ModGroebnerBase {


    //private static final Logger logger = Logger.getLogger(ModGroebnerBase.class);


    /**
     * Used Groebner base algorithm.
     */
    protected final GroebnerBase bb;


    /**
     * Constructor.
     */
    @Deprecated
    public ModGroebnerBaseAbstract() {
        bb = GBFactory.getImplementation();
    }


    /**
     * Constructor.
     */
    public ModGroebnerBaseAbstract(RingFactory cf) {
        bb = GBFactory.getImplementation(cf);
    }


    /**
     * Module Groebner base test.
     */
    public boolean isGB(int modv, List> F) {
        return bb.isGB(modv, F);
    }


    /**
     * isGB.
     * @param M a module basis.
     * @return true, if M is a Groebner base, else false.
     */
    public boolean isGB(ModuleList M) {
        if (M == null || M.list == null) {
            return true;
        }
        if (M.rows == 0 || M.cols == 0) {
            return true;
        }
        PolynomialList F = M.getPolynomialList();
        int modv = M.cols; // > 0  
        return bb.isGB(modv, F.list);
    }


    /**
     * Groebner base using pairlist class.
     */
    public List> GB(int modv, List> F) {
        return bb.GB(modv, F);
    }


    /**
     * GB.
     * @param M a module basis.
     * @return GB(M), a Groebner base of M.
     */
    public ModuleList GB(ModuleList M) {
        ModuleList N = M;
        if (M == null || M.list == null) {
            return N;
        }
        if (M.rows == 0 || M.cols == 0) {
            return N;
        }

        PolynomialList F = M.getPolynomialList();
        int modv = M.cols;
        List> G = bb.GB(modv, F.list);
        F = new PolynomialList(F.ring, G);
        N = F.getModuleList(modv);
        return N;
    }

}