kone.algebraic/dev.lounres.kone.algebraic/negativeSubtractionResultInExtendedSemiring

negativeSubtractionResultInExtendedSemiring

fun negativeSubtractionResultInExtendedSemiring(): Nothing(source)

Throws ArithmeticException with message "Undefined subtraction result in extended semiring". Used when undefined subtraction is attempted.