Interface Monoid<G>

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      G multiply​(G that)
      × : G × G → G
      G ONE()
      The multiplicative element 1 in the group such that for any elements a in the group, the equation 1 × a = a × 1 = a holds.
    • Method Detail

      • multiply

        G multiply​(G that)
        × : G × G → G
        Parameters:
        that - the multiplicand
        Returns:
        this × that
      • ONE

        G ONE()
        The multiplicative element 1 in the group such that for any elements a in the group, the equation 1 × a = a × 1 = a holds.
        Returns:
        1