From 1d37f333f17872d265201e5b14ccd14924571630 Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 2 Nov 2026 21:35:37 +0000 Subject: [PATCH 1/2] Promote the algebra, calculus and indicator section subfiles to level 1 The section subfiles that pages include still started at level 2, so pages that begin at level 1 (mds#569 and mds#570) had sections at two different levels. This moves the section headings of these subfiles up one level, and sets the revealjs heading shift to 1 so each section is one slide. Part of the mds heading promotion. Co-Authored-By: Claude Sonnet 5.5 Claude-Session: https://claude.ai/code/session_019xfc9r2idFsJ4pHCsRGyGx --- _calc-derivatives.qmd | 12 ++++++------ _calc-integrals.qmd | 6 +++--- _quarto-website.yml | 2 +- _subfiles/_sec_algebra_basics.qmd | 12 ++++++------ _subfiles/_sec_algebra_exponentials.qmd | 10 +++++----- _subfiles/_sec_algebra_sums.qmd | 18 +++++++++--------- _subfiles/_sec_calculus_derivatives.qmd | 2 +- _subfiles/_sec_calculus_double_integrals.qmd | 2 +- _subfiles/_sec_calculus_integration.qmd | 2 +- .../_sec-indicator-functions.qmd | 12 ++++++------ 10 files changed, 39 insertions(+), 39 deletions(-) diff --git a/_calc-derivatives.qmd b/_calc-derivatives.qmd index cdce28843..ac46b91a7 100644 --- a/_calc-derivatives.qmd +++ b/_calc-derivatives.qmd @@ -1,4 +1,4 @@ -### Limits and derivatives {#sec-limits-derivatives} +## Limits and derivatives {#sec-limits-derivatives} {{< include mds/_subfiles/derivatives/_def-limit.qmd >}} @@ -62,7 +62,7 @@ {{< include mds/_subfiles/derivatives/_exm-second-derivative.qmd >}} -### Derivative rules {#sec-derivative-rules} +## Derivative rules {#sec-derivative-rules} :::{#thm-deriv-const} #### Constant rule @@ -313,7 +313,7 @@ $$ {{< include mds/_subfiles/calculus-review/_exr-miller-deriv-second-log-constant.qmd >}} -### Studying a new function {#sec-function-profile} +## Studying a new function {#sec-function-profile} {{< include mds/_subfiles/derivatives/_def-function-profile.qmd >}} @@ -323,7 +323,7 @@ $$ {{< slidebreak >}} -### Tangent lines {#sec-tangent-lines} +## Tangent lines {#sec-tangent-lines} {{< include mds/_subfiles/derivatives/_def-tangent-line.qmd >}} @@ -333,7 +333,7 @@ $$ {{< slidebreak >}} -### Linear approximation {#sec-linear-approximation} +## Linear approximation {#sec-linear-approximation} For a differentiable function $f$ and a small step $\smallconst$, @@ -411,7 +411,7 @@ as an affine function for functions of several variables as well. {{< slidebreak >}} -### Taylor series {#sec-taylor-series} +## Taylor series {#sec-taylor-series} {{< include mds/_subfiles/derivatives/_def-taylor-polynomial.qmd >}} diff --git a/_calc-integrals.qmd b/_calc-integrals.qmd index 0a265a05f..7e1a001fb 100644 --- a/_calc-integrals.qmd +++ b/_calc-integrals.qmd @@ -10,14 +10,14 @@ Calculus and a worked example from probability. {{< slidebreak >}} -### Antiderivatives +## Antiderivatives {{< include mds/_subfiles/_calc_antiderivatives.qmd >}} -### Regularity Conditions +## Regularity Conditions {{< include mds/_subfiles/_calc_integrals_regularity.qmd >}} -### Fundamental Theorem of Calculus +## Fundamental Theorem of Calculus {{< include mds/_subfiles/_calc_integrals_ftc.qmd >}} diff --git a/_quarto-website.yml b/_quarto-website.yml index 1b0434eab..914447684 100644 --- a/_quarto-website.yml +++ b/_quarto-website.yml @@ -349,7 +349,7 @@ format: incremental: false df-print: paged number-depth: 2 - shift-heading-level-by: 0 + shift-heading-level-by: 1 slide-level: 2 scrollable: true echo: true diff --git a/_subfiles/_sec_algebra_basics.qmd b/_subfiles/_sec_algebra_basics.qmd index 84a692eb6..a3fb4df15 100644 --- a/_subfiles/_sec_algebra_basics.qmd +++ b/_subfiles/_sec_algebra_basics.qmd @@ -1,4 +1,4 @@ -## Equalities +# Equalities {{< include mds/_subfiles/algebra/_note-elementary-algebra-prereq.qmd >}} @@ -24,7 +24,7 @@ {{< include mds/_subfiles/algebra/_exm-identity.qmd >}} -## Inequalities +# Inequalities {{< include mds/_subfiles/algebra/_def-strict-inequality.qmd >}} @@ -48,7 +48,7 @@ {{< include mds/_subfiles/algebra/_thm-negative-one.qmd >}} -## Powers, square roots, and absolute values {#sec-powers-roots-abs} +# Powers, square roots, and absolute values {#sec-powers-roots-abs} {{< include mds/_subfiles/algebra/_def-power.qmd >}} @@ -84,7 +84,7 @@ {{< include mds/_subfiles/algebra/_rem-absolute-value-distance.qmd >}} -## Percent {#sec-percent} +# Percent {#sec-percent} The word "percent" comes from the Latin "per centum"; "centum" is Latin for 100, @@ -102,7 +102,7 @@ so "percent" means "per hundred" You are welcome to switch between decimal and percent notation freely; just make sure you execute it correctly. -## Minimum, maximum, argmin and argmax {#sec-min-max} +# Minimum, maximum, argmin and argmax {#sec-min-max} {{< include mds/_subfiles/algebra/_exr-min-and-argmin.qmd >}} @@ -142,7 +142,7 @@ just make sure you execute it correctly. {{< include mds/_subfiles/algebra/_exm-negative-part.qmd >}} -## Global and local minimizers {#sec-minimizers} +# Global and local minimizers {#sec-minimizers} {{< include mds/_subfiles/algebra/_exr-local-vs-global-min.qmd >}} diff --git a/_subfiles/_sec_algebra_exponentials.qmd b/_subfiles/_sec_algebra_exponentials.qmd index 045bceb26..444d6cc27 100644 --- a/_subfiles/_sec_algebra_exponentials.qmd +++ b/_subfiles/_sec_algebra_exponentials.qmd @@ -1,4 +1,4 @@ -## Polynomials {#sec-polynomials} +# Polynomials {#sec-polynomials} {{< include mds/_subfiles/algebra/_exr-polynomial-degree.qmd >}} @@ -58,7 +58,7 @@ {{< include mds/_subfiles/algebra/_exm-monomial-degree.qmd >}} -## Affine and linear functions of one variable {#sec-affine-linear-functions} +# Affine and linear functions of one variable {#sec-affine-linear-functions} {{< include mds/_subfiles/algebra/_def-affine-function.qmd >}} @@ -90,7 +90,7 @@ {{< include mds/_subfiles/algebra/_thm-affine-function-props.qmd >}} -## Limits of sequences {#sec-sequence-limits} +# Limits of sequences {#sec-sequence-limits} {{< include mds/_subfiles/algebra/_def-sequence-limit.qmd >}} @@ -98,7 +98,7 @@ {{< include mds/_subfiles/algebra/_def-diverges-to-infinity.qmd >}} -## Series {#sec-series} +# Series {#sec-series} {{< include mds/_subfiles/algebra/_def-non-decreasing.qmd >}} @@ -126,7 +126,7 @@ {{< include mds/_subfiles/algebra/_lem-nonneg-series.qmd >}} -## Exponentials and Logarithms +# Exponentials and Logarithms {{< include mds/_subfiles/algebra/_def-exponential-function.qmd >}} diff --git a/_subfiles/_sec_algebra_sums.qmd b/_subfiles/_sec_algebra_sums.qmd index 70822e062..b1e820461 100644 --- a/_subfiles/_sec_algebra_sums.qmd +++ b/_subfiles/_sec_algebra_sums.qmd @@ -1,4 +1,4 @@ -## Convex functions {#sec-convexity} +# Convex functions {#sec-convexity} {{< include mds/_subfiles/algebra/_exr-convex-chord.qmd >}} @@ -46,7 +46,7 @@ {{< include mds/_subfiles/algebra/_exm-jensen.qmd >}} -## Infimum and supremum +# Infimum and supremum {{< include mds/_subfiles/algebra/_def-bounded.qmd >}} @@ -78,7 +78,7 @@ {{< include mds/_subfiles/algebra/_exm-supremum.qmd >}} -## Sums +# Sums {{< include mds/_subfiles/algebra/_def-term.qmd >}} @@ -122,7 +122,7 @@ {{< include mds/_subfiles/algebra/_thm-sum-assoc.qmd >}} -## Products +# Products @@ -136,11 +136,11 @@ {{< include mds/_subfiles/algebra/_thm-prod-assoc.qmd >}} -## Division +# Division {{< include mds/_subfiles/algebra/_thm-prod-div.qmd >}} -## Sums and products together +# Sums and products together @@ -190,7 +190,7 @@ {{< include mds/_subfiles/algebra/_thm-square-of-a-sum.qmd >}} -## Summation notation {#sec-summation} +# Summation notation {#sec-summation} {{< include mds/_subfiles/algebra/_exr-expand-a-sum.qmd >}} @@ -266,7 +266,7 @@ {{< include mds/_subfiles/algebra/_exm-sum-over-empty-set.qmd >}} -## Quotients +# Quotients {{< include mds/_subfiles/algebra/_def-quotient.qmd >}} @@ -286,6 +286,6 @@ {{< include mds/_subfiles/algebra/_prose-proportion-reference.qmd >}} -## Limits of sums and notational shorthands {#sec-notational-shorthands} +# Limits of sums and notational shorthands {#sec-notational-shorthands} {{< include mds/_subfiles/algebra/_sec-notational-shorthands.qmd >}} diff --git a/_subfiles/_sec_calculus_derivatives.qmd b/_subfiles/_sec_calculus_derivatives.qmd index 4c767d983..1981ef4d4 100644 --- a/_subfiles/_sec_calculus_derivatives.qmd +++ b/_subfiles/_sec_calculus_derivatives.qmd @@ -1,3 +1,3 @@ -## Derivatives {#sec-derivatives} +# Derivatives {#sec-derivatives} {{< include mds/_calc-derivatives.qmd >}} diff --git a/_subfiles/_sec_calculus_double_integrals.qmd b/_subfiles/_sec_calculus_double_integrals.qmd index 348832f51..2ef58b7a7 100644 --- a/_subfiles/_sec_calculus_double_integrals.qmd +++ b/_subfiles/_sec_calculus_double_integrals.qmd @@ -1,4 +1,4 @@ -## Double Integrals {#sec-double-integrals} +# Double Integrals {#sec-double-integrals} {{< include mds/_subfiles/_fubini_intro_thm.qmd >}} diff --git a/_subfiles/_sec_calculus_integration.qmd b/_subfiles/_sec_calculus_integration.qmd index 1bae991d2..122e1a615 100644 --- a/_subfiles/_sec_calculus_integration.qmd +++ b/_subfiles/_sec_calculus_integration.qmd @@ -1,3 +1,3 @@ -## Integration {#sec-integration} +# Integration {#sec-integration} {{< include mds/_calc-integrals.qmd >}} diff --git a/_subfiles/indicator-functions/_sec-indicator-functions.qmd b/_subfiles/indicator-functions/_sec-indicator-functions.qmd index 56915c528..f996f8fb7 100644 --- a/_subfiles/indicator-functions/_sec-indicator-functions.qmd +++ b/_subfiles/indicator-functions/_sec-indicator-functions.qmd @@ -95,7 +95,7 @@ $Y$ (defined in the Morrison Lab's probability notes). {{< include mds/_subfiles/indicator-functions/_exm-binary-variable.qmd >}} -### Two primary notational paradigms: set vs. predicate notation +## Two primary notational paradigms: set vs. predicate notation The vast majority of indicator notations belong to one of two families: set notation or predicate notation. @@ -163,7 +163,7 @@ or a geometric region). Predicate notation is more natural when the condition involves compound inequalities, such as $\indicp{0 \le t \le u}$. -### Iverson bracket notation +## Iverson bracket notation In 1962, Kenneth Iverson introduced a compact notation in the programming language APL, @@ -283,7 +283,7 @@ and $\kron_{ij} = 0$ when $i \neq j$ ::: -### Strengths and limitations of the Iverson bracket +## Strengths and limitations of the Iverson bracket The primary advantage of the Iverson bracket is algebraic conciseness: it turns a sum or integral over a subset @@ -309,7 +309,7 @@ To prevent visual confusion with expectation brackets or intervals, statistical literature predominantly uses $\mathbb{1}$ or $I$ rather than the bare Iverson bracket. -### Summary of indicator notations +## Summary of indicator notations @tbl-indicator-notations compares the major notations encountered across the literature. @@ -324,7 +324,7 @@ rather than the bare Iverson bracket. : Notations for indicator functions across mathematical and statistical literature {#tbl-indicator-notations} -### Conventions in this book +## Conventions in this book In these notes, we standardize on blackboard bold $\mathbb{1}$ @@ -340,7 +340,7 @@ it is visually distinct from the scalar $1$, the identity matrix $I$, and the observed and expected Fisher information matrices ($\oinf$, $\einf$). -### Key algebraic properties +## Key algebraic properties Indicator functions translate the logical connectives ([definition](proof-writing.qmd#def-logical-connective)) "and", "or", and "not", applied to set membership, From 7ee3696772f1b8a6dcb2ad8f63f21fccba5122ba Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 2 Nov 2026 21:39:41 +0000 Subject: [PATCH 2/2] Move the indicator section out of this PR Touching that subfile makes check-one-div-per-subfile judge the whole file, and it holds eight divs. Its promotion and the split into one div per subfile go in their own PR. Co-Authored-By: Claude Sonnet 5.5 Claude-Session: https://claude.ai/code/session_019xfc9r2idFsJ4pHCsRGyGx --- .../indicator-functions/_sec-indicator-functions.qmd | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/_subfiles/indicator-functions/_sec-indicator-functions.qmd b/_subfiles/indicator-functions/_sec-indicator-functions.qmd index f996f8fb7..56915c528 100644 --- a/_subfiles/indicator-functions/_sec-indicator-functions.qmd +++ b/_subfiles/indicator-functions/_sec-indicator-functions.qmd @@ -95,7 +95,7 @@ $Y$ (defined in the Morrison Lab's probability notes). {{< include mds/_subfiles/indicator-functions/_exm-binary-variable.qmd >}} -## Two primary notational paradigms: set vs. predicate notation +### Two primary notational paradigms: set vs. predicate notation The vast majority of indicator notations belong to one of two families: set notation or predicate notation. @@ -163,7 +163,7 @@ or a geometric region). Predicate notation is more natural when the condition involves compound inequalities, such as $\indicp{0 \le t \le u}$. -## Iverson bracket notation +### Iverson bracket notation In 1962, Kenneth Iverson introduced a compact notation in the programming language APL, @@ -283,7 +283,7 @@ and $\kron_{ij} = 0$ when $i \neq j$ ::: -## Strengths and limitations of the Iverson bracket +### Strengths and limitations of the Iverson bracket The primary advantage of the Iverson bracket is algebraic conciseness: it turns a sum or integral over a subset @@ -309,7 +309,7 @@ To prevent visual confusion with expectation brackets or intervals, statistical literature predominantly uses $\mathbb{1}$ or $I$ rather than the bare Iverson bracket. -## Summary of indicator notations +### Summary of indicator notations @tbl-indicator-notations compares the major notations encountered across the literature. @@ -324,7 +324,7 @@ rather than the bare Iverson bracket. : Notations for indicator functions across mathematical and statistical literature {#tbl-indicator-notations} -## Conventions in this book +### Conventions in this book In these notes, we standardize on blackboard bold $\mathbb{1}$ @@ -340,7 +340,7 @@ it is visually distinct from the scalar $1$, the identity matrix $I$, and the observed and expected Fisher information matrices ($\oinf$, $\einf$). -## Key algebraic properties +### Key algebraic properties Indicator functions translate the logical connectives ([definition](proof-writing.qmd#def-logical-connective)) "and", "or", and "not", applied to set membership,