CharacteristicSet
edu.jas.gbufd

Interface CharacteristicSet<C extends GcdRingElem<C>>

    • Method Detail

      • characteristicSet

        List<GenPolynomial<C>> characteristicSet(List<GenPolynomial<C>> A)
        Characteristic set. According to the implementing algorithm (simple, Wu, etc).
        Parameters:
        A - list of generic polynomials.
        Returns:
        charSet(A) with at most one polynomial per main variable.
      • isCharacteristicSet

        boolean isCharacteristicSet(List<GenPolynomial<C>> A)
        Characteristic set test.
        Parameters:
        A - list of generic polynomials.
        Returns:
        true, if A is (at least a simple) characteristic set, else false.
      • characteristicSetReduction

        GenPolynomial<C> characteristicSetReduction(List<GenPolynomial<C>> A,                                          GenPolynomial<C> P)
        Characteristic set reduction. Pseudo remainder wrt. the main variable. With further pseudo reduction of the leading coefficient depending on the implementing algorithm.
        Parameters:
        P - generic polynomial.
        A - list of generic polynomials as characteristic set.
        Returns:
        characteristicSetRemainder(A,P) or characteristicSetReductionCoeff(A,characteristicSetRemainder(A,P)) depending on the algorithm.

SCaVis 2.2 © jWork.ORG