Order of operations
In mathematics and computer programming, the order of operations (or operator precedence) is a collection of rules that reflect conventions about which procedures to perform first in order to evaluate a given mathematical expression.
For example, in mathematics and most computer languages, multiplication is granted a higher precedence than addition, and it has been this way since the introduction of modern algebraic notation.^{ [1]}^{ [2]} Thus, the expression 1 + 2 × 3 is interpreted to have 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 could be placed only as a superscript to the right of their base.^{ [1]} Thus 3 + 5^{2} = 28 and 3 × 5^{2} = 75.
These conventions exist to eliminate notational ambiguity, while allowing notation to be as brief as possible. Where it is desired to override the precedence conventions, or even simply to emphasize them, parentheses ( ) can be used to indicate an alternative order of operations (or to simply reinforce the default order of operations). 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.^{ [3]}
Definition
The order of operations, which is used throughout mathematics, science, technology and many computer programming languages, is expressed here:^{ [1]}^{ [4]}^{ [5]}
This means that if, in a mathematical expression, a subexpression appears between two operators, 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 must obey the standard order of operations.
In some contexts, it is helpful to replace a division by 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.^{ [6]}^{ [7]}^{ [a]} The parentheses can be omitted if the input is a single numerical variable or constant^{ [1]} (as in the case of sin x = sin(x) and sin π = sin(π).^{ [a]} 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.^{ [b]} 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.^{ [1]} Grouped symbols can be treated as a single expression.^{ [1]} 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.
Examples
A horizontal fractional line also acts as a symbol of grouping:
For ease in reading, other grouping symbols, such as curly braces { } or square brackets [ ], are often used along with parentheses ( ). For example:
Mnemonics
Mnemonics are often used to help students remember the rules, involving the first letters of words representing various operations. Different mnemonics are in use in different countries.^{ [8]}^{ [9]}^{ [10]}
- In the United States, the acronym PEMDAS is common.^{ [11]} It stands for Parentheses, Exponents, Multiplication/Division, Addition/Subtraction.^{ [11]} PEMDAS is often expanded to the mnemonic "Please Excuse My Dear Aunt Sally" in schools.^{ [12]}
- Canada and New Zealand use BEDMAS, standing for Brackets, Exponents, Division/Multiplication, Addition/Subtraction.^{ [11]}
- Most common in the UK, Pakistan, India, Bangladesh and Australia^{ [13]} and some other English-speaking countries is BODMAS meaning either Brackets, Order, Division/Multiplication, Addition/Subtraction or Brackets, Of/Division/Multiplication, Addition/Subtraction.^{ [c]}^{ [14]} Nigeria and some other West African countries also use BODMAS. Similarly in the UK, BIDMAS is also used, standing for Brackets, Indices, Division/Multiplication, Addition/Subtraction.
These mnemonics may be misleading when written this way.^{ [12]} For example, misinterpreting any of the above rules to mean "addition first, subtraction afterward" would incorrectly evaluate the expression^{ [12]}
When evaluating expressions that only include addition and subtraction, such as the expression above, addition and subtraction may be performed sequentially, working left to right, but of the six major arithmetic operations, only addition and multiplication are commutative and associative, and so professionals usually view subtraction, especially in algebra and in higher mathematics, as addition of a negative number. Either working left to right or treating the subtraction as adding a signed number will produce the correct answer; performing subtraction in the wrong order will result in the incorrect answer. Mnemonics do not reflect the grouping of addition/subtraction or multiplication/division so their use can result in this misunderstanding.
A similar ambiguity exists in the case of serial division, for example, the expression a ÷ b ÷ c × d might be read multiple ways but they may not always come to the same answer. For example, 3 ÷ 1/2 evaluated from left to right would be three divided by one equals three, divided by two equals three halves, but using division as multiplication by the reciprocal gives three divided by one half equals three multiplied by two equals six. There are three possibilities, none universally agreed upon. Either each of the several different division symbols must be given complicated rules of precedence, or imitating the rule for subtraction as addition of the opposite, division can be defined as multiplication by the reciprocal, or parentheses can be used to avoid ambiguities.
Since this is controversial, we summarize the above:
The first rule is that if there are multiple divisions in a row, the order of calculation may go from left to right:
But this is not universally accepted.^{ [15]}^{ [16]}
The second rule, treating division as multiplication by a reciprocal, greatly reduces the frequency of ambiguous division.
But the only sure 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:^{ [17]}^{ [1]}^{ [7]}^{ [18]}
- a^{bc} = a^{(bc)}
which typically is not equal to (a^{b})^{c}.
However, when using operator notation with a
caret (^) or
arrow (↑), there is no common standard.^{
[19]} For example,
Microsoft Excel and computation programming language
MATLAB evaluate a^b^c
as (a^{b})^{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 −3^{2} is interpreted to mean −(3^{2}) = − 9.^{ [1]}^{ [20]}
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 −3^{2} will be interpreted as (−3)^{2} = 9.^{
[21]} 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 formula =0−2^2
and =−(2^2)
return −4.
Mixed division and multiplication
Similarly, there can be ambiguity in the use of the slash symbol / in expressions such as 1/2x.^{ [12]} If one rewrites this expression as 1 ÷ 2x and then interprets the division symbol as indicating multiplication by the reciprocal, this becomes:
- 1 ÷ 2 × x = 1 × 1/2 × x = 1/2 × x.
With this interpretation 1 ÷ 2x is equal to (1 ÷ 2)x.^{ [1]}^{ [8]} However, in some of the academic literature, multiplication denoted by juxtaposition (also known as implied multiplication) is interpreted as having higher precedence than division, so that 1 ÷ 2x equals 1 ÷ (2x), not (1 ÷ 2)x. For example, the manuscript submission instructions for the Physical Review journals state that multiplication is of higher precedence than division with a slash,^{ [22]} 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.^{ [d]}
Calculators
Different calculators follow different orders of operations.^{ [1]} Many simple calculators without a stack implement chain input working left to right without any priority given to different operators, for example typing
1 + 2 × 3
yields 9,
while more sophisticated calculators will use a more standard priority, for example 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 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 (a^{b})^{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, as well as many modern
Casio calculators,^{
[23]} but as (1/2)x by
TI-83 and every other TI calculator released since 1996,^{
[24]} 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, the latter is more in line with the standard rule that multiplication and division are of equal precedence,^{
[25]}^{
[26]} where 1/2x is read one divided by two and the answer multiplied by x.
When the user is unsure how a calculator will interpret an expression, it is a good idea to use parentheses so there is no ambiguity.
Calculators that use reverse Polish notation (RPN), also known as postfix notation, use a stack to enter expressions in the correct order of precedence without a need for parentheses or any possibly model-specific order of execution.^{ [12]}^{ [11]}
Programming languages
Some programming languages use precedence levels that conform to the order commonly used in mathematics,^{ [19]} though others, such as APL, Smalltalk, Occam and Mary, have no operator precedence rules (in APL, evaluation is strictly right to left; in Smalltalk etc. it is strictly left to right).
In addition, 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 perhaps misleadingly 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]
.
The creator of the C language has 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.^{ [27]} However, many programmers have become accustomed to this order. The relative precedence levels of operators found in many C-style languages are as follows:
1 | () [] -> . :: | Function call, scope, array/member access |
2 | ! ~ - + * & sizeof type cast ++ -- | (most) unary operators, sizeof and type casts (right to left) |
3 | * / % MOD | Multiplication, division, modulo |
4 | + - | Addition and subtraction |
5 | << >> | Bitwise shift left and right |
6 | < <= > >= | Comparisons: less-than and greater-than |
7 | == != | Comparisons: equal and not equal |
8 | & | Bitwise AND |
9 | ^ | Bitwise exclusive OR (XOR) |
10 | | | Bitwise inclusive (normal) OR |
11 | && | Logical AND |
12 | || | Logical OR |
13 | ? : | Conditional expression (ternary) |
14 | = += -= *= /= %= &= |= ^= <<= >>= | Assignment operators (right to left) |
15 | , | Comma operator |
Examples: (Note: in the examples below, '≡' is used to mean "is equivalent to", and not to be interpreted as an actual assignment operator used as part of the example expression.)
!A + !B
≡(!A) + (!B)
++A + !B
≡(++A) + (!B)
A + B * C
≡A + (B * C)
A || B && C
≡A || (B && C)
A && B == C
≡A && (B == C)
A & B == C
≡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.^{ [28]}
The accuracy of software developer knowledge about binary operator precedence has been found to closely follow their frequency of occurrence in source code.^{ [29]}
See also
- Common operator notation (for a more formal description)
- Hyperoperation
- Operator associativity
- Operator overloading
- Operator precedence in C and C++
- Polish notation
- Reverse Polish notation
Notes
- ^
^{a}
^{b} Some authors deliberately avoid any omission of parentheses with functions even in the case of single numerical variable or constant arguments (f.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 (likef
). - ^ To avoid any ambiguity, this notational simplification for monomials is deliberately avoided in works such as Oldham's Atlas of Functions or the NIST Handbook of Mathematical Functions.
- ^ "Of" is equivalent to division or multiplication, and commonly used especially at primary school level, as in "Half of fifty".
- ^ For example, the third edition of Mechanics by Landau and Lifshitz contains expressions such as hP_{z}/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.
References
- ^
^{a}
^{b}
^{c}
^{d}
^{e}
^{f}
^{g}
^{h}
^{i}
^{j}
Bronstein, Ilja Nikolaevič;
Semendjajew, Konstantin Adolfovič (1987) [1945]. "2.4.1.1. Definition arithmetischer Ausdrücke" [Definition of arithmetic expressions]. Written at Leipzig, Germany. In Grosche, Günter; Ziegler, Viktor; Ziegler, Dorothea (eds.).
Taschenbuch der Mathematik [Pocketbook of mathematics] (in German). 1. Translated by Ziegler, Viktor. Weiß, Jürgen (23 ed.). Thun, Switzerland / Frankfurt am Main, Germany:
Verlag Harri Deutsch (and
B. G. Teubner Verlagsgesellschaft, Leipzig). pp. 115–120, 802.
ISBN
3-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 F^{n}(A) für (F(A))^{n} üblich. Dabei kann F sowohl Funktionenkonstante als auch Funktionenvariable sein.]
- ^ "Ask Dr. Math". Math Forum. 2000-11-22. Retrieved 2012-03-05.
- ^ "Compendium of Mathematical Symbols". Math Vault. 2020-03-01. Retrieved 2020-08-22.
- ^ Weisstein, Eric W. "Precedence". mathworld.wolfram.com. Retrieved 2020-08-22.
- ^ Stapel, Elizabeth. "The Order of Operations: PEMDAS". Purplemath. Retrieved 2020-08-22.
- ^ Oldham, Keith B.; Myland, Jan C.; Spanier, Jerome (2009) [1987]. An Atlas of Functions: with Equator, the Atlas Function Calculator (2 ed.). Springer Science+Business Media, LLC. doi: 10.1007/978-0-387-48807-3. ISBN 978-0-387-48806-6. LCCN 2008937525.
- ^ ^{a} ^{b} Olver, Frank W. J.; Lozier, Daniel W.; Boisvert, Ronald F.; Clark, Charles W., eds. (2010). NIST Handbook of Mathematical Functions. National Institute of Standards and Technology (NIST), U.S. Department of Commerce, Cambridge University Press. ISBN 978-0-521-19225-5. MR 2723248. [1]
- ^ ^{a} ^{b} "Rules of arithmetic" (PDF). Mathcentre.ac.uk. Retrieved 2019-08-02.
- ^ "Please Excuse My Dear Aunt Sally (PEMDAS)--Forever!". Education Week - Coach G's Teaching Tips. 2011-01-01.
- ^ "What is PEMDAS? - Definition, Rule & Examples". Study.com.
- ^ ^{a} ^{b} ^{c} ^{d} Vanderbeek, Greg (June 2007). Order of Operations and RPN (Expository paper). Master of Arts in Teaching (MAT) Exam Expository Papers. Lincoln, Nebraska, USA: University of Nebraska. Paper 46. Archived from the original on 2020-06-14. Retrieved 2020-06-14.
- ^ ^{a} ^{b} ^{c} ^{d} ^{e} Ball, John A. (1978). Algorithms for RPN calculators (1 ed.). Cambridge, Massachusetts, USA: Wiley-Interscience, John Wiley & Sons, Inc. p. 31. ISBN 0-471-03070-8.
- ^ "Order of operations" (DOC). Syllabus.bos.nsw.edu.au. Retrieved 2019-08-02.
- ^ "Bodmas Rule - What is Bodmas Rule - Order of Operations". vedantu.com. Retrieved 2019-08-21.
- ^ George Mark Bergman: Order of arithmetic operations Archived 2017-03-05 at the Wayback Machine
- ^ Education Place: The Order of Operations Archived 2017-06-08 at the Wayback Machine
- ^ Robinson, Raphael Mitchel (October 1958) [1958-04-07]. "A report on primes of the form k · 2^{n} + 1 and on factors of Fermat numbers" (PDF). Proceedings of the American Mathematical Society. University of California, Berkeley, California, USA. 9 (5): 673–681 [677]. doi: 10.1090/s0002-9939-1958-0096614-7. Archived (PDF) from the original on 2020-06-28. Retrieved 2020-06-28.
- ^ Zeidler, Eberhard; Schwarz, Hans Rudolf; Hackbusch, Wolfgang; Luderer, Bernd; Blath, Jochen; Schied, Alexander; Dempe, Stephan; Wanka, Gert; Hromkovič, Juraj; Gottwald, Siegfried (2013) [2012]. Zeidler, Eberhard (ed.). Springer-Handbuch der Mathematik I (in German). I (1 ed.). Berlin / Heidelberg, Germany: Springer Spektrum, Springer Fachmedien Wiesbaden. p. 590. doi: 10.1007/978-3-658-00285-5. ISBN 978-3-658-00284-8. (xii+635 pages)
- ^ ^{a} ^{b} Van Winkle, Lewis (2016-08-23). "Exponentiation Associativity and Standard Math Notation". Codeplea - Random thoughts on programming. Archived from the original on 2020-06-28. Retrieved 2016-09-20.
- ^ Angel, Allen R. Elementary Algebra for College Students (8 ed.). Chapter 1, Section 9, Objective 3.
- ^ "Formula Returns Unexpected Positive Value". Microsoft. 2005-08-15. Archived from the original on 2015-04-19. Retrieved 2012-03-05.
- ^ "Physical Review Style and Notation Guide" (PDF). American Physical Society. Section IV–E–2–e. Retrieved 2012-08-05.
- ^ "Calculation Priority Sequence". support.casio.com. Casio. Retrieved 2019-08-01.
- ^ "Implied Multiplication Versus Explicit Multiplication on TI Graphing Calculators". Texas Instruments. 2011-01-16. 11773. Archived from the original on 2016-04-17. Retrieved 2015-08-24.
- ^ Zachary, Joseph L. (1997). "Introduction to scientific programming - Computational problem solving using Maple and C - Operator precedence worksheet". Retrieved 2015-08-25.
- ^ Zachary, Joseph L. (1997). "Introduction to scientific programming - Computational problem solving using Mathematica and C - Operator precedence notebook". Retrieved 2015-08-25.
- ^ Ritchie, Dennis M. (1996). "The Development of the C Language". History of Programming Languages (2 ed.). ACM Press.
- ^ Li, Andy (2011-05-02). "6÷2(1+2)=?". Andy Li's Blog. Retrieved 2012-12-31.
- ^ Jones, Derek M. "Developer beliefs about binary operator precedence". CVu. 18 (4): 14–21.
Further reading
- Bergman, George Mark (2013-02-21). "Order of arithmetic operations; in particular, the 48/2(9+3) question". Department of Mathematics, University of California. Archived from the original on 2020-05-20. Retrieved 2020-07-22.
- "The Order of Operations". MathSteps: What is it?. Houghton Mifflin Company. 1999. Archived from the original on 2020-07-21. Retrieved 2020-07-22.