001/* 002 * $Id: RPseudoReduction.java 3423 2010-12-24 10:56:50Z kredel $ 003 */ 004 005package edu.jas.gbufd; 006 007 008import 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 018public interface RPseudoReduction<C extends RegularRingElem<C>> extends RReduction<C>, 019 PseudoReduction<C> { 020 021}