Interface OrderedGroup<E>

All Superinterfaces:
Comparable<E>, Group<E>, Magma<E>, Monoid<E>, Set<E>
public interface OrderedGroup<E> extends Group<E>, Comparable<E>
Represents an Ordered Group.

An ordered group is a group (G, +) equipped with a total order ≤ such that for all a, b, c in G, if a ≤ b then a + c ≤ b + c and c + a ≤ c + b.

Since:
1.0
Author:
Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

  • Method Details

    • isStrictlyLessThan

      boolean isStrictlyLessThan(E a, E b)
      Checks if the first element is strictly less than the second.
      Parameters:
      a - the first element
      b - the second element
      Returns:
      true if a invalid input: '<' b

    • isLessThanOrEqualTo

      boolean isLessThanOrEqualTo(E a, E b)
      Checks if the first element is less than or equal to the second.
      Parameters:
      a - the first element
      b - the second element
      Returns:
      true if a invalid input: '<'= b