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 some suggestions. Note that the functions ceil, round and fix are all defined in terms of floor so that only one of the four has a non-constructive definition. There are lots of different ways of expressing these and everyone has their own preference...
Phil Artur Oliveira Gomes wrote:
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
The information contained in this E-Mail and any subsequent correspondence is private and is intended solely for the intended recipient(s). The information in this communication may be confidential and/or legally privileged. Nothing in this e-mail is intended to conclude a contract on behalf of QinetiQ or make QinetiQ subject to any other legally binding commitments, unless the e-mail contains an express statement to the contrary or incorporates a formal Purchase Order.
For those other than the recipient any disclosure, copying, distribution, or any action taken or omitted to be taken in reliance on such information is prohibited and may be unlawful.
Emails and other electronic communication with QinetiQ may be monitored and recorded for business purposes including security, audit and archival purposes. Any response to this email indicates consent to this.
Telephone calls to QinetiQ may be monitored or recorded for quality control, security and other business purposes.
QinetiQ Limited Registered in England & Wales: Company Number:3796233 Registered office: 85 Buckingham Gate, London SW1E 6PD, United KingdomTrading address: Cody Technology Park, Cody Building, Ively Road, Farnborough, Hampshire, GU14 0LX, United Kingdom http://www.qinetiq.com/home/notices/legal.html
rounding.sml.gz
Description: GNU Zip compressed data
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
