001    /*
002     * $Id: RPseudoReduction.java 3423 2010-12-24 10:56:50Z kredel $
003     */
004    
005    package edu.jas.gbufd;
006    
007    
008    import edu.jas.structure.RegularRingElem;
009    
010    
011    /**
012     * Polynomial R pseudo reduction interface. Combines RReduction and
013     * PseudoReduction.
014     * @param <C> coefficient type
015     * @author Heinz Kredel
016     */
017    
018    public interface RPseudoReduction<C extends RegularRingElem<C>> extends RReduction<C>,
019            PseudoReduction<C> {
020    
021    }