Repository navigation
fix: proofread solutions for Part Golf - #86
Merged
Merged
Conversation
Closes #63. Proofread src/sol-golf.typ (solutions for Part Golf). Found and fixed: - exer-slicing-standard: a missing closing-slash escape, x^(401\2) instead of x^(401\/2), broke the typeset fraction exponent in the second (y-inside) computation. - exer-slicing-standard: missing period after "solving $sqrt(x) = x^3$". - exer-rat-slice: the figure caption swapped the order of the nested roots (root(5, root(3,x)+1) instead of root(3, root(5,x)+1)), inconsistent with the inequality derived directly below it and with the original problem statement. - exer-rat-slice: the area integral for the "dark blue region" used wrong upper limits of integration (int_(y=1)^2 ... = int_(y=1)^N ...) instead of int_(y=1)^(10), inconsistent with the correct upper limit of 10 used in the very next line (and confirmed by the fact that the integrand's max value, at x = 999^5, is exactly 10). - exer-rat-slice: grammar, "This is a easily seen" -> "This is easily seen". - exer-polar1: region description omitted the y >= 0 constraint needed to pin down the first-quadrant quarter-disk. - exer-polar3: duplicated preposition in figure caption, "integrals $I_1$ and $I_2$ of from @sec-offset-circle" -> "... from @sec-offset-circle". I independently re-derived all the boxed final answers (5/283712, 9/20 center of mass, 1/15, the rational total area, 9 log 2, 1/8, 4, and 32/9) and verified them against the corresponding problem statements in src/double.typ, src/chvar.typ, and src/polar.typ; no large mathematical errors were found. Verified the fix by installing typst 0.15.0 and the @local/evan:1.0.0 + required @Preview packages and running `typst compile lamv.typ` end-to-end (with placeholder SVGs standing in for Asymptote figures) — compiles cleanly with no errors. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01AzrAYBuN6NCcDkkC9ihAVJ
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #63.
Proofread
src/sol-golf.typ(solutions for Part Golf). Found and fixed:exer-slicing-standard: a missing closing-slash escape,x^(401\2)instead ofx^(401\/2), broke the typeset fraction exponent in the second (y-inside) computation.exer-slicing-standard: missing period after "solvingexer-rat-slice: the figure caption swapped the order of the nested roots (root(5, root(3,x)+1)instead ofroot(3, root(5,x)+1)), inconsistent with the inequality derived directly below it and with the original problem statement.exer-rat-slice: the area integral for the "dark blue region" used wrong upper limits of integration (int_(y=1)^2 ... = int_(y=1)^N ...) instead ofint_(y=1)^(10), inconsistent with the correct upper limit of 10 used in the very next line (and confirmed by the fact that the integrand's max value, atexer-rat-slice: grammar, "This is a easily seen" → "This is easily seen".exer-polar1: region description omitted theexer-polar3: duplicated preposition in figure caption, "integralsI independently re-derived all the boxed final answers ($5/283712$ , $(9/20, 9/20)$ center of mass, $1/15$ , the rational total area, $9 log 2$ , $1/8$ , $4$ , and $32/9$ ) and verified them against the corresponding problem statements in
src/double.typ,src/chvar.typ, andsrc/polar.typ. No large mathematical errors were found.Test plan
typst0.15.0 and the@local/evan:1.0.0package plus required@previewdeps, then rantypst compile lamv.typend-to-end (with placeholder SVGs standing in for Asymptote figures, sinceasyisn't available in this environment) — compiles cleanly with no errors.codespellon the file — no issues.Generated by Claude Code