Changes

237 bytes added , 13:44, 1 August 2016

Created page with "You can do computations on fractions in Z3 <pre> FRACTION("1 1/2").add(FRACTION("1 1/2")); FRACTION("1 1/3").subtract(FRACTION("1 1/2")); FRACTION("1 1/3").multiply(FRACTION(..."

You can do computations on fractions in Z3

<pre>
FRACTION("1 1/2").add(FRACTION("1 1/2"));
FRACTION("1 1/3").subtract(FRACTION("1 1/2"));
FRACTION("1 1/3").multiply(FRACTION("2 5/3"));
FRACTION("1 1/3").divide(FRACTION("2 5/3"));
</pre>