Skip to content
Prev 177725 / 398503 Next

bug when subtracting decimals?

Petr PIKAL <petr.pikal <at> precheza.cz> writes:
Marc Schwartz already reminded me of that one, and it's a good point
to explicitly mention in lectures. 

I suggest to extend R by introducing %==% as "being Excellently equal".

Dieter