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}