Interface RegularRingElem<C extends RegularRingElem<C>>

Type Parameters:
C - regular ring element type
All Superinterfaces:
AbelianGroupElem<C>, Comparable<C>, Element<C>, GcdRingElem<C>, MonoidElem<C>, RingElem<C>, Serializable
All Known Implementing Classes:
Product

public interface RegularRingElem<C extends RegularRingElem<C>> extends GcdRingElem<C>
Regular ring element interface. Defines idempotent operations and idempotent tests.
  • Method Details

    • isFull

      boolean isFull()
      Is regular ring element full.
      Returns:
      If every component is non zero, then true is returned, else false.
    • isIdempotent

      boolean isIdempotent()
      Is idempotent.
      Returns:
      If this is a idempotent element then true is returned, else false.
    • idempotent

      C idempotent()
      Idempotent.
      Returns:
      S with this*S = this.
    • idemComplement

      C idemComplement()
      Regular ring element idempotent complement.
      Returns:
      1-this.idempotent().
    • idempotentAnd

      C idempotentAnd(C S)
      Regular ring element idempotent and.
      Parameters:
      S - Product.
      Returns:
      this.idempotent() and S.idempotent().
    • idempotentOr

      C idempotentOr(C S)
      Regular ring element idempotent or.
      Parameters:
      S - Product.
      Returns:
      this.idempotent() or S.idempotent().
    • fillIdempotent

      C fillIdempotent(C S)
      Regular ring element fill with idempotent.
      Parameters:
      S - Product.
      Returns:
      fill this with S.idempotent().
    • fillOne

      C fillOne()
      Regular ring element fill with one.
      Returns:
      fill this with one.