Editing 2687: Division Notation

The fifth notation is the way division is written in science and intermediate and higher mathematics: <table style="display: inline-table; line-height: 0.75em; vertical-align: middle; font-size:10pt; text-size-adjust: none;"><tr><td><u>A</u></td></tr><tr><td>B</td></tr></table>, i.e. the dividend on the top of the expression, over the divisor on the bottom with a horizontal line separating them. This is how a {{w|Fraction|fraction}} would be written. It has the advantage of clearly separating the numerator and denominator when they are longer expressions, such as polynomials, without needing to add parentheses. This format is mostly used in written and professionally typeset math, as it can't be typed without something like {{w|MathML}}, {{w|LaTeX}} or HTML tables.

The fifth notation is the way division is written in science and intermediate and higher mathematics: <table style="display: inline-table; line-height: 0.75em; vertical-align: middle; font-size:10pt; text-size-adjust: none;"><tr><td><u>A</u></td></tr><tr><td>B</td></tr></table>, i.e. the dividend on the top of the expression, over the divisor on the bottom with a horizontal line separating them. This is how a {{w|Fraction|fraction}} would be written. It has the advantage of clearly separating the numerator and denominator when they are longer expressions, such as polynomials, without needing to add parentheses. This format is mostly used in written and professionally typeset math, as it can't be typed without something like {{w|MathML}}, {{w|LaTeX}} or HTML tables.

The final form of notation declares a function. The writer defines a new function, F, that takes in the parameters A and B, before listing out the function's definition (trailing off in increasingly smaller text). Defining things as functions is very normal for mathematics, but likely not very efficient at all to commonly do for the simple operation of division.  Occasionally a highly formalized definition such as this could be a setup for an elaborate and extensive proof, hence Randall warns the reader they should escape while they still can. Integer division can be defined in terms of multiplicative inequalities and the remainder, or modulo ('%' in most programming languages) operator. This situation is likely to occur in many sorts of algebra, where one might have to define what "division" means for two elements of a mathematical object such as a group, ring, or magma. One example would be an object G, such that, for two elements A and B of G, "A divided by B" is defined as an element C such that CB=A, or alternatively as an element C such that BC=A. These definitions will differ if multiplication in G is not commutative. Furthermore, if such a C is not unique, the function F(A,B) will need to include a method to select a unique value for "A divided by B" for each A and B. Thus, the F(A,B) in the comic might not even refer to a uniquely defined operation, but simply to the property of a function F(A,B) that is a valid division operation on G, given some definition of division. You were warned.

The final form of notation declares a function. The writer defines a new function, F, that takes in the parameters A and B, before listing out the function's definition (trailing off in increasingly smaller text). Defining things as functions is very normal for mathematics, but likely not very efficient at all to commonly do for the simple operation of division.  Occasionally a highly formalized definition such as this could be a setup for an elaborate and extensive proof, hence Randall warns the reader they should escape while they still can. Integer division can be defined in terms of multiplicative inequalities and the remainder, or modulo ('%' in most programming languages) operator. This situation is likely to occur in many sorts of algebra, where one might have to define what "division" means for two elements of a mathematical object such as a group, ring, or magma. One example would be an object G, such that, for two elements A and B of G, "A divided by B" is defined as an element C such that CB=A, or alternatively as an element C such that BC=A. These definitions will differ if multiplication in G is not commutative. Furthermore, if such a C is not unique, the function F(A,B) will need to include a method to select a unique value for "A divided by B" for each A and B. Thus, the F(A,B) in the comic might not even refer to a uniquely defined operation, but simply to the property of a function F(A,B) that is a valid division operation on G, given some definition of division. You were warned.