edu.jas.gbufd
Class MultiplicativeSetFactors<C extends GcdRingElem<C>>

java.lang.Object
  extended by edu.jas.gbufd.MultiplicativeSet<C>
      extended by edu.jas.gbufd.MultiplicativeSetFactors<C>
Type Parameters:
C - coefficient type
All Implemented Interfaces:
java.io.Serializable

public class MultiplicativeSetFactors<C extends GcdRingElem<C>>
extends MultiplicativeSet<C>

Multiplicative set of irreducible polynomials. a, b in M implies a*b in M, 1 in M.

Author:
Heinz Kredel.
See Also:
Serialized Form

Field Summary
protected  FactorAbstract<C> engine
          Factors decomposition engine.
 
Fields inherited from class edu.jas.gbufd.MultiplicativeSet
mset, ring
 
Constructor Summary
  MultiplicativeSetFactors(GenPolynomialRing<C> ring)
          MultiplicativeSet constructor.
protected MultiplicativeSetFactors(GenPolynomialRing<C> ring, java.util.List<GenPolynomial<C>> ms, FactorAbstract<C> eng)
          MultiplicativeSet constructor.
 
Method Summary
 MultiplicativeSetFactors<C> add(GenPolynomial<C> cc)
          Add polynomial to mset.
 MultiplicativeSetFactors<C> replace(java.util.List<GenPolynomial<C>> L)
          Replace polynomial list of mset.
 java.lang.String toString()
          toString.
 
Methods inherited from class edu.jas.gbufd.MultiplicativeSet
contains, contains, equals, hashCode, isEmpty, removeFactors, removeFactors
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

engine

protected final FactorAbstract<C extends GcdRingElem<C>> engine
Factors decomposition engine.

Constructor Detail

MultiplicativeSetFactors

public MultiplicativeSetFactors(GenPolynomialRing<C> ring)
MultiplicativeSet constructor. Constructs an empty multiplicative set.

Parameters:
ring - polynomial ring factory for coefficients.

MultiplicativeSetFactors

protected MultiplicativeSetFactors(GenPolynomialRing<C> ring,
                                   java.util.List<GenPolynomial<C>> ms,
                                   FactorAbstract<C> eng)
MultiplicativeSet constructor.

Parameters:
ring - polynomial ring factory for coefficients.
ms - a list of non-zero polynomials.
eng - factorization engine.
Method Detail

toString

public java.lang.String toString()
toString.

Overrides:
toString in class MultiplicativeSet<C extends GcdRingElem<C>>
See Also:
Object.toString()

add

public MultiplicativeSetFactors<C> add(GenPolynomial<C> cc)
Add polynomial to mset.

Overrides:
add in class MultiplicativeSet<C extends GcdRingElem<C>>
Parameters:
cc - polynomial to be added to mset.
Returns:
new multiplicative set.

replace

public MultiplicativeSetFactors<C> replace(java.util.List<GenPolynomial<C>> L)
Replace polynomial list of mset.

Overrides:
replace in class MultiplicativeSet<C extends GcdRingElem<C>>
Parameters:
L - polynomial list to replace mset.
Returns:
new multiplicative set.