Fractions - Revision history

Swapna at 07:52, 23 May 2020

2020-05-23T07:52:28Z

Swapna at 10:34, 16 May 2020

2020-05-16T10:34:51Z

Jayaram at 12:17, 3 April 2020

2020-04-03T12:17:42Z

Jayaram at 12:07, 3 April 2020

2020-04-03T12:07:20Z

Joseph at 14:02, 13 March 2017

2017-03-13T14:02:07Z

Jayaram: Created page with "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(..."

2016-08-01T13:44:19Z

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(..."

New page

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>

← Older revision		Revision as of 07:52, 23 May 2020
Line 1:		Line 1:
		+	*[[ Z3 \| Z3 Home ]]
		+	*[[ Z%5E3_Language_Documentation \| Z3 Language Documentation]]
		+	*[[ Z%5E3_Array_Manipulation_Member_Functions \| Listing of Z3 Array Manipulation Member Functions]]
		+
		+
	You can do computations on fractions in Z3		You can do computations on fractions in Z3

@@ Line 8: / Line 8: @@
 </pre>
-z^3 uses the following notation for fractions.
+z^3 uses the following notation for fractions. 2%%3 for 2/3, (1.2%%3) for 1 2/3 etc.
 %%5<+>4%%5
-gives 1.8
+gives 1 4/5
 Note fraction additions etc. uses the Unit Conversion operators such as <+>, <->, etc. Hence it is also possibly to convert to meters etc.
@@ Line 30: / Line 20: @@
 gives 1m.
-((4%%5)<+>((1.3%%5)<>m))%%
+((4%%5)<+>((1.3%%5)<>m))
-gives
+gives 2 2/5m
 ((4%%5)<>m)<+>((1.3%%5)<>m)
-.4000000000000004m
+gives 2 2/5m
 (4%%5)<+>((1.3%%5)<>m)
-.4000000000000004m
+gives 2 2/5m
 ((34%%5)<>m)<+>((1.3%%5)<>m)
-.4m
+gives 8 2/5m
 ((3.4%%5)<>m)<+>((1.3%%5)<>m)
-.4m
+gives 5 2/5m
 (((3.4%%5)<>m)<+>((1.3%%5)<>m))%%
-1250000000000001/3125000000000000
+gives 5 2/5m
 etc.

← Older revision		Revision as of 12:17, 3 April 2020
Line 37:		Line 37:
	2 2/5m		2 2/5m

−	~~((4%%5)<+>((1.3%%5)<>m))%%;~~

−	~~2 1250000000000001/3125000000000000~~
−
−	~~2.4%%;~~
−
	((4%%5)<>m)<+>((1.3%%5)<>m)		((4%%5)<>m)<+>((1.3%%5)<>m)

@@ Line 35: / Line 35: @@
 gives
-1250000000000001/3125000000000000
+2/5m
 ((4%%5)<+>((1.3%%5)<>m))%%;

← Older revision		Revision as of 14:02, 13 March 2017
Line 7:		Line 7:
	FRACTION("1 1/3").divide(FRACTION("2 5/3"));		FRACTION("1 1/3").divide(FRACTION("2 5/3"));
	</pre>		</pre>
		+
		+	z^3 uses the following notation for fractions.
		+	2%%3 for 2/3
		+	(1.2%%3) for 1 2/3
		+	etc.
		+
		+	5%%5<+>4%%5
		+
		+	gives 1.8
		+
		+	To convert the results to fractions, use %% operator at the end of the expression.
		+
		+	(5%%5<+>4%%5)%%
		+
		+	gives
		+
		+	1 4/5
		+
		+	Note fraction additions etc. uses the Unit Conversion operators such as <+>, <->, etc. Hence it is also possibly to convert to meters etc.
		+
		+	(4%%5)<+>((1%%5)<>m)
		+
		+	gives 1m.
		+
		+	((4%%5)<+>((1.3%%5)<>m))%%
		+
		+	gives
		+
		+	2 1250000000000001/3125000000000000
		+
		+	((4%%5)<+>((1.3%%5)<>m))%%;
		+
		+	2 1250000000000001/3125000000000000
		+
		+	2.4%%;
		+
		+	((4%%5)<>m)<+>((1.3%%5)<>m)
		+
		+	2.4000000000000004m
		+
		+
		+	(4%%5)<+>((1.3%%5)<>m)
		+
		+	2.4000000000000004m
		+
		+
		+	((34%%5)<>m)<+>((1.3%%5)<>m)
		+
		+	8.4m
		+
		+
		+	((3.4%%5)<>m)<+>((1.3%%5)<>m)
		+
		+	5.4m
		+
		+	(((3.4%%5)<>m)<+>((1.3%%5)<>m))%%
		+
		+	5 1250000000000001/3125000000000000
		+
		+	etc.