edu.jas.gb.DReduction 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: DReduction.java 2412 2009-02-07 12:17:54Z kredel $
 */

package edu.jas.gb;

import java.util.List;


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


/**
 * Polynomial D Reduction interface.
 * Defines additionally D-Polynomial.
 * @param  coefficient type
 * @author Heinz Kredel
 */

public interface DReduction> 
                 extends Reduction {


    /**
     * G-Polynomial.
     * @param Ap polynomial.
     * @param Bp polynomial.
     * @return gpol(Ap,Bp) the g-polynomial of Ap and Bp.
     */
    public GenPolynomial GPolynomial(GenPolynomial Ap, 
                                        GenPolynomial Bp);


    /**
     * D-Polynomial with recording.
     * @param S recording matrix, is modified.
     * @param i index of Ap in basis list.
     * @param Ap a polynomial.
     * @param j index of Bp in basis list.
     * @param Bp a polynomial.
     * @return gpol(Ap, Bp), the g-Polynomial for Ap and Bp.
     */
    public GenPolynomial 
           GPolynomial(List> S,
                       int i,
                       GenPolynomial Ap, 
                       int j,
                       GenPolynomial Bp);

}