Package edu.jas.ufd

Class SquarefreeFiniteFieldCharP<C extends GcdRingElem<C>>

    • Field Detail

      • logger

        private static final org.apache.logging.log4j.Logger logger
    • Constructor Detail

      • SquarefreeFiniteFieldCharP

        public SquarefreeFiniteFieldCharP​(RingFactory<C> fac)
        Constructor.
    • Method Detail

      • rootCharacteristic

        public java.util.SortedMap<C,​java.lang.Long> rootCharacteristic​(C p)
        Characteristics root of a coefficient. Note: not needed at the moment.
        Parameters:
        p - coefficient.
        Returns:
        [p -> k] if exists k with e=k*characteristic(c) and c = p**e, else null.
      • coeffRootCharacteristic

        public C coeffRootCharacteristic​(C c)
        Characteristics root of a coefficient.
        Parameters:
        c - coefficient.
        Returns:
        r with r**p == c, if such an r exists, else null.
      • rootCharacteristic

        public java.util.SortedMap<GenPolynomial<C>,​java.lang.Long> rootCharacteristic​(GenPolynomial<C> P)
        Characteristics root of a polynomial. Note: call only in recursion.
        Parameters:
        P - polynomial.
        Returns:
        [p -> k] if exists k with e=k*characteristic(P) and P = p**e, else null.
      • baseRootCharacteristic

        public GenPolynomial<C> baseRootCharacteristic​(GenPolynomial<C> P)
        GenPolynomial char-th root univariate polynomial. Base coefficient type must be finite field, that is ModInteger or AlgebraicNumber<ModInteger> etc.
        Specified by:
        baseRootCharacteristic in class SquarefreeFieldCharP<C extends GcdRingElem<C>>
        Parameters:
        P - GenPolynomial.
        Returns:
        char-th_rootOf(P), or null if no char-th root.