Hi Artur,
If you don't need to round, i.e. your real number is already a whole
number, you should just use the inverse of the function real or the
function r2z as attached as this will simplify reasoning.
If you need to round, then there are various types of rounding. The
attached gives you
Hi there,
Does somebody knows how to round real numbers
in order to get a Z number using ProofPower?
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
