FactorModular
edu.jas.ufd

Class FactorModular<MOD extends GcdRingElem<MOD> & Modular>

    • Constructor Detail

      • FactorModular

        public FactorModular(RingFactory<MOD> cfac)
        Constructor.
        Parameters:
        cfac - coefficient ring factory.
    • Method Detail

      • baseDistinctDegreeFactors

        public SortedMap<Long,GenPolynomial<MOD>> baseDistinctDegreeFactors(GenPolynomial<MOD> P)
        GenPolynomial base distinct degree factorization.
        Parameters:
        P - squarefree and monic GenPolynomial.
        Returns:
        [e_1 -> p_1, ..., e_k -> p_k] with P = prod_{i=1,...,k} p_i and p_i has only irreducible factors of degree e_i.
      • baseEqualDegreeFactors

        public List<GenPolynomial<MOD>> baseEqualDegreeFactors(GenPolynomial<MOD> P,                                              long deg)
        GenPolynomial base equal degree factorization.
        Parameters:
        P - squarefree and monic GenPolynomial.
        deg - such that P has only irreducible factors of degree deg.
        Returns:
        [p_1,...,p_k] with P = prod_{i=1,...,r} p_i.

SCaVis 2.2 © jWork.ORG