Short description: Performing order of mathematical operations
In mathematics and computer programming, the order of operations is a collection of rules that reflect conventions about which operations to perform first in order to evaluate a given mathematical expression.
These rules are formalized with a ranking of the operators. The rank of an operator is called its precedence, and an operation with a higher precedence is performed before operations with lower precedence. Calculators generally perform operations with the same precedence from left to right,[1] but some programming languages and calculators adopt different conventions.
For example, multiplication is granted a higher precedence than addition, and it has been this way since the introduction of modern algebraic notation.[2][3] Thus, in the expression 1 + 2 × 3, the multiplication is performed before addition, and the expression has the value 1 + (2 × 3) = 7, and not (1 + 2) × 3 = 9. When exponents were introduced in the 16th and 17th centuries, they were given precedence over both addition and multiplication and placed as a superscript to the right of their base.[2] Thus 3 + 52 = 28 and 3 × 52 = 75.
These conventions exist to avoid notational ambiguity while allowing notation to remain brief.[4] Where it is desired to override the precedence conventions, or even simply to emphasize them, parentheses ( ) can be used. For example, (2 + 3) × 4 = 20 forces addition to precede multiplication, while (3 + 5)2 = 64 forces addition to precede exponentiation. If multiple pairs of parentheses are required in a mathematical expression (such as in the case of nested parentheses), the parentheses may be replaced by brackets or braces to avoid confusion, as in [2 × (3 + 4)] − 5 = 9.
These rules are meaningful only when the usual notation (called infix notation) is used. When functional or Polish notation are used for all operations, the order of operations results from the notation itself.
Internet memes sometimes present ambiguous infix expressions that cause disputes and increase web traffic.[5][6] Most of these ambiguous expressions involve mixed division and multiplication, where there is no general agreement about the order of operations.
The order of operations, that is, the order in which the operations in an expression are usually performed, results from a convention adopted throughout mathematics, science, technology and many computer programming languages. It is summarized as:[2][7][8]
This means that to evaluate an expression, one first evaluates any sub-expression inside parentheses, working inside to outside if there is more than one set. Whether inside parenthesis or not, the operator that is higher in the above list should be applied first.
The commutative and associative laws of addition and multiplication allow adding terms in any order, and multiplying factors in any order—but mixed operations obey the standard order of operations.
In some contexts, it is helpful to replace a division with multiplication by the reciprocal (multiplicative inverse) and a subtraction by addition of the opposite (additive inverse). For example, in computer algebra, this allows one to handle fewer binary operations, and makes it easier to use commutativity and associativity when simplifying large expressions (for more, see Computer algebra § Simplification). Thus 3 ÷ 4 = 3 × 1/4; in other words, the quotient of 3 and 4 equals the product of 3 and 1/4. Also 3 − 4 = 3 + (−4); in other words the difference of 3 and 4 equals the sum of 3 and −4. Thus, 1 − 3 + 7 can be thought of as the sum of 1 + (−3) + 7, and the three summands may be added in any order, in all cases giving 5 as the result.
The root symbol √ is traditionally prolongated by a bar (called vinculum) over the radicand (this avoids the need for parentheses around the radicand). Other functions use parentheses around the input to avoid ambiguity.[9][10][lower-alpha 1] The parentheses can be omitted if the input is a single numerical variable or constant,[2] as in the case of sin x = sin(x) and sin π = sin(π).[lower-alpha 1] Another shortcut convention that is sometimes used is when the input is monomial; thus, sin 3x = sin(3x) rather than (sin(3)) x, but sin x + y = sin(x) + y, because x + y is not a monomial. This, however, is ambiguous and not universally understood outside of specific contexts.[lower-alpha 2]
Some calculators and programming languages require parentheses around function inputs, some do not.
Symbols of grouping can be used to override the usual order of operations.[2] Grouped symbols can be treated as a single expression.[2] Symbols of grouping can be removed using the associative and distributive laws, also they can be removed if the expression inside the symbol of grouping is sufficiently simplified so no ambiguity results from their removal.
For ease in reading, other grouping symbols, such as curly braces { } or square brackets [ ], are sometimes used along with parentheses ( ). For example:
Template:Anchor (or Anchors): too many anchors, maximum is ten
Mnemonics
Mnemonics are often used to help students remember the rules, involving the first letters of words representing various operations.[11][12][13]
The acronym PEMDAS is common in the United States[14] and France.[15] It stands for Parentheses, Exponents, Multiplication/Division, Addition/Subtraction.[16] PEMDAS is often expanded to the mnemonic "Please Excuse My Dear Aunt Sally" in schools.[17]
BEDMAS, standing for Brackets, Exponents, Division/Multiplication, Addition/Subtraction is common in Canada and New Zealand.[18]
Other countries, such as the UK,[18] may use BODMAS meaning Brackets, Operations, Division/Multiplication, Addition/Subtraction. Sometimes the O is expanded as "Of"[lower-alpha 3] or "Order" (i.e. powers/exponents or roots).[19][20][21]
BIDMAS is also used, standing for Brackets, Indices, Division/Multiplication, Addition/Subtraction.[22]
In Germany, the convention is simply taught as Punktrechnung vor Strichrechnung.
These mnemonics may be misleading when written this way.[23][17] For example, misinterpreting any of the above rules to mean "addition first, subtraction afterward" would incorrectly evaluate the expression[17][math]\displaystyle{ a - b + c }[/math] as [math]\displaystyle{ a-(b+c) }[/math], while the correct evaluation is [math]\displaystyle{ (a - b) + c }[/math]. These values are different when [math]\displaystyle{ c\ne 0 }[/math].
6÷2(1+2) is interpreted as 6÷(2×(1+2)) by a fx-82MS (upper), and (6÷2)×(1+2) by a TI-83 Plus calculator (lower), respectively.
The "Addition/Subtraction" in the mnemonics should be interpreted as that subtraction is addition of the opposite, while the expression a ÷ b × c is ambiguous and can be read multiple ways since [math]\displaystyle{ (a \div b) \times c }[/math] is different from [math]\displaystyle{ a \div (b \times c) }[/math] when [math]\displaystyle{ c\ne \pm1. }[/math]
Additional ambiguities caused by the use of multiplication by juxtaposition and using the slash to represent division are discussed below. In general, the surest way to avoid ambiguity is to use parentheses.
Special cases
Serial exponentiation
If exponentiation is indicated by stacked symbols using superscript notation, the usual rule is to work from the top down:[24][2][10][25]
abc = a(bc)
which typically is not equal to (ab)c. This convention is useful because there is a property of exponentiation that (ab)c = abc, so it's unnecessary to use serial exponentiation for this.
However, when using operator notation with a caret (^) or arrow (↑), there is no common standard.[26] For example, Microsoft Excel and computation programming language MATLAB evaluate a^b^c as (ab)c, but Google Search and Wolfram Alpha as a(bc). Thus 4^3^2 is evaluated to 4,096 in the first case and to 262,144 in the second case.
Unary minus sign
There are differing conventions concerning the unary operator − (usually read "minus"). In written or printed mathematics, the expression −32 is interpreted to mean −(32) = −9.[2][27]
In some applications and programming languages, notably Microsoft Excel, PlanMaker (and other spreadsheet applications) and the programming language bc, unary operators have a higher priority than binary operators, that is, the unary minus has higher precedence than exponentiation, so in those languages −32 will be interpreted as (−3)2 = 9.[28] This does not apply to the binary minus operator −; for example in Microsoft Excel while the formulas =−2^2, =-(2)^2 and =0+−2^2 return 4, the formulas =0−2^2 and =−(2^2) return −4.
Mixed division and multiplication
In fields of science such as physics, engineering, and academic literature, as well as in educational institutes in most of the world, multiplication denoted by juxtaposition (also known as implied multiplication) is interpreted as having higher precedence than division, so that 1 ÷ 2n equals 1 ÷ (2n).[2] For example, the manuscript submission instructions for the Physical Review journals state that multiplication is of higher precedence than division,[29] and this is also the convention observed in prominent physics textbooks such as the Course of Theoretical Physics by Landau and Lifshitz and the Feynman Lectures on Physics.[lower-alpha 4] However, schools in the United States teach that implicit multiplication is identical to explicit multiplication such that 1÷2n is deemed the same as writing 1 ÷ 2 * n.[30]
This ambiguity is often exploited in internet memes such as "8÷2(2+2)", for which there are two conflicting interpretations: 8÷[2(2+2)] = 1 and [8÷2](2+2) = 16.[31] The expression "6÷2(1+2)" also gained notoriety in the exact same manner, with the two interpretations resulting in the answers 1 and 9.[32]
Ambiguity can also be caused by the use of the slash symbol, '/', for division. The Physical Review submission instructions suggest to avoid expressions of the form a/b/c; ambiguity can be avoided by instead writing (a/b)/c or a/(b/c).[29]
Calculators
Different calculators follow different orders of operations.[2] Many simple calculators without a stack implement chain input, working left to right without any priority given to different operators, give a different result from that given by more sophisticated calculators. For example, on a simple calculator, typing 1 + 2 × 3 = yields 9, while a more sophisticated calculator will use a more standard priority, so typing 1 + 2 × 3 = yields 7.
The Microsoft Calculator program uses the former in its standard view and the latter in its scientific and programmer views.
Chain input expects two operands and an operator. When the next operator is pressed, the expression is immediately evaluated and the answer becomes the left hand of the next operator. Advanced calculators allow entry of the whole expression, grouped as necessary, and evaluates only when the user uses the equals sign.
Calculators may associate exponents to the left or to the right. For example, the expression a^b^c is interpreted as a(bc) on the TI-92 and the TI-30XS MultiView in "Mathprint mode", whereas it is interpreted as (ab)c on the TI-30XII and the TI-30XS MultiView in "Classic mode".
An expression like 1/2x is interpreted as 1/(2x) by TI-82,[3] as well as many modern Casio calculators[33] (configurable on some like the fx-9750GIII[34]), but as (1/2)x by TI-83 and every other TI calculator released since 1996,[35][3] as well as by all Hewlett-Packard calculators with algebraic notation. While the first interpretation may be expected by some users due to the nature of implied multiplication,[36] the latter is more in line with the rule that multiplication and division are of equal precedence.[3]
When the user is unsure how a calculator will interpret an expression, parentheses can be used to remove the ambiguity.[3]
Order of operations arose due to the adaptation of infix notation in standard mathematical notation, which can be notationally ambiguous without such conventions, as opposed to postfix notation or prefix notation, which do not need orders of operations.[37][38] Hence, calculators utilizing Reverse Polish notation (RPN) using a stack to enter expressions in the correct order of precedence do not need parentheses or any possibly model-specific order of execution.[17][16]
Programming languages
Most programming languages use precedence levels that conform to the order commonly used in mathematics,[39][26] though others, such as APL, Smalltalk, Occam and Mary, have no operator precedence rules (in APL, evaluation is strictly right to left; in Smalltalk, it is strictly left to right).
Furthermore, because many operators are not associative, the order within any single level is usually defined by grouping left to right so that 16/4/4 is interpreted as (16/4)/4 = 1 rather than 16/(4/4) = 16; such operators are referred to as "left associative". Exceptions exist; for example, languages with operators corresponding to the cons operation on lists usually make them group right to left ("right associative"), e.g. in Haskell, 1:2:3:4:[] == 1:(2:(3:(4:[]))) == [1,2,3,4].
Dennis Ritchie, creator of the C language, said of the precedence in C (shared by programming languages that borrow those rules from C, for example, C++, Perl and PHP) that it would have been preferable to move the bitwise operators above the comparison operators.[40] Many programmers have become accustomed to this order, but more recent popular languages like Python[41] and Ruby[42] do have this order inversed. The relative precedence levels of operators found in many C-style languages are as follows:
Simplified formal grammar for arithmetitical expressions in a programming language (left),[43] and derivation of the example expression (a+b)^2/2(right). The latter corresponds to a hierarchical structure ("syntax tree") which is unique for the given expression. The compiler generates machine code from the tree in such a way that operations originating at the lowest hierarchy level are executed first.
Examples:
!A + !B is interpreted as (!A) + (!B)
++A + !B is interpreted as (++A) + (!B)
A + B * C is interpreted as A + (B * C)
A || B && C is interpreted as A || (B && C)
A && B == C is interpreted as A && (B == C)
A & B == C is interpreted as A & (B == C)
(In Python, Ruby, PARI/GP and other popular languages, A & B == C is interpreted as (A & B) == C.)
Source-to-source compilers that compile to multiple languages need to explicitly deal with the issue of different order of operations across languages. Haxe for example standardizes the order and enforces it by inserting brackets where it is appropriate.[44]
The accuracy of software developer knowledge about binary operator precedence has been found to closely follow their frequency of occurrence in source code.[45]
↑ 1.01.1Some authors deliberately avoid any omission of parentheses with functions even in the case of single numerical variable or constant arguments (i.e. Oldham in Atlas), whereas other authors (like NIST) apply this notational simplification only conditionally in conjunction with specific multi-character function names (like sin), but don't use it with generic function names (like f).
↑"Of" when used to mean a mathematical operation means multiplication. For example "half of fifty" is understood to mean "1/2 times 50", which equals 25.
↑For example, the third edition of Mechanics by Landau and Lifshitz contains expressions such as hPz/2π (p. 22), and the first volume of the Feynman Lectures contains expressions such as 1/2√N(p. 6–7). In both books, these expressions are written with the convention that the solidus is evaluated last. This also implies that an expression like 8/2(4) has solution 1 as the omission of the multiplication sign (x * or .) implies that the solidus is evaluated last even if positioned more to the left.
↑ 2.02.12.22.32.42.52.62.72.82.9"2.4.1.1. Definition arithmetischer Ausdrücke". written at Leipzig, Germany (in de). Taschenbuch der Mathematik. 1. Weiß, Jürgen (23 ed.). Thun, Switzerland / Frankfurt am Main, Germany: Verlag Harri Deutsch (and B. G. Teubner Verlagsgesellschaft, Leipzig). 1987. pp. 115–120, 802. ISBN3-87144-492-8. "Regel 7: Ist F(A) Teilzeichenreihe eines arithmetischen Ausdrucks oder einer seiner Abkürzungen und F eine Funktionenkonstante und A eine Zahlenvariable oder Zahlenkonstante, so darf F A dafür geschrieben werden. [Darüber hinaus ist noch die Abkürzung Fn(A) für (F(A))n üblich. Dabei kann F sowohl Funktionenkonstante als auch Funktionenvariable sein.]"
↑"Developing Students' Mathematical Skills Involving Order of Operations". International Journal of Research in Education and Science (IJRES) (University of Brunei Darussalam) 3 (2): 373-382. Summer 2017. doi:10.21890/ijres.327896. ISSN2148-9955. https://files.eric.ed.gov/fulltext/EJ1148460.pdf. Retrieved 2023-11-19. "The PEMDAS is an acronym or mnemonic for the order of operations that stands for Parenthesis, Exponents, Multiplication, Division, Addition and Subtraction. This acronym is widely used in the United States of America. Meanwhile, in other countries such as United Kingdom and Canada, the acronyms used are BODMAS (Brackets, Order, Division, Multiplication, Addition and Subtraction) and BIDMAS (Brackets, Indices, Division, Multiplication, Addition and Subtraction).". (11 pages)
↑Zeidler, Eberhard, ed (2013) (in de). Springer-Handbuch der Mathematik I. I (1 ed.). Berlin / Heidelberg, Germany: Springer Spektrum, Springer Fachmedien Wiesbaden. p. 590. doi:10.1007/978-3-658-00285-5. ISBN978-3-658-00284-8. (xii+635 pages)
↑"On some properties of reverse Polish Notation". Filomat (Faculty of Sciences and Mathematics, University of Nis) 13: 157–172. 1999. ISSN0354-5180. (16 pages)