Package edu.jas.gbufd

Interface RReduction<C extends RegularRingElem<C>>

    • Method Detail

      • isStrongTopReducible

        boolean isStrongTopReducible​(java.util.List<GenPolynomial<C>> P,
                                     GenPolynomial<C> A)
        Is strong top reducible. Condition is idempotent(a) == idempotent(b), for a=ldcf(A) and b=ldcf(B) and lt(B) | lt(A) for some B in F.
        Parameters:
        A - polynomial.
        P - polynomial list.
        Returns:
        true if A is string top reducible with respect to P.
      • isBooleanClosed

        boolean isBooleanClosed​(GenPolynomial<C> A)
        Is boolean closed, test if A == idempotent(ldcf(A)) A.
        Parameters:
        A - polynomial.
        Returns:
        true if A is boolean closed, else false.
      • isBooleanClosed

        boolean isBooleanClosed​(java.util.List<GenPolynomial<C>> F)
        Is boolean closed, test if all A in F are boolean closed.
        Parameters:
        F - polynomial list.
        Returns:
        true if F is boolean closed, else false.