Difference between revisions of "Fractions"
Jump to navigation
Jump to search
(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(...") |
(No difference)
|
Revision as of 08:44, 1 August 2016
You can do computations on fractions in Z3
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"));