Firefox:Branch Landing: Difference between revisions

From MozillaWiki
Jump to navigation Jump to search
(Calculus I INTRODUCTION)
m (Reverted edit of Georgebush, changed back to last version by Grantaw)
Line 1: Line 1:
Calculus I INTRODUCTION
== The plan ==
Branch landing will be done by copying files in browser and toolkit down from the branch and smart-merging changes elsewhere...<br>
Introduce reland-irsn in Status Whiteboard to mark bugs/patches that need relanding, because changes were overwritten by merge of browser/ and toolkit/?


Calculus, branch of mathematics concerned with rates of change, gradients of curves, maximum and minimum values of functions, and the calculation of lengths, areas, and volumes. It is widely used, especially in science and engineering, wherever continuously varying quantities occur.
== Points to watch carefully and not just clobber ==
* toolkit/components/startup
* toolkit/components/Makefile.in
* tree wide changes from [https://bugzilla.mozilla.org/show_bug.cgi?id=app-startup 237745] affect browser (browser/app/splash.rc, toolkit/content/globalOverlay.js, etc)
* nsXULAppAPI has changed, so has xre_main. Probably nsBrowserApp.cpp should use the trunk version, not the branch version


II HISTORICAL DEVELOPMENT
=== Already up to date, no merge necessary ===
* mozilla/chrome (bsmedberg)
* toolkit/locales has been landed (bsmedberg)
* mozilla/browser/components/help/locale/en-US, mozilla/toolkit/components/help/locale/en-US, mozilla/toolkit/components/help/helpOnHelp/locale/en-US (Jeff and Steffen)


Calculus derives from ancient Greek geometry. Democritus calculated the volumes of pyramids and cones, probably by regarding them as consisting of infinitely many cross-sections of infinitesimal (infinitely small) thickness, and Eudoxus and Archimedes used the “method of exhaustion�?, finding the area of a circle by approximating it arbitrarily closely with inscribed polygons. However, difficulties with irrational numbers and the paradoxes of Zeno prevented a systematic theory developing. In the early 17th century Cavalieri and Torricelli extended the use of infinitesimals, while Descartes and Fermat used algebra for determining areas and tangents (integration and differentiation, in modern terms). Fermat and Barrow knew these two processes were closely related, and Newton (in the 1660s) and Leibniz (in the 1670s) proved the Fundamental Theorem of Calculus, that they are mutually inverse. Newton's discoveries, motivated by his theory of gravitation, preceded Leibniz's, but his delays in publishing them caused bitter priority disputes, and Leibniz's notation was eventually adopted.
== Trunk changes to be reapplied quickly to browser and toolkit since they might cause breakage ==
* tree widget refactoring and enhancement from [https://bugzilla.mozilla.org/show_bug.cgi?id=221619 bug 221619] (checked in after the 1.7-branch was cut, so it missed aviary, which was cut from 1.7).<br>[http://bonsai.mozilla.org/cvsquery.cgi?branch=&dir=mozilla%2Fbrowser%2C+mozilla%2Ftoolkit&date=explicit&mindate=2004-04-16+22%3A53&maxdate=2004-04-16+22%3A53 Bonsai query limited to browser and toolkit]. [http://bonsai.mozilla.org/cvsquery.cgi?branch=&who=varga%25nixcorp.com&whotype=match&sortby=Date&hours=2&date=explicit&mindate=2004-04-16+22%3A53&maxdate=2004-04-18+11%3A52&cvsroot=%2Fcvsroot The full glory].
* A number of #ifdef MOZ_SUNBIRD checks in toolkit makefiles to be able to build sunbird


The 18th century saw widespread applications of calculus, but imprecise use of infinite and infinitesimal quantities and geometric intuition still caused confusion and controversy about its foundations, the philosopher Berkeley being a notable critic. The 19th-century analysts replaced these vague notions with firm foundations based on finite quantities: Bolzano and Cauchy defined limits and derivatives precisely, Cauchy and Riemann did likewise for integrals, and Dedekind and Weierstrass for real numbers. For instance, it was now understood that differentiable functions are continuous, and continuous functions integrable, but both converses fail. In the 20th century, non-standard analysis belatedly legitimized infinitesimals, while the development of computers increased the applicability of calculus.  
== Trunk landing needed outside browser and toolkit ==
* new Tabbed Browsing options: [https://bugzilla.mozilla.org/show_bug.cgi?id=172962 bug 172962], [https://bugzilla.mozilla.org/show_bug.cgi?id=263956 bug 263956] (danm?)
* new Plugin Finder Service: [https://bugzilla.mozilla.org/show_bug.cgi?id=244125 bug 244125] (jst/doronr?)


III DIFFERENTIAL CALCULUS
== Branch stability fixes to be reverted on trunk ==
 
* Turn on Stylesheet switcher icon (kinda [https://bugzilla.mozilla.org/show_bug.cgi?id=257859 bug 257859])
Differential calculus is concerned with rates of change. Suppose that two variables x and y are related by an equation y = f(x) for some function f, indicating how the value of y depends on the value of x. For instance, x could represent time, and y the distance travelled by some moving object at time x. A small change h in x, from a value x0 to x 0 + h, induces a change k in y from y 0 = f(x0) to y0 + k = f(x0 + h); thus k = f( x0 + h) - f(x0), and the ratio k/h represents the average rate of change of y as x increases from x0 to x0 + h. The graph of the function y = f(x) is a curve in the xy-plane, and k/h is the gradient of the line AB through the points A = (x 0,y0) and B = (x0 + h,y 0 + k) on this curve; this is shown in Figure 1, where h = AC and k = CB, so k/h is the tangent of the angle BAC.
* Readd bookmark update notification/scheduling ([https://bugzilla.mozilla.org/show_bug.cgi?id=253478 bug 253478])
 
* <s>Restart-less theme switching</s> (seems to have been left as-is, with dynamic switching enabled now)
If h approaches 0, with x0 fixed, then k/h approaches the instantaneous rate of change of y at x0; geometrically, B approaches A along the graph of y = f(x), and the line AB approaches the tangent AT to the graph at A, so k/h approaches the gradient of the tangent (and hence of the curve) at A. We therefore define the derivative f′(x0) of the function y = f(x) at x0 to be the value (or limit) which k/h approaches as h approaches 0, written:  
* <s>Single Window Mode</s> (enabled by Ben during aviary landing)
 
* others?
This represents both the rate of change of y and the gradient of the graph at A. When x is time and y is distance, for example, the derivative represents instantaneous velocity. Positive, negative, or zero values of f′(x0) respectively indicate that f(x) is increasing, decreasing, or stationary at x 0. The derivative is a new function f′(x) of x, sometimes denoted by dy/dx, df/dx or Df. For example, let y = f(x) = x2, so the graph is a parabola. Then
 
so k/h = 2x0 + h, which approaches 2x 0 as h→ 0. Thus the gradient when x = x0 is 2x0, and the derivative of f(x) = x2 is f′(x) = 2 x. Similarly xm has derivative mxm-1 for each fixed m. The derivatives of all commonly occurring functions are known: see the table for some examples.
 
Some words of caution are needed here. Firstly, to find the derivative we make h small (positive or negative), but never zero: this would give k/h = 0/0, which is meaningless. Secondly, not every function f has a derivative at each x0, since k/h need not approach a limit as h→ 0. For instance, f(x) = | x| has no derivative at x0 = 0, since k/h is 1 or -1 as h> 0 or h< 0; geometrically, the graph has a corner (and hence no tangent) at A = (0,0). Thirdly, although the notation dy/dx suggests the ratio of two numbers dy and dx (denoting infinitesimal changes in y and x), it is really a single number, the limit of a ratio k/h as both terms approach 0.
 
Differentiation is the process of calculating derivatives. If a function f is formed by combining two functions u and v, its derivative f′ can be obtained from u and v by simple rules; for instance the derivative of a sum is the sum of their derivatives, that is, if f = u + v (meaning that f(x) = u(x) + v(x) for all x) then f′ = u′ + v′, and a similar rule (u - v)′ = u′ - v′ applies to differences. If a function is multiplied by a constant, then so is its derivative, that is, (cu)′ = cu′ for any constant c. The rules for products and quotients are less obvious: if f = uv then f′ = uv′ + u′v, and if f = u/v then f′ = ( u′v-uv′)/v2 provided v(x) ≠ 0.  
 
Using these rules, quite complicated functions can be differentiated: for instance x2 and x5 have derivatives 2 x and 5x4, so the function 3x2 - 4x5 has derivative (3x2 - 4x 5)′ = (3x2)′ - (4x5)′ = 3.( x2)′ - 4.(x5)′ = 3.(2x) - 4.(5 x4) = 6x - 20x4. More generally, any polynomial f(x) = a0 + a1x + ... + anxn has derivative f′(x) = a1 + 2a2 x + ... + nanxn-1; in particular, constant functions have derivative 0.
 
If y = u(z) and z = v(x), so that y depends on z and z depends on x, then y = u(v(x)), so y depends on x, written y = f(x) where f is the composition of u and v; the chain rule states that dy/dx = (dy/dz).(dz/dx), or equivalently f′(x) = u′(v(x)). v′(x). For instance, if y = ez where e = 2.718 ... is the exponential constant, and z = ax where a is any constant, then y = eax; now dy/dz = ez (see table) and dz/dx = a, so dy/dx = aeax.
 
Many problems can be formulated and solved using derivatives. For example, let y be the amount present in a sample of radioactive material at time x. According to theory and observation, the sample decays at a rate proportional to the amount remaining, that is, dy/dx = ay for some negative constant a. To find y in terms of x, we therefore need a function y = f(x) such that dy/dx = ay for all x. The most general such function is y = ce ax where c is a constant. Since e0 = 1 we have y = c when x = 0, so c is the initial amount present (at time x = 0). Since a<0 we have eax→ 0 as x increases, so y→ 0, confirming that the sample gradually decays to nothing. This is an example of exponential decay, shown in figure 3a. If a is a positive constant, we obtain the same solution y = ceax, but as time progresses y now increases rapidly (since eax does when a>0); this is exponential growth, shown in figure 3b and observed in nuclear explosions and certain animal communities, where growth-rate is proportional to population.
 
IV INTEGRAL CALCULUS
 
Integral calculus involves the inverse process to differentiation, called integration. Given a function f, we seek a function F with derivative F′ = f; this is an integral or antiderivative of f, written F(x) = ∫ f(x)dx or simply F = ∫f dx (a notation we will explain later). Tables of derivatives can be used for integration: thus x2 has derivative 2x, so 2x has x2 as an integral. If F is any integral of f, the most general integral of f is F + c, where c is an arbitrary constant called the constant of integration; this is because a constant has derivative 0, so ( F + c)′ = F′ + c′ = f + 0 = f. Thus ∫2xdx = x2 + c, for instance.
 
The basic rules for integrating compound functions resemble those for differentiation. The integral of a sum or difference is the sum or difference of their integrals, and likewise for multiplication by a constant. Thus x = y.2x has integral yx2, and similarly ∫xm dx = xm+1/(m + 1) for any m≠ -1. (We exclude m = -1 to avoid dividing by 0; the natural logarithm ln|x| is an integral of x-1 = 1/x for any x≠ 0.) Integration is generally harder than differentiation, but many of the more familiar functions can be integrated by these and other rules (see the table).
 
A classic application of integration is to calculate areas. Let A be the area of the region between the graph of a function y = f(x) and the x-axis, for a≤x≤b. For simplicity, assume that f(x) ≥ 0 between a and b. For each x≥a, let L(x) be the area of this region to the left of x, so we need to find A = L(b). First we differentiate L(x). If h is a small change in x, the region below the graph between x and x + h is approximately a rectangle of height f(x) and width h (see figure 4); the corresponding change k = L(x + h) - L(x) in area is therefore approximately f(x)h, so k/h is approximately f(x). As h→ 0 these approximations become more exact, so k/h→ f(x) and hence L′(x) = f(x). Thus L is an integral of f, so if we know any integral F of f then L = F + c for some constant c. Now L(a) = 0 (since the region to the left of x vanishes when x = a), so c = -F(a) and hence L(x) = F(x) - F(a) for all x≥a. In particular, A = L(b) = F(b) - F(a), written
 
This is the Fundamental Theorem of Calculus, valid whenever f is continuous between a and b, provided we assign negative areas to any regions below the x-axis, where f(x) < 0. (Continuity means that f(x) → f(x0) as x→x0, so f has an unbroken graph.) For example f(x) = x2 has integral F( x) = x3/3, so
 
and with this formula it is possible to work out a large number of useful quantities. For example, the volume of a cone of height h and radius r can be found by evaluating the expression ∫p (rx / h)2 dx between the limits x = 0 and x = 1; this is because the radius at a distance x below the apex of the cone is rx / h and the cross-sectional area is p (rx / h)2. The result is p r2 h / 3.
 
Here is a definite integral of f; this is a number, whereas the indefinite integral ∫f(x)dx is a function F(x) (more precisely, a set of functions F(x) + c). The symbol ∫ (a 17th-century S) suggests summation of areas f(x)dx of infinitely many rectangles of height f(x) and infinitesimal width dx; more precisely, is the limit of a sum of finitely many rectangular areas, as their widths approach 0.
 
The derivative dy/dx = f′(x) of a function y = f(x) can be differentiated again to obtain a second derivative, denoted by d2y/dx 2, f′′(x) or D2f. If x is time and y is distance travelled, for instance, so that dy/dx is velocity v, then d2y/dx2 = dv/dx is rate of change of velocity, that is, acceleration. By Newton's second law of motion, a body of constant mass m subject to a force F undergoes an acceleration a satisfying F = ma. For example, if the body falls under the gravitational force F = mg (where g is the gravitational field strength) then ma = F = mg implies a = g, so dv/dx = g. Integrating, we have v = gx + c where c is constant; putting x = 0 shows that c is the initial velocity. Integrating dy/dx = v = gx + c, we have y = ygx2 + cx + b where b is constant; putting x = 0 shows that b is the initial value of y.
 
Higher derivatives f(n)(x) = dn y/dxn = Dnf of f( x) are found by successively differentiating n times. Taylor's Theorem states that if f(x) can be represented as a power series f(x) = a0 + a1x + a2x2 + ... + anx n + ... (where a0,a1, ... are constants), then an = f(n)(0)/n! where 0!=1 and n!= 1 × 2 × 3 × ... × n for all n≥ 1. Most commonly used functions can be represented as power series; for instance if f(x) = ex then f(n)(x) = ex for all n, so f(n)(0) = e0 = 1 and hence:
 
 
 
 
V PARTIAL DERIVATIVES
 
Functions of several variables can also have derivatives. Let z = f(x,y), so z depends on x and y. Temporarily holding y constant we can regard z as a function of x, and differentiating this gives the partial derivative ¶z/¶x = ¶f/¶x; similarly, keeping x constant and differentiating with respect to y we obtain ¶z/¶y = ¶f/¶y. For instance, if z = x2 -xy + 3y2 then ¶z/¶x=2x-y and ¶z/¶y= -x+6y. Geometrically, an equation z = f(x,y) defines a surface in three-dimensional space; if the x- and y-axes are horizontal and the z-axis is vertical, then ¶z/¶x and ¶z/¶y represent the gradients of this surface at the point (x,y,z) in the directions of the x- and y-axes. Partial derivatives can also be calculated for functions of more than two variables, by keeping all but one variable temporarily constant; higher partial derivatives can be defined by repeating this operation. Partial derivatives are important in applied mathematics, where functions often depend on several variables such as space and time.

Revision as of 03:25, 19 August 2005

The plan

Branch landing will be done by copying files in browser and toolkit down from the branch and smart-merging changes elsewhere...
Introduce reland-irsn in Status Whiteboard to mark bugs/patches that need relanding, because changes were overwritten by merge of browser/ and toolkit/?

Points to watch carefully and not just clobber

  • toolkit/components/startup
  • toolkit/components/Makefile.in
  • tree wide changes from 237745 affect browser (browser/app/splash.rc, toolkit/content/globalOverlay.js, etc)
  • nsXULAppAPI has changed, so has xre_main. Probably nsBrowserApp.cpp should use the trunk version, not the branch version

Already up to date, no merge necessary

  • mozilla/chrome (bsmedberg)
  • toolkit/locales has been landed (bsmedberg)
  • mozilla/browser/components/help/locale/en-US, mozilla/toolkit/components/help/locale/en-US, mozilla/toolkit/components/help/helpOnHelp/locale/en-US (Jeff and Steffen)

Trunk changes to be reapplied quickly to browser and toolkit since they might cause breakage

Trunk landing needed outside browser and toolkit

Branch stability fixes to be reverted on trunk

  • Turn on Stylesheet switcher icon (kinda bug 257859)
  • Readd bookmark update notification/scheduling (bug 253478)
  • Restart-less theme switching (seems to have been left as-is, with dynamic switching enabled now)
  • Single Window Mode (enabled by Ben during aviary landing)
  • others?
Retrieved from "https://wiki.mozilla.org/index.php?title=Firefox:Branch_Landing&oldid=11250"