Array.subtract - Revision history

Joseph: /* See Also */

2017-03-01T17:54:01Z

Joseph: /* Array.subtract(Thing) */

2017-03-01T17:53:49Z

Array.subtract(Thing)

Joseph: /* See Also */

2017-03-01T17:49:49Z

Joseph: Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F..."

2017-03-01T17:49:38Z

Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F..."

New page

*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]

==Array.subtract(Thing) ==

Array add a Thing to each element.

[[1,3,4],[2,3,4]].subtract(45)

{| class="wikitable"|-
| -44 || -42 || -41
|-
| -43 || -42 || -41
|}

==See Also==
[[Array.add]]
[[Array.subtract]]
[[Array.multiply]]
[[Array.divide]]
[[Array.div]]
[[Array.setunit]]

← Older revision		Revision as of 17:54, 1 March 2017
Line 27:		Line 27:
	[[Array.div]]		[[Array.div]]

−	[[Array.~~setunit~~]]	+	[[Array.mod]]

@@ Line 6: / Line 6: @@
 ==Array.subtract(Thing) ==
-Array add a Thing to each element.
+Array subtract a Thing to each element.
 [[1,3,4],[2,3,4]].subtract(45)

@@ Line 18: / Line 18: @@
 ==See Also==
 [[Array.add]]
 [[Array.subtract]]
 [[Array.multiply]]
 [[Array.divide]]
 [[Array.div]]
 [[Array.setunit]]