[SAL] Real Number

Kris Ghosh mathkris at gmail.com
Thu Apr 17 14:56:56 PDT 2008


Hi,
   I am trying to compute
k : REAL = [0.0..2.0]
k1: REAL = [0.0..3.0]
Transition
[ k >0 --> k in {x:NATURAL | x < k*k*}
]


While using SAL, I am getting the following error message :
SAL cannot compute rational numbers 12/47.

Any help would be appreciated.
-Kris
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.csl.sri.com/pipermail/sal/attachments/20080417/eaa50807/attachment.html


More information about the SAL mailing list