MonoidElem
edu.jas.structure

Interface MonoidElem<C extends MonoidElem<C>>

    • Method Detail

      • isONE

        boolean isONE()
        Test if this is one.
        Returns:
        true if this is 1, else false.
      • isUnit

        boolean isUnit()
        Test if this is a unit. I.e. there exists x with this.multiply(x).isONE() == true.
        Returns:
        true if this is a unit, else false.
      • multiply

        C multiply(C S)
        Multiply this with S.
        Parameters:
        S -
        Returns:
        this * S.
      • divide

        C divide(C S)
        Divide this by S.
        Parameters:
        S -
        Returns:
        this / S.
      • remainder

        C remainder(C S)
        Remainder after division of this by S.
        Parameters:
        S -
        Returns:
        this - (this / S) * S.
      • inverse

        C inverse()
        Inverse of this. Some implementing classes will throw NotInvertibleException if the element is not invertible.
        Returns:
        x with this * x = 1, if it exists.

SCaVis 2.1 © jWork.ORG