nenok.va.sr
Interface SeparativeSemiring
- All Superinterfaces:
- Semiring, Serializable
- All Known Subinterfaces:
- ICSemiring
public interface SeparativeSemiring
- extends Semiring
Separative semirings allow the introduction of division into valuation
algebras. This interface represents elements of a division aware semiring.
According to (Kohlas & Wilson 2006) separative semirings are semirings
whose multiplicative semigroup is separative and there exists an embedding
into a union of groups such that the equivalence classes are positive.
- Version:
- $LastChangedRevision: 560 $
$LastChangedDate: 2008-03-26 14:37:05 +0100 (Mi, 26 Mrz 2008) $
- Author:
- Marc Pouly
inverse
SeparativeSemiring inverse()
- This method computes the inverse semiring element of
this
.
- Returns:
- The inverse semiring element.