PseudoReduction

Type Parameters:: C - coefficient type.

All Superinterfaces:: Reduction<C>, Serializable

All Known Subinterfaces:: RPseudoReduction<C>

All Known Implementing Classes:: PseudoReductionPar, PseudoReductionSeq, RPseudoReductionSeq

public interface PseudoReduction<C extends RingElem<C>> extends Reduction<C>

Polynomial pseudo reduction interface. Defines additionally normalformFactor.

Method Summary

Modifier and Type

Method

Description

PseudoReductionEntry<C>

normalformFactor(List<GenPolynomial<C>> Pp, GenPolynomial<C> Ap)

Normalform with multiplication factor.

GenPolynomial<GenPolynomial<C>>

normalformRecursive(List<GenPolynomial<GenPolynomial<C>>> Pp, GenPolynomial<GenPolynomial<C>> Ap)

Normalform recursive.

Methods inherited from interface Reduction
criterion4, criterion4, criterion4, irreducibleSet, isNormalform, isNormalform, isReducible, isReductionNF, isTopReducible, moduleCriterion, moduleCriterion, normalform, normalform, normalform, SPolynomial, SPolynomial

Method Details
- normalformFactor
  
  PseudoReductionEntry<C> normalformFactor(List<GenPolynomial<C>> Pp, GenPolynomial<C> Ap)
  
  Normalform with multiplication factor.
  
  Parameters:
  
  Pp - polynomial list.
  
  Ap - polynomial.
  
  Returns:
  
  ( nf(Ap), mf ) with respect to Pp and mf as multiplication factor for Ap.
- normalformRecursive
  
  GenPolynomial<GenPolynomial<C>> normalformRecursive(List<GenPolynomial<GenPolynomial<C>>> Pp, GenPolynomial<GenPolynomial<C>> Ap)
  
  Normalform recursive.
  
  Parameters:
  
  Pp - recursive polynomial list.
  
  Ap - recursive polynomial.
  
  Returns:
  
  nf(Ap) with respect to Pp.