edu.jas.gb.WordGroebnerBase Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of ext.bundle.math.symja_jas Show documentation

The newest version!

/*
 * $Id: WordGroebnerBase.java 4150 2012-09-01 09:18:23Z kredel $
 */

package edu.jas.gb;


import java.util.List;
import java.io.Serializable;

import edu.jas.structure.RingElem;
import edu.jas.poly.GenWordPolynomial;


/**
 * Non-commutative Groebner Bases interface for GenWordPolynomials.
 * Defines methods for Groebner bases and GB test.
 * @param  coefficient type
 * @author Heinz Kredel
 */

public interface WordGroebnerBase> 
                 extends Serializable {


    /**
     * Groebner base test.
     * @param F word polynomial list.
     * @return true, if F is a Groebner base, else false.
     */
    public boolean isGB(List> F);


    /**
     * Groebner base using pairlist class.
     * @param F word polynomial list.
     * @return GB(F) a non-commutative Groebner base of F.
     */
    public List> GB( List> F );


    /**
     * Minimal ordered groebner basis.
     * @param Gp a Word Groebner base.
     * @return a reduced Word Groebner base of Gp.
     */
    public List> minimalGB(List> Gp);

}