Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Undefined behaviour (Was: Definition of intervals as subsets...)

This how the Kaucher arithmetic forms an abelian group for addition. For
example, a solution to the equation

   [1,3]+X=[0,0]

is out of reach of for the classical interval arithmetic. But in the
Kaucher arithmetic, the improper interval [3,1] is the additive inverse
element of the proper interval [1,3], so the equation is satisfied for

   [1,3]+[3,1]=[0,0].


Ooops. I meant the improper interval -[3,1] is the additive inverse element of the proper interval [1,3], i.e.,

   [1,3]+(-[3,1])=[1,3]+[-1,-3]=[0,0].

(I had forgot the minus sign).

Nate