Corpus audit
Generated by bourbaki audit. Do not edit.
Every number here is a function of the committed Markdown and the manifests. There is no timestamp and no commit in it, so that CI can check this file by regenerating it and diffing.
Audited: 61 chapters, 533 sections, 4749 exercises, 15338 extracted pages, 5252 tags, 22704 references, 15406 translated files, 42 solutions. Languages: en, en-mt, fr, vi.
Summary
| Group | Hard | Soft | Not run | Failing |
|---|---|---|---|---|
| structure | 14 | 3 | 0 | S08 (63), S11 (66), S14 (685), S15 (67), S17 (82) |
| tags | 7 | 1 | 1 | T03 (23930), T07 (33), T10 (9) |
| mathematics | 14 | 6 | 0 | M03 (31), M06 (6), M13 (273), M14 (2678), M15 (2455), M16 (1) |
| figures | 6 | 0 | 0 | F01 (158) |
| references | 3 | 0 | 0 | R01 (3121), R02 (476) |
| translation | 13 | 3 | 1 | L01 (1489), L02 (33), L03 (55), L04 (48), L05 (418), L06 (2076), L07 (53), L08 (5628), L10 (296), L11 (80), L12 (38), L13 (73), L14 (33), L15 (6), L16 (78) |
| solutions | 0 | 6 | 0 | X05 (1), X06 (37) |
| publication | 0 | 1 | 0 | P04 (4) |
| hygiene | 7 | 0 | 0 | none |
30572 hard findings and 14008 soft, over 84 rules that ran and 2 that could not.
Rules that did not run
A rule that has nothing to look at is reported here rather than counted as a pass, because a green that comes from an empty corpus is the one kind nobody should trust.
- T05 tags is only ever appended to, and T08 is this read off a diff: no base commit given
- L09 the glossary version moves when the renderings do: no base revision was given, so there is nothing to compare the glossary against
F01 every figure a file references exists (158)
Hard, figures.
content/en-mt/ac/IX/exercises/s1/48.md:56the figure is a URL, so the corpus does not hold it: https://i.imgur.com/3Q5z5QG.pngcontent/en-mt/alg/X/07_s7_produit_de_composition.md:174the figure is a URL, so the corpus does not hold it: https://i.imgur.com/3Q5z5QG.pngcontent/en/alg/V/02_s2_extensions.md:133references content/en/alg/images/fig_1.png and there is no such filecontent/en/alg/V/10_s10_galois_extensions.md:464references content/en/alg/V/fig. and there is no such filecontent/en/alg/V/10_s10_galois_extensions.md:506references content/en/alg/V/fig2.png and there is no such filecontent/en/alg/V/16_s16_differential_criteria_of_separability.md:266references content/en/alg/images/fig_1.png and there is no such filecontent/en/evt/IV/04_s4_strict_morphisms_of_frechet_spaces.md:176the figure is a URL, so the corpus does not hold it: https://i.imgur.com/3Q5z5QG.pngcontent/en/evt/V/01_s1_prehilbertian_spaces_and_hilbertian.md:429the figure is a URL, so the corpus does not hold it: https://i.imgur.com/3Q5z5QG.pngcontent/en/evt/V/01_s1_prehilbertian_spaces_and_hilbertian.md:454the figure is a URL, so the corpus does not hold it: https://i.imgur.com/3Q5z5QG.pngcontent/en/evt/V/01_s1_prehilbertian_spaces_and_hilbertian.md:618the figure is a URL, so the corpus does not hold it: https://i.imgur.com/3Q5z5QG.pngcontent/en/fvr/I/04_s4_convex_functions_of_a_real_variable.md:51references content/en/fvr/images/fig_1.png and there is no such filecontent/en/fvr/I/04_s4_convex_functions_of_a_real_variable.md:61references content/en/fvr/images/fig_2.png and there is no such filecontent/en/fvr/I/04_s4_convex_functions_of_a_real_variable.md:232references content/en/fvr/images/fig_3.png and there is no such filecontent/en/fvr/I/04_s4_convex_functions_of_a_real_variable.md:343the figure is a URL, so the corpus does not hold it: https://i.imgur.com/3Q5z5QG.pngcontent/en/fvr/III/01_s1_derivatives_of_the_exponential_and.md:248the figure is a URL, so the corpus does not hold it: https://i.imgur.com/3Q5z5QG.pngcontent/en/fvr/III/01_s1_derivatives_of_the_exponential_and.md:276the figure is a URL, so the corpus does not hold it: https://i.imgur.com/3Q5z5QG.pngcontent/en/fvr/VII/02_s2_the_gamma_function_in_the_complex_domain.md:318references content/en/fvr/VII/Fig. and there is no such filecontent/en/int/IX/06_s6_promeasures_and_measures_on_a_locally.md:687references content/en/int/images/figure_1.png and there is no such filecontent/en/lie/IV/A_a_graphs.md:46the figure is a URL, so the corpus does not hold it: https://i.imgur.com/3Q5z5QG.pngcontent/en/lie/V/03_s3_groups_of_displacements_generated_by.md:106references content/en/lie/V/Fig. and there is no such filecontent/en/lie/V/04_s4_the_geometric_representation_of_a.md:344references content/en/lie/V/Fig. and there is no such filecontent/en/lie/V/exercises/s4/15.md:15references content/en/lie/V/exercises/images/coxeter_graphs_rank_4.png and there is no such filecontent/en/lie/V/exercises/s4/15.md:19references content/en/lie/V/exercises/images/coxeter_graphs_rank_5.png and there is no such filecontent/en/lie/V/exercises/s4/16.md:15references content/en/lie/V/exercises/images/coxeter_graphs_rank_4_coefficient_6.png and there is no such filecontent/en/lie/V/exercises/s4/17.md:15references content/en/lie/V/exercises/images/coxeter_graphs_1.png and there is no such file
and 133 more, which bourbaki audit -only F01 prints in full.
M03 no character stranded out of its TeX (31)
Hard, mathematics.
content/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:533the operator '−' where its TeX belongs inside the mathematics: of the underlying (real) vector bundle of M (7.3.3…content/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:533the letter 'τ' where its TeX belongs inside the mathematics: , there exists on M a unique structure of complex …content/fr/lie/index_of_notation_ix.md:37the accent '˜' with no letter under it, which is a lost \widehat: ˜p, ˜V, ˜V_\lambda(G) : p. 27.content/fr/lie/index_of_notation_ix.md:39the accent '˜' with no letter under it, which is a lost \widehat: ˜L(ρ) : p. 28.content/vi/alg/III/exercises/s2/16.md:21the operator '−' where its TeX belongs inside the mathematics: \le n − 1content/vi/alg/III/exercises/s2/16.md:21the operator '−' where its TeX belongs inside the mathematics: 0 \le k \le m − 1content/vi/alg/III/exercises/s2/16.md:21the operator '−' where its TeX belongs inside the mathematics: 0 \le k < p \le m − 1content/vi/alg/III/exercises/s2/17.md:21the operator '↦' where its TeX belongs inside the mathematics: (u, v) ↦ u(v)content/vi/alg/III/exercises/s2/17.md:21the operator '≠' where its TeX belongs inside the mathematics: u ≠ 0content/vi/lie/IV/exercises/s1/18.md:36'₁', a Unicode script where a TeX one belongs inside the mathematics: (C₁, C₂', ..., Cₙ' = C):content/vi/lie/IV/exercises/s1/18.md:38'₁', a Unicode script where a TeX one belongs inside the mathematics: C₁content/vi/lie/IV/exercises/s1/18.md:38'₂', a Unicode script where a TeX one belongs inside the mathematics: C₂content/vi/lie/IV/exercises/s1/18.md:38'₁', a Unicode script where a TeX one belongs inside the mathematics: a \in M₁content/vi/lie/IV/exercises/s1/18.md:38'₂', a Unicode script where a TeX one belongs inside the mathematics: a \in M₂content/vi/lie/IV/exercises/s1/18.md:38'₂', a Unicode script where a TeX one belongs inside the mathematics: \pi(C₂) = C₁content/vi/lie/IV/exercises/s1/19.md:20the operator '∈' where its TeX belongs inside the mathematics: (C_i)_{i∈I}content/vi/lie/IV/exercises/s1/19.md:20the operator '∈' where its TeX belongs inside the mathematics: S = \{s_i | i ∈ I\}content/vi/lie/IV/exercises/s1/19.md:22the operator '∈' where its TeX belongs inside the mathematics: w ∈ Wcontent/vi/lie/IV/exercises/s1/19.md:24the operator '∈' where its TeX belongs inside the mathematics: i ∈ Icontent/vi/lie/IV/exercises/s1/19.md:30the operator '∈' where its TeX belongs inside the mathematics: w ∈ P_{s_i}content/vi/lie/IV/exercises/s1/19.md:30the operator '∉' where its TeX belongs inside the mathematics: ws_j ∉ P_{s_i}content/vi/lie/IV/exercises/s1/19.md:38the operator '∈' where its TeX belongs inside the mathematics: s_i ∈ Scontent/vi/lie/IV/exercises/s1/19.md:38the operator '⊂' where its TeX belongs inside the mathematics: F ⊂ C \cap C_icontent/vi/lie/IV/exercises/s1/19.md:38the operator '∈' where its TeX belongs inside the mathematics: w ∈ W_Fcontent/vi/lie/IV/exercises/s1/19.md:38the operator '∈' where its TeX belongs inside the mathematics: i ∈ I
and 6 more, which bourbaki audit -only M03 prints in full.
M06 displays per page within three sigma of the book mean (6)
Soft, mathematics.
content/en/alg/III/10_s10_derivations.md:14.81 displays a page over 27 pages, against a mean of 1.15 and a sigma of 1.22content/en/fvr/III/02_s2_expansions_of_the_exponential_and.md:14.92 displays a page over 13 pages, against a mean of 1.15 and a sigma of 1.22content/en/fvr/VII/02_s2_the_gamma_function_in_the_complex_domain.md:15.64 displays a page over 11 pages, against a mean of 1.15 and a sigma of 1.22content/en/lie/II/07_s7_convergence_of_the_hausdorff_series.md:15.00 displays a page over 8 pages, against a mean of 1.15 and a sigma of 1.22content/en/lie/III/05_s5_formal_calculations_in_lie_groups.md:16.90 displays a page over 10 pages, against a mean of 1.15 and a sigma of 1.22content/en/lie/VIII/12_s12_chevalley_orders.md:16.18 displays a page over 17 pages, against a mean of 1.15 and a sigma of 1.22
M13 an inline formula is written tight against its dollars (273)
Soft, mathematics.
content/en-mt/alg/X/04_s4_produits_de_torsion.md:636an inline formula written loose against its dollars, $L(M^\circ ) = L(M)^\circ $: run bourbaki fix paddingcontent/en-mt/alg/X/04_s4_produits_de_torsion.md:636an inline formula written loose against its dollars, $L(N^\circ ) = L(N)^\circ $: run bourbaki fix paddingcontent/en-mt/ts/IV/01_s1_operateurs_compacts_sur_un_espace.md:456an inline formula written loose against its dollars, $\widehat{\wedge}^nu\in \mathscr{L}(\widehat{\wedge}^nE;\widehat{\wedge}^nF) $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:168an inline formula written loose against its dollars, $\omega \in ^k\Omega^p(X; F). There then exists one and only one form $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:191an inline formula written loose against its dollars, $\omega' \in ^k\Omega^{p'}(U; F') and $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:342an inline formula written loose against its dollars, $\eta. 8.5.2. The mapping $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:344an inline formula written loose against its dollars, $ is K-bilinear and alternating. If $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:344an inline formula written loose against its dollars, $ and $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:344an inline formula written loose against its dollars, $ are functions of class $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:344an inline formula written loose against its dollars, $ on $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:344an inline formula written loose against its dollars, $, with values in $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:349an inline formula written loose against its dollars, $ 8.5.3. Let $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:351an inline formula written loose against its dollars, $ be a Banach space. One has (3) $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:356an inline formula written loose against its dollars, $ in the space of mappings from $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:357an inline formula written loose against its dollars, $ into $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:357an inline formula written loose against its dollars, $. If $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:359an inline formula written loose against its dollars, $ and if $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:359an inline formula written loose against its dollars, $ is a third vector field of class $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:359an inline formula written loose against its dollars, $ on $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:368an inline formula written loose against its dollars, $ More generally, if $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:370an inline formula written loose against its dollars, $ and if $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:370an inline formula written loose against its dollars, $ is a vector functor for isomorphisms, one has (5) $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:375an inline formula written loose against its dollars, $ in the space of mappings from $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:376an inline formula written loose against its dollars, $ into $: run bourbaki fix paddingcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:376an inline formula written loose against its dollars, $ (with $: run bourbaki fix padding
and 248 more, which bourbaki audit -only M13 prints in full.
M14 no mathematics is left outside math mode (2678)
Soft, mathematics.
content/en-mt/ac/II/exercises/s5/11.md:24\bar is set in the prose, so the mathematics prints as its own source: a) Let y be the class of Y in A. Now prove that every a ∈ A …content/en-mt/ac/IV/exercises/s2/32.md:28\leq is set in the prose, so the mathematics prints as its own source: b) A noetherian primary ring is artinian. Deduce that for ev…content/en-mt/ac/IX/A_a_.md:161\mu is set in the prose, so the mathematics prints as its own source: Let $\nu \in \Lambda$, and suppose that $\tilde{B}_\lambda, …content/en-mt/ac/IX/exercises/s4/26.md:23\varinjlim is set in the prose, so the mathematics prints as its own source: Let A be an integral noetherian ring, X the topological spac…content/en-mt/ac/IX/exercises/s4/26.md:26\in is set in the prose, so the mathematics prints as its own source: c) There exists an index j_0 \in J such that G_{j_0} = \bigc…content/en-mt/ac/IX/exercises/s4/26.md:27\in is set in the prose, so the mathematics prints as its own source: d) Let p \in \operatorname{Spec}(A). Then for j \in J suffic…content/en-mt/ac/IX/exercises/s4/27.md:24\cap is set in the prose, so the mathematics prints as its own source: Let B be the ring A[x] and p a maximal ideal of B containing…content/en-mt/ac/IX/exercises/s4/27.md:25\cap is set in the prose, so the mathematics prints as its own source: a) Let X be an indeterminate and Q the kernel of the homomor…content/en-mt/ac/IX/exercises/s4/27.md:27\operatorname is set in the prose, so the mathematics prints as its own source: c) \operatorname{Ass}_B(B/xB) contains no immersed prime ide…content/en-mt/ac/IX/exercises/s4/27.md:28\cap is set in the prose, so the mathematics prints as its own source: d) Let q be a prime ideal of B_p associated with B_p/xB_p. T…content/en-mt/ac/IX/exercises/s4/27.md:29\cap is set in the prose, so the mathematics prints as its own source: e) B_p/q is a Nagata ring. (Remark that B/(q \cap B) is isom…content/en-mt/ac/VIII/01_s1_dimension_de_krull_d_un_anneau.md:209\dim is set in the prose, so the mathematics prints as its own source: Let Y and Z be two irreducible closed subsets of X such that…content/en-mt/ac/VIII/01_s1_dimension_de_krull_d_un_anneau.md:213\dim is set in the prose, so the mathematics prints as its own source: is maximal, and of length p + q + r; by the assumption made …content/en-mt/ac/VIII/01_s1_dimension_de_krull_d_un_anneau.md:217\dim is set in the prose, so the mathematics prints as its own source: Taking Y = Z, one sees that the second member is equal to \d…content/en-mt/ac/VIII/01_s1_dimension_de_krull_d_un_anneau.md:223\dim is set in the prose, so the mathematics prints as its own source: The Krull dimension, or simply dimension, of a (commutative)…content/en-mt/ac/VIII/02_s2_dimension_des_algebres.md:388\otimes is set in the prose, so the mathematics prints as its own source: (A \otimes_k B)/r_0 is isomorphic to a quotient of the ring …content/en-mt/ac/VIII/02_s2_dimension_des_algebres.md:416\otimes is set in the prose, so the mathematics prints as its own source: *Let A be a finitely generated k-algebra, k' an extension of…content/en-mt/ac/VIII/04_s4_series_de_hilbert_samuel.md:317\in is set in the prose, so the mathematics prints as its own source: X_1, ..., X_r. The homomorphism from (M/qM)^l into q^nM/q^{n…content/en-mt/ac/VIII/04_s4_series_de_hilbert_samuel.md:419\leq is set in the prose, so the mathematics prints as its own source: Suppose q is contained in the radical of A. Then, by Nakayam…content/en-mt/ac/VIII/04_s4_series_de_hilbert_samuel.md:424\leq is set in the prose, so the mathematics prints as its own source: a) One has d_x(M) \leq r.content/en-mt/ac/VIII/04_s4_series_de_hilbert_samuel.md:425\leq is set in the prose, so the mathematics prints as its own source: b) If d_x(M) = r, then e_x(M) \leq \operatorname{long}_A(M/x…content/en-mt/ac/VIII/04_s4_series_de_hilbert_samuel.md:426\operatorname is set in the prose, so the mathematics prints as its own source: c) If the sequence (x_1, ..., x_r) is completely secant for …content/en-mt/ac/VIII/04_s4_series_de_hilbert_samuel.md:428\bigoplus is set in the prose, so the mathematics prints as its own source: Let H be the polynomial ring (A/x)[X_1, ..., X_r]. Let us en…content/en-mt/ac/VIII/04_s4_series_de_hilbert_samuel.md:430\leq is set in the prose, so the mathematics prints as its own source: One therefore has either d_x(M) < r and c_G = 0, or d_x(M) =…content/en-mt/ac/VIII/04_s4_series_de_hilbert_samuel.md:434\to is set in the prose, so the mathematics prints as its own source: Let 0 \to M' \to M \to M'' \to 0 be an exact sequence of fin…
and 2653 more, which bourbaki audit -only M14 prints in full.
M15 one volume, one face for the display capitals (2455)
Soft, mathematics.
content/en-mt/ac/II/exercises/s5/25.md:22\mathfrak{C} here, and \mathscr{C} 116 times in content/en-mt/ac against 2 of this one, so one symbol prints two wayscontent/en-mt/ac/III/exercises/s2/20.md:26\mathfrak{D} here, and \mathscr{D} 31 times in content/en-mt/ac against 6 of this one, so one symbol prints two wayscontent/en-mt/ac/VIII/exercises/s2/17.md:23\mathfrak{D} here, and \mathscr{D} 31 times in content/en-mt/ac against 6 of this one, so one symbol prints two wayscontent/en-mt/ac/VIII/exercises/s6/07.md:53\mathfrak{M} here, and \mathscr{M} 59 times in content/en-mt/ac against 2 of this one, so one symbol prints two wayscontent/en-mt/alg/I/exercises/s6/21.md:27\mathfrak{S} here, and \mathscr{S} 26 times in content/en-mt/alg against 24 of this one, so one symbol prints two wayscontent/en-mt/alg/I/exercises/s6/36.md:29\mathfrak{S} here, and \mathscr{S} 26 times in content/en-mt/alg against 24 of this one, so one symbol prints two wayscontent/en-mt/alg/I/exercises/s6/38.md:28\mathfrak{S} here, and \mathscr{S} 26 times in content/en-mt/alg against 24 of this one, so one symbol prints two wayscontent/en-mt/alg/I/exercises/s6/39.md:23\mathfrak{S} here, and \mathscr{S} 26 times in content/en-mt/alg against 24 of this one, so one symbol prints two wayscontent/en-mt/alg/I/exercises/s7/11.md:23\mathfrak{S} here, and \mathscr{S} 26 times in content/en-mt/alg against 24 of this one, so one symbol prints two wayscontent/en-mt/alg/I/exercises/s7/33.md:29\mathfrak{S} here, and \mathscr{S} 26 times in content/en-mt/alg against 24 of this one, so one symbol prints two wayscontent/en-mt/alg/I/exercises/s7/37.md:23\mathfrak{S} here, and \mathscr{S} 26 times in content/en-mt/alg against 24 of this one, so one symbol prints two wayscontent/en-mt/alg/IX/01_s1_formes_sesquilineaires.md:961\mathfrak{F} here, and \mathscr{F} 50 times in content/en-mt/alg against 16 of this one, so one symbol prints two wayscontent/en-mt/alg/IX/02_s2_discriminant_d_une_forme_sesquilineaire.md:30\mathfrak{F} here, and \mathscr{F} 50 times in content/en-mt/alg against 16 of this one, so one symbol prints two wayscontent/en-mt/alg/IX/02_s2_discriminant_d_une_forme_sesquilineaire.md:52\mathfrak{S} here, and \mathscr{S} 26 times in content/en-mt/alg against 24 of this one, so one symbol prints two wayscontent/en-mt/alg/IX/03_s3_formes_hermitiennes_et_formes.md:313\mathscr{A} here, and \mathfrak{A} 65 times in content/en-mt/alg against 16 of this one, so one symbol prints two wayscontent/en-mt/alg/IX/04_s4_sous_espaces_totalement_isotropes.md:329\mathfrak{M} here, and \mathscr{M} 4 times in content/en-mt/alg against 3 of this one, so one symbol prints two wayscontent/en-mt/alg/IX/05_s5_proprietes_speciales_aux_formes.md:292\mathfrak{M} here, and \mathscr{M} 4 times in content/en-mt/alg against 3 of this one, so one symbol prints two wayscontent/en-mt/alg/IX/06_s6_proprietes_speciales_aux_formes.md:327\mathfrak{S} here, and \mathscr{S} 26 times in content/en-mt/alg against 24 of this one, so one symbol prints two wayscontent/en-mt/alg/IX/08_s8_types_de_formes_quadratiques.md:75\mathfrak{S} here, and \mathscr{S} 26 times in content/en-mt/alg against 24 of this one, so one symbol prints two wayscontent/en-mt/alg/IX/10_s10_angles.md:76\mathfrak{L} here, and \mathscr{L} 33 times in content/en-mt/alg against 2 of this one, so one symbol prints two wayscontent/en-mt/alg/X/01_s1_complements_d_algebre_lineaire.md:1071\mathscr{J} here, and \mathfrak{J} 12 times in content/en-mt/alg against 7 of this one, so one symbol prints two wayscontent/en-mt/alg/X/04_s4_produits_de_torsion.md:1153\mathscr{U} here, and \mathfrak{U} 19 times in content/en-mt/alg against 11 of this one, so one symbol prints two wayscontent/en-mt/alg/X/exercises/s1/17.md:67\mathfrak{F} here, and \mathscr{F} 50 times in content/en-mt/alg against 16 of this one, so one symbol prints two wayscontent/en-mt/alg/X/exercises/s1/17.md:95\mathscr{U} here, and \mathfrak{U} 19 times in content/en-mt/alg against 11 of this one, so one symbol prints two wayscontent/en-mt/alg/X/exercises/s1/17.md:97\mathscr{J} here, and \mathfrak{J} 12 times in content/en-mt/alg against 7 of this one, so one symbol prints two ways
and 2430 more, which bourbaki audit -only M15 prints in full.
M16 no ring is named A and Lambda in the same file (1)
Soft, mathematics.
content/vi/lie/VII/exercises/s1/08.md:34\Lambda$ là một vành here, and this file names its ring A elsewhere: one ring, two letters, and the printing sets only one of them
P04 every math span parses under KaTeX (4)
Soft, publication.
content/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:362KaTeX will not set it: \tag works only in display equations: [[\xi, \eta], \zeta] = [\xi, [\eta, \zeta]] - [\et…content/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:423KaTeX will not set it: Expected 'EOF', got '#' at position 3: #̲## 8.6. Lifting…: ### 8.6. Liftings Letcontent/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:511KaTeX will not set it: Expected 'EOF', got '#' at position 3: #̲## 8.7. Weakeni…: ### 8.7. Weakening of structure In this no., we su…content/en-mt/var/2/08_s8_le_calcul_differentiel_d_ordre_1.md:521KaTeX will not set it: Expected 'EOF', got '#' at position 250: …of this kind. #̲## 8.8. Almost …: . The various operations on these forms described …
R01 every in-corpus reference resolves (3121)
Hard, references.
content/en/ac/I/00_frontmatter.md:26"§ 1, no. 2" does not resolve: chapter of alg has no § 1content/en/ac/I/02_s2_flat_modules.md:221"§ 1, no. 11, Proposition 20" does not resolve: ac-i-s1 has no Proposition 20content/en/ac/I/02_s2_flat_modules.md:303"§ 6, no. 2, Proposition 3" does not resolve: chapter I of ac has no § 6content/en/ac/I/02_s2_flat_modules.md:309"§ 5, no. 1, Proposition 6" does not resolve: chapter I of ac has no § 5content/en/ac/I/02_s2_flat_modules.md:325"no. 3, Remark 1" does not resolve: ac-i-s2 has 2 statements called Remark 1 and 0 of them in no. 3content/en/ac/I/02_s2_flat_modules.md:386"no. 3, Remark 1" does not resolve: ac-i-s2 has 2 statements called Remark 1 and 0 of them in no. 3content/en/ac/I/02_s2_flat_modules.md:428"Algebra, Chapter I, § 6, no. 13, Theorem 6" does not resolve: alg-i-s6 has no Theorem 6content/en/ac/I/02_s2_flat_modules.md:572"*Algebra*, Chapter II, §2, no. 2, Corollary to Proposition 4" does not resolve: alg-ii-s2 prints 2 numbered corollaries of Proposition 4 and the reference does not say whichcontent/en/ac/I/02_s2_flat_modules.md:594"§ 1, no. 4, Proposition 4" does not resolve: ac-i-s1 has no Proposition 4content/en/ac/I/03_s3_faithfully_flat_modules.md:216"§ 5, no. 2, Corollary to Proposition 5" does not resolve: chapter I of ac has no § 5content/en/ac/I/03_s3_faithfully_flat_modules.md:259"no. 5, Corollary 4" does not resolve: ac-i-s3 has no Corollary 4content/en/ac/I/03_s3_faithfully_flat_modules.md:287"Remark 2" does not resolve: ac-i-s3 has no Remark 2content/en/ac/I/exercises/s2/18.md:17"Algebra, Chapter VIII, § 6, Exercise 15" does not resolve: alg-viii-s6 has 8 exercises and none numbered 15content/en/ac/I/exercises/s2/18.md:17"§ 4, Exercise 17" does not resolve: ac-i-s4 has 1 exercises and none numbered 17content/en/ac/I/exercises/s2/20.md:16"*Algebra*, Chapter VIII, § 6, Exercise 15" does not resolve: alg-viii-s6 has 8 exercises and none numbered 15content/en/ac/I/exercises/s2/23.md:36"Algebra, Chapter VIII, § 6, no. 3, Corollary 4 to Proposition 6" does not resolve: alg-viii-s6 has no corollary 4 of Proposition 6content/en/ac/I/exercises/s3/03.md:14"Exercise 12" does not resolve: ac-i-s3 has 10 exercises and none numbered 12content/en/ac/I/exercises/s3/10.md:16"Algebra, Chapter VIII, § 3, Exercise 11" does not resolve: alg-viii-s3 has 10 exercises and none numbered 11content/en/ac/II/02_s2_rings_and_modules_of_fractions.md:137"Remark 3" does not resolve: ac-ii-s2 has no Remark 3content/en/ac/II/02_s2_rings_and_modules_of_fractions.md:173"Remark 6" does not resolve: ac-ii-s2 has no Remark 6content/en/ac/II/02_s2_rings_and_modules_of_fractions.md:201"Remark 7" does not resolve: ac-ii-s2 has no Remark 7content/en/ac/II/02_s2_rings_and_modules_of_fractions.md:235"no. 1, Remark 2" does not resolve: ac-ii-s2 has no Remark 2content/en/ac/II/02_s2_rings_and_modules_of_fractions.md:262"no. 1, Remark 2" does not resolve: ac-ii-s2 has no Remark 2content/en/ac/II/02_s2_rings_and_modules_of_fractions.md:286"*Algebra*, Chapter VIII, § 6, no. 3, Theorem 1" does not resolve: alg-viii-s6 has no Theorem 1content/en/ac/II/02_s2_rings_and_modules_of_fractions.md:288"*Algebra*, Chapter VIII, § 6, no. 3, Corollary to Proposition 6" does not resolve: alg-viii-s6 has no corollary 1 of Proposition 6
and 3096 more, which bourbaki audit -only R01 prints in full.
R02 a reference that leaves the corpus names a Book of the Éléments (476)
Hard, references.
content/en/ac/I/exercises/s3/10.md:16"Chapter IX, § 2, Exercise 4" leaves the corpus and names no Bookcontent/en/ac/II/exercises/s2/24.md:16"Chapter VIII, § 5, Exercise 9" leaves the corpus and names no Bookcontent/en/ac/II/exercises/s2/24.md:18"Chapter VIII, § 6" leaves the corpus and names no Bookcontent/en/ac/VI/08_s8_extensions_of_a_valuation_to_an.md:186"Chapter VIII, § 8, Proposition 1" leaves the corpus and names no Bookcontent/en/evt/I/01_s1_topological_vector_spaces.md:66"X, p. 4" leaves the corpus and names no Bookcontent/en/evt/I/01_s1_topological_vector_spaces.md:67"X, § 1" leaves the corpus and names no Bookcontent/en/evt/I/01_s1_topological_vector_spaces.md:116"IX, § 3" leaves the corpus and names no Bookcontent/en/evt/I/01_s1_topological_vector_spaces.md:118"IX, § 3" leaves the corpus and names no Bookcontent/en/evt/I/01_s1_topological_vector_spaces.md:120"IX, § 3" leaves the corpus and names no Bookcontent/en/evt/I/01_s1_topological_vector_spaces.md:124"X, § 3" leaves the corpus and names no Bookcontent/en/evt/I/01_s1_topological_vector_spaces.md:124"X, § 3" leaves the corpus and names no Bookcontent/en/evt/I/01_s1_topological_vector_spaces.md:124"X, § 3" leaves the corpus and names no Bookcontent/en/evt/I/01_s1_topological_vector_spaces.md:144"X, § 2" leaves the corpus and names no Bookcontent/en/evt/I/01_s1_topological_vector_spaces.md:162"X, § 3" leaves the corpus and names no Bookcontent/en/evt/I/01_s1_topological_vector_spaces.md:176"IX, § 3" leaves the corpus and names no Bookcontent/en/evt/I/01_s1_topological_vector_spaces.md:283"X, § 2" leaves the corpus and names no Bookcontent/en/evt/I/02_s2_linear_varieties_in_a_topological.md:63"X, § 4" leaves the corpus and names no Bookcontent/en/evt/I/02_s2_linear_varieties_in_a_topological.md:63"X, § 4" leaves the corpus and names no Bookcontent/en/evt/I/02_s2_linear_varieties_in_a_topological.md:65"IX, § 5" leaves the corpus and names no Bookcontent/en/evt/I/02_s2_linear_varieties_in_a_topological.md:89"X, § 4" leaves the corpus and names no Bookcontent/en/evt/I/03_s3_metrisable_topological_vector_spaces.md:35"IX, § 3" leaves the corpus and names no Bookcontent/en/evt/I/03_s3_metrisable_topological_vector_spaces.md:37"IX, § 3" leaves the corpus and names no Bookcontent/en/evt/I/03_s3_metrisable_topological_vector_spaces.md:39"IX, § 3" leaves the corpus and names no Bookcontent/en/evt/I/03_s3_metrisable_topological_vector_spaces.md:49"IX, § 3" leaves the corpus and names no Bookcontent/en/evt/I/03_s3_metrisable_topological_vector_spaces.md:49"IX, § 2" leaves the corpus and names no Book
and 451 more, which bourbaki audit -only R02 prints in full.
X05 a solution writes its mathematics in TeX (1)
Soft, solutions.
content/solutions/en/ens/III/s1/04.md:2675 characters of mathematics stand outside any math span, as ικ∈≠≤≰, so the solution was written in symbols rather than in TeX
X06 no solution was written on the free gateway (37)
Soft, solutions.
content/solutions/en/ens/I/a0/01.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/I/s1/01.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/I/s1/02.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/I/s1/03.md:1was written by laguna-s-2.1-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/I/s1/04.md:1was written by laguna-s-2.1-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/I/s1/05.md:1was written by hy3-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/I/s1/06.md:1was written by laguna-s-2.1-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/I/s2/01.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/I/s4/01.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/I/s5/01.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/I/s5/02.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/II/s1/01.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/II/s1/02.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/II/s1/03.md:1was written by laguna-s-2.1-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/II/s1/04.md:1was written by hy3-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/II/s1/05.md:1was written by laguna-s-2.1-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/II/s1/06.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/II/s2/01.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/II/s4/01.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/II/s5/01.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/II/s5/02.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/II/s5/03.md:1was written by laguna-s-2.1-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/III/s1/01.md:1was written by nemotron-3-ultra-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/III/s1/02.md:1was written by laguna-s-2.1-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for againcontent/solutions/en/ens/III/s1/04.md:1was written by nemotron-3.5-lightning-free, which is a free gateway model, and a solution has no printed page behind it, so it is worth asking for again
and 12 more, which bourbaki audit -only X06 prints in full.
S08 content_sha256 describes the body under it (63)
Hard, structure.
content/en-mt/ta/III/02_s2_homotopie_et_chemins.md:1content_sha256 is cab9fc5ba5b9 and the body hashes to 7846913f1248content/vi/ac/II/03_s3_local_rings_passage_from_the_local_to.md:1content_sha256 is 4096626b1735 and the body hashes to 040f77cb27fbcontent/vi/ac/II/05_s5_finitely_generated_projective_modules.md:1content_sha256 is db3fd788cf48 and the body hashes to 283dc303e51ccontent/vi/ac/III/02_s2_general_results_on_filtered_rings_and.md:1content_sha256 is 8fe8db8458fe and the body hashes to 1e58d6afab41content/vi/ac/III/03_s3_m_adic_topologies_on_noetherian_rings.md:1content_sha256 is 1de39e55c743 and the body hashes to b889c65ece0dcontent/vi/ac/V/01_s1_notion_of_an_integral_element.md:1content_sha256 is 498eb7899fcc and the body hashes to d0f240305d8bcontent/vi/ac/V/02_s2_the_lift_of_prime_ideals.md:1content_sha256 is 646de1a77604 and the body hashes to 2803474d9222content/vi/ac/VI/01_s1_valuation_rings.md:1content_sha256 is fc1eb0edf2f3 and the body hashes to 01b61697f122content/vi/ac/VI/02_s2_places.md:1content_sha256 is 5c39b84d2cb6 and the body hashes to 2969eaed449dcontent/vi/ac/VI/07_s7_approximation_theorem.md:1content_sha256 is 21f2b322a8da and the body hashes to bd86931b850econtent/vi/ac/VII/01_s1_krull_domains.md:1content_sha256 is beefcc0a3a38 and the body hashes to b715fc3f57b3content/vi/ac/VII/03_s3_factorial_domains.md:1content_sha256 is 69d3adf5a512 and the body hashes to ba0f0f16f62ccontent/vi/ac/VII/04_s4_modules_over_integrally_closed.md:1content_sha256 is 3e3bb9ce163e and the body hashes to 1d9ac6713572content/vi/ac/VII/historical_note.md:1content_sha256 is 6706e8e4b6b0 and the body hashes to 8f355294cdc0content/vi/ac/index_of_notation_i_vii.md:1content_sha256 is 632a75df82eb and the body hashes to d0c581b7b266content/vi/alg/IV/01_s1_polynomials.md:1content_sha256 is 655693e7a040 and the body hashes to 882c76347541content/vi/alg/IV/02_s2_zeros_of_polynomials.md:1content_sha256 is cf1e01c50e75 and the body hashes to f6dc5c6bdbe5content/vi/alg/IV/04_s4_formal_power_series.md:1content_sha256 is da77df191971 and the body hashes to 52822393c83econtent/vi/alg/IV/05_s5_symmetric_tensors_and_polynomial.md:1content_sha256 is c72fa4d4dde2 and the body hashes to 56c971d0d23bcontent/vi/alg/IV/06_s6_symmetric_functions.md:1content_sha256 is 05e567f5edd1 and the body hashes to 9e6399606884content/vi/alg/V/02_s2_extensions.md:1content_sha256 is 7f1b5df7bbbb and the body hashes to f4a76efc60eccontent/vi/alg/V/03_s3_algebraic_extensions.md:1content_sha256 is 3ff672dfe302 and the body hashes to 17a2de614e1econtent/vi/alg/V/04_s4_algebraically_closed_extensions.md:1content_sha256 is 9d7a6583d9c0 and the body hashes to d01ffd68daeacontent/vi/alg/V/05_s5_p_radical_extensions.md:1content_sha256 is 2e4cb3e272d8 and the body hashes to c9f81d76ef04content/vi/alg/V/06_s6_etale_algebras.md:1content_sha256 is daef444b09f8 and the body hashes to 9a8ab975c22f
and 38 more, which bourbaki audit -only S08 prints in full.
S11 the printings of a § hold the same exercises (66)
Hard, structure.
content/en/ac/II/exercises/s3exercise 15 is in fr and not here, and editions.yaml does not say the printings differcontent/en/ac/II/exercises/s3exercise 16 is in fr and not here, and editions.yaml does not say the printings differcontent/en/ac/VI/exercises/s8exercise 22 is in fr and not here, and editions.yaml does not say the printings differcontent/en/alg/III/exercises/s11exercise 26 is in fr and not here, and editions.yaml does not say the printings differcontent/en/alg/III/exercises/s11exercise 27 is in fr and not here, and editions.yaml does not say the printings differcontent/en/alg/V/exercises/s3exercise 14 is in fr and not here, and editions.yaml does not say the printings differcontent/en/alg/V/exercises/s3exercise 15 is in fr and not here, and editions.yaml does not say the printings differcontent/en/ens/II/exercises/s5exercise 4 is in fr and not here, and editions.yaml does not say the printings differcontent/en/ens/II/exercises/s5exercise 5 is in fr and not here, and editions.yaml does not say the printings differcontent/en/ens/III/exercises/s6exercise 33 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/I/exercises/s1exercise 10 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/I/exercises/s10exercise 22 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/I/exercises/s10exercise 23 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/I/exercises/s10exercise 24 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/I/exercises/s10exercise 25 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/I/exercises/s11exercise 26 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/I/exercises/s11exercise 27 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/I/exercises/s11exercise 28 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/I/exercises/s11exercise 29 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/I/exercises/s2exercise 12 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/I/exercises/s9exercise 30 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/I/exercises/s9exercise 31 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/II/exercises/s4exercise 24 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/II/exercises/s4exercise 25 is in fr and not here, and editions.yaml does not say the printings differcontent/en/top/II/exercises/s4exercise 26 is in fr and not here, and editions.yaml does not say the printings differ
and 41 more, which bourbaki audit -only S11 prints in full.
S14 every committed page passes the rules that gated its reading (685)
Soft, structure.
pages/ac-i-iv-fr/0008.md:1the reading would be refused today: head: the first line reads as prose, not a running head: "tique des corps de nombres algébriques, où les anneaux locau…" (line 1)pages/ac-i-iv-fr/0019.md:1the reading would be refused today: math: \circ is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0024.md:1the reading would be refused today: math: \otimes is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0027.md:1the reading would be refused today: head: the first line reads as prose, not a running head: "isomorphe à un facteur direct de $A_d$ (*ibid.*, , no 1, pro…" (line 1)pages/ac-i-iv-fr/0038.md:1the reading would be refused today: math: \in is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0079.md:1the reading would be refused today: math: \in is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0080.md:1the reading would be refused today: math: \in is set in the prose with no math span around it, so the mathematics was read as text (line 7)pages/ac-i-iv-fr/0096.md:1the reading would be refused today: math: \otimes is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0104.md:1the reading would be refused today: math: \in is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0105.md:1the reading would be refused today: math: \otimes is set in the prose with no math span around it, so the mathematics was read as text (line 9)pages/ac-i-iv-fr/0116.md:1the reading would be refused today: math: \leq is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0118.md:1the reading would be refused today: math: \leq is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0125.md:1the reading would be refused today: math: \mathfrak is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0141.md:1the reading would be refused today: math: \otimes is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0153.md:1the reading would be refused today: math: \mathbf is set in the prose with no math span around it, so the mathematics was read as text (line 7)pages/ac-i-iv-fr/0157.md:1the reading would be refused today: math: \geqslant is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0158.md:1the reading would be refused today: math: \overline is set in the prose with no math span around it, so the mathematics was read as text (line 39)pages/ac-i-iv-fr/0177.md:1the reading would be refused today: math: \bar is set in the prose with no math span around it, so the mathematics was read as text (line 5)pages/ac-i-iv-fr/0194.md:1the reading would be refused today: math: \overline is set in the prose with no math span around it, so the mathematics was read as text (line 9)pages/ac-i-iv-fr/0197.md:1the reading would be refused today: math: \mathbf is set in the prose with no math span around it, so the mathematics was read as text (line 13)pages/ac-i-iv-fr/0204.md:1the reading would be refused today: math: \bigoplus is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0215.md:1the reading would be refused today: math: \in is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0237.md:1the reading would be refused today: math: \geqslant is set in the prose with no math span around it, so the mathematics was read as text (line 17)pages/ac-i-iv-fr/0268.md:1the reading would be refused today: math: \in is set in the prose with no math span around it, so the mathematics was read as text (line 3)pages/ac-i-iv-fr/0273.md:1the reading would be refused today: math: \mathfrak is set in the prose with no math span around it, so the mathematics was read as text (line 5)
and 660 more, which bourbaki audit -only S14 prints in full.
S15 no note is left at the foot of a page with nothing pointing at it (67)
Soft, structure.
pages/ac-viii-ix-fr/0014.md:25note 1 is at the foot of the page and nothing on the page points at it: 1 Si A est un corps, la dimension de Krull de M est $\leq 0$. Il y aur…pages/ac-viii-ix-fr/0033.md:43note 1 is at the foot of the page and nothing on the page points at it: 1 Rappelons que $V(x)$ se compose des idéaux premiers de A contenant x…pages/ac-viii-ix-fr/0078.md:32note 1 is at the foot of the page and nothing on the page points at it: 1 Ce lemme reste valable lorsque l’anneau A n’est pas noethérien.pages/ac-viii-ix-fr/0087.md:30note 1 is at the foot of the page and nothing on the page points at it: 1 Cet exemple est dû à M. Nagata, Local Rings, Interscience Publishers…pages/ac-viii-ix-fr/0097.md:28note 1 is at the foot of the page and nothing on the page points at it: 1 Pour des généralisations et des compléments sur cet exercice, on pou…pages/ac-x-fr/0180.md:23note 1 is at the foot of the page and nothing on the page points at it: 1 On ignore si tout anneau local noethérien satisfait (CM).pages/alg-i-iii-fr/0034.md:26note 1 is at the foot of the page and nothing on the page points at it: 1 Ou parfois la loi de composition externe sur E ayant $\Omega$ comme …pages/alg-i-iii-fr/0146.md:48note 1 is at the foot of the page and nothing on the page points at it: 1 Ici encore, on peut démontrer que deux telles sections sont conjugué…pages/alg-iv-vii-fr/0175.md:23note 1 is at the foot of the page and nothing on the page points at it: 1 Le lecteur vérifiera aisément que le théorème de la base normale n’e…pages/alg-iv-vii-fr/0297.md:15note 1 is at the foot of the page and nothing on the page points at it: 1 Lorsque $A$ est l’anneau des entiers (resp. l’anneau des polynômes à…pages/alg-iv-vii-fr/0385.md:33note 1 is at the foot of the page and nothing on the page points at it: 1 On a démontré que lorsque $x$ tend vers $+ \infty$, on a $\pi(x) \si…pages/alg-iv-vii/0207.md:29note 1 is at the foot of the page and nothing on the page points at it: 1 In agreement with the conventions of this chapter we shall only be c…pages/alg-iv-vii/0253.md:32note 1 is at the foot of the page and nothing on the page points at it: 1 This hypothesis is sometimes expressed by saying that $L$ is a prima…pages/alg-iv-vii/0315.md:25note 1 is at the foot of the page and nothing on the page points at it: 1 The terminology used in *loc. cit.* is *directed*.pages/alg-iv-vii/0320.md:29note 1 is at the foot of the page and nothing on the page points at it: 1 When A is the ring of integers (resp. the polynomial ring in one ind…pages/alg-iv-vii/0411.md:25note 1 is at the foot of the page and nothing on the page points at it: 1 It has been shown that $\pi(x) \sim \frac{x}{\log x}$ as x tends to …pages/ens-i-iv-fr/0204.md:27note 1 is at the foot of the page and nothing on the page points at it: 1 Nous utilisons la notion d’« entier » de la même façon qu’au chap. I…pages/ens-i-iv-fr/0244.md:11note 1 is at the foot of the page and nothing on the page points at it: 1 Il faut noter que des énoncés équivalents à ces règles se trouvent d…pages/ens-i-iv-fr/0244.md:12note 2 is at the foot of the page and nothing on the page points at it: 2 Toutefois, la notion de produit « cartésien » de deux ensembles quel…pages/ens-i-iv-fr/0244.md:13note 3 is at the foot of the page and nothing on the page points at it: 3 Pour chaque relation obtenue à partir d’une ou de plusieurs relation…pages/ens-i-iv-fr/0256.md:7note 1 is at the foot of the page and nothing on the page points at it: 1 Suivant une anecdote célèbre, Hilbert exprimait volontiers cette idé…pages/ens-i-iv-fr/0335.md:21note 1 is at the foot of the page and nothing on the page points at it: 1 Dans la Théorie des ensembles formalisée (cf. E.III, p. 23) on défin…pages/evt-i-v-fr/0033.md:25note 1 is at the foot of the page and nothing on the page points at it: 1 Pour les exercices 12 et 13, voir O. Goldman and N. Iwahori, The spa…pages/evt-i-v/0035.md:27note 1 is at the foot of the page and nothing on the page points at it: 1 For the exercises 12 and 13, see O. Goldman and N. Iwahori, The spac…pages/evt-i-v/0268.md:22note 1 is at the foot of the page and nothing on the page points at it: 1 We recall (GT, VIII, § 1, No. 1) that $\Re(z)$ denotes the real part…
and 42 more, which bourbaki audit -only S15 prints in full.
S17 no exercise file is many times the median length of its § (82)
Soft, structure.
content/en-mt/ac/IX/exercises/a0/06.md:1the file is 7463 characters and the median of the § is 376, which is what an exercise holding the run that follows it looks likecontent/en-mt/ac/VIII/exercises/s6/10.md:1the file is 5342 characters and the median of the § is 819, which is what an exercise holding the run that follows it looks likecontent/en-mt/alg/X/exercises/s1/17.md:1the file is 14587 characters and the median of the § is 468, which is what an exercise holding the run that follows it looks likecontent/en-mt/alg/X/exercises/s2/18.md:1the file is 7637 characters and the median of the § is 899, which is what an exercise holding the run that follows it looks likecontent/en-mt/alg/X/exercises/s6/18.md:1the file is 23301 characters and the median of the § is 933, which is what an exercise holding the run that follows it looks likecontent/en-mt/alg/X/exercises/s8/22.md:1the file is 7024 characters and the median of the § is 555, which is what an exercise holding the run that follows it looks likecontent/en-mt/alg/X/exercises/s9/10.md:1the file is 21277 characters and the median of the § is 504, which is what an exercise holding the run that follows it looks likecontent/en-mt/int/II/exercises/s1/13.md:1the file is 5379 characters and the median of the § is 620, which is what an exercise holding the run that follows it looks likecontent/en-mt/top/X/exercises/s3/16.md:1the file is 18320 characters and the median of the § is 1048, which is what an exercise holding the run that follows it looks likecontent/en-mt/ts/III/exercises/s1/25.md:1the file is 5871 characters and the median of the § is 734, which is what an exercise holding the run that follows it looks likecontent/en/ac/II/exercises/s2/19.md:1the file is 6531 characters and the median of the § is 766, which is what an exercise holding the run that follows it looks likecontent/en/ac/II/exercises/s2/22.md:1the file is 4976 characters and the median of the § is 766, which is what an exercise holding the run that follows it looks likecontent/en/ac/IV/exercises/s1/17.md:1the file is 4242 characters and the median of the § is 470, which is what an exercise holding the run that follows it looks likecontent/en/alg/IV/exercises/s6/15.md:1the file is 4823 characters and the median of the § is 499, which is what an exercise holding the run that follows it looks likecontent/en/alg/VIII/exercises/s13/10.md:1the file is 4210 characters and the median of the § is 462, which is what an exercise holding the run that follows it looks likecontent/en/fvr/II/exercises/s3/10.md:1the file is 4779 characters and the median of the § is 697, which is what an exercise holding the run that follows it looks likecontent/en/int/II/exercises/s1/13.md:1the file is 5441 characters and the median of the § is 590, which is what an exercise holding the run that follows it looks likecontent/en/int/VIII/exercises/s3/11.md:1the file is 4276 characters and the median of the § is 688, which is what an exercise holding the run that follows it looks likecontent/en/lie/I/exercises/s1/24.md:1the file is 6503 characters and the median of the § is 955, which is what an exercise holding the run that follows it looks likecontent/en/lie/I/exercises/s3/12.md:1the file is 7444 characters and the median of the § is 304, which is what an exercise holding the run that follows it looks likecontent/en/lie/IV/exercises/s1/16.md:1the file is 5644 characters and the median of the § is 839, which is what an exercise holding the run that follows it looks likecontent/en/lie/IV/exercises/s1/24.md:1the file is 5246 characters and the median of the § is 839, which is what an exercise holding the run that follows it looks likecontent/en/lie/VII/exercises/s3/11.md:1the file is 5425 characters and the median of the § is 774, which is what an exercise holding the run that follows it looks likecontent/en/lie/VIII/exercises/s7/18.md:1the file is 4926 characters and the median of the § is 812, which is what an exercise holding the run that follows it looks likecontent/en/lie/VIII/exercises/s7/26.md:1the file is 5554 characters and the median of the § is 812, which is what an exercise holding the run that follows it looks like
and 57 more, which bourbaki audit -only S17 prints in full.
T03 every statement in the corpus has exactly one tag (23930)
Hard, tags.
content/en/ac/I/01_s1_diagrams_and_exact_sequences.md:94has no tagcontent/en/ac/I/01_s1_diagrams_and_exact_sequences.md:160has no tagcontent/en/ac/I/01_s1_diagrams_and_exact_sequences.md:197has no tagcontent/en/ac/I/01_s1_diagrams_and_exact_sequences.md:249has no tagcontent/en/ac/I/01_s1_diagrams_and_exact_sequences.md:301has no tagcontent/en/ac/I/01_s1_diagrams_and_exact_sequences.md:305has no tagcontent/en/ac/I/01_s1_diagrams_and_exact_sequences.md:316has no tagcontent/en/ac/I/02_s2_flat_modules.md:73has no tagcontent/en/ac/I/02_s2_flat_modules.md:103has no tagcontent/en/ac/I/02_s2_flat_modules.md:109has no tagcontent/en/ac/I/02_s2_flat_modules.md:115has no tagcontent/en/ac/I/02_s2_flat_modules.md:133has no tagcontent/en/ac/I/02_s2_flat_modules.md:169has no tagcontent/en/ac/I/02_s2_flat_modules.md:201has no tagcontent/en/ac/I/02_s2_flat_modules.md:233has no tagcontent/en/ac/I/02_s2_flat_modules.md:257has no tagcontent/en/ac/I/02_s2_flat_modules.md:281has no tagcontent/en/ac/I/02_s2_flat_modules.md:313has no tagcontent/en/ac/I/02_s2_flat_modules.md:327has no tagcontent/en/ac/I/02_s2_flat_modules.md:333has no tagcontent/en/ac/I/02_s2_flat_modules.md:388has no tagcontent/en/ac/I/02_s2_flat_modules.md:414has no tagcontent/en/ac/I/02_s2_flat_modules.md:440has no tagcontent/en/ac/I/02_s2_flat_modules.md:448has no tagcontent/en/ac/I/02_s2_flat_modules.md:455has no tag
and 23905 more, which bourbaki audit -only T03 prints in full.
T07 a translation reuses the English tag and never gets its own (33)
Hard, tags.
content/vi/ac/VII/exercises/s2/23.mdtranslates ac-vii-s2-ex-23, which no printing in the corpus hascontent/vi/ac/VII/exercises/s2/24.mdtranslates ac-vii-s2-ex-24, which no printing in the corpus hascontent/vi/ac/VII/exercises/s2/25.mdtranslates ac-vii-s2-ex-25, which no printing in the corpus hascontent/vi/ac/VII/exercises/s2/26.mdtranslates ac-vii-s2-ex-26, which no printing in the corpus hascontent/vi/ac/VII/exercises/s2/27.mdtranslates ac-vii-s2-ex-27, which no printing in the corpus hascontent/vi/evt/V/exercises/s3/03.mdtranslates evt-v-s3-ex-3, which no printing in the corpus hascontent/vi/evt/V/exercises/s3/04.mdtranslates evt-v-s3-ex-4, which no printing in the corpus hascontent/vi/evt/V/exercises/s3/05.mdtranslates evt-v-s3-ex-5, which no printing in the corpus hascontent/vi/evt/V/exercises/s3/06.mdtranslates evt-v-s3-ex-6, which no printing in the corpus hascontent/vi/evt/V/exercises/s3/07.mdtranslates evt-v-s3-ex-7, which no printing in the corpus hascontent/vi/evt/V/exercises/s3/08.mdtranslates evt-v-s3-ex-8, which no printing in the corpus hascontent/vi/evt/V/exercises/s3/09.mdtranslates evt-v-s3-ex-9, which no printing in the corpus hascontent/vi/evt/V/exercises/s3/10.mdtranslates evt-v-s3-ex-10, which no printing in the corpus hascontent/vi/evt/V/exercises/s3/11.mdtranslates evt-v-s3-ex-11, which no printing in the corpus hascontent/vi/evt/V/exercises/s3/12.mdtranslates evt-v-s3-ex-12, which no printing in the corpus hascontent/vi/evt/V/exercises/s3/13.mdtranslates evt-v-s3-ex-13, which no printing in the corpus hascontent/vi/evt/V/exercises/s3/14.mdtranslates evt-v-s3-ex-14, which no printing in the corpus hascontent/vi/evt/V/exercises/s3/15.mdtranslates evt-v-s3-ex-15, which no printing in the corpus hascontent/vi/int/VIII/exercises/s3/14.mdtranslates int-viii-s3-ex-14, which no printing in the corpus hascontent/vi/int/VIII/exercises/s3/15.mdtranslates int-viii-s3-ex-15, which no printing in the corpus hascontent/vi/int/VIII/exercises/s3/16.mdtranslates int-viii-s3-ex-16, which no printing in the corpus hascontent/vi/int/VIII/exercises/s3/17.mdtranslates int-viii-s3-ex-17, which no printing in the corpus hascontent/vi/int/VIII/exercises/s3/18.mdtranslates int-viii-s3-ex-18, which no printing in the corpus hascontent/vi/int/VIII/exercises/s3/19.mdtranslates int-viii-s3-ex-19, which no printing in the corpus hascontent/vi/int/VIII/exercises/s3/20.mdtranslates int-viii-s3-ex-20, which no printing in the corpus has
and 8 more, which bourbaki audit -only T07 prints in full.
T10 the tags of a file climb, as they did on the run that assigned them (9)
Soft, tags.
content/en/ens/II/03_s3_correspondences.md:126has 03PH after 03PI, which the same run assigned latercontent/en/ens/II/06_s6_equivalence_relations.md:114has 03TP after 03TS, which the same run assigned latercontent/en/lie/IX/04_s4_root_system_associated_to_a_compact.md:423has 01C5 after 01C7, which the same run assigned latercontent/fr/ens/II/02_s2_couples.md:60has 03PC after 03PE, which the same run assigned latercontent/fr/ens/II/03_s3_correspondances.md:113has 03PH after 03PI, which the same run assigned latercontent/fr/lie/IX/04_s4_systeme_de_racines_associe_a_un_groupe.md:376has 01C5 after 01C7, which the same run assigned latercontent/vi/ens/II/03_s3_correspondences.md:133has 03PH after 03PI, which the same run assigned latercontent/vi/ens/II/06_s6_equivalence_relations.md:121has 03TP after 03TS, which the same run assigned latercontent/vi/lie/IX/04_s4_root_system_associated_to_a_compact.md:428has 01C5 after 01C7, which the same run assigned later
L01 the math spans are the English ones, in order (1489)
Hard, translation.
content/en-mt/ac/II/exercises/s5/10.md:32math span 32 is "T^p" and the English has "\\lambda^p(x)"content/en-mt/ac/II/exercises/s5/15.md:1has 8 math spans and the English has 3content/en-mt/ac/II/exercises/s5/17.md:1has 9 math spans and the English has 7content/en-mt/ac/II/exercises/s5/18.md:1has 10 math spans and the English has 5content/en-mt/ac/II/exercises/s5/19.md:1has 17 math spans and the English has 6content/en-mt/ac/II/exercises/s5/22.md:1has 6 math spans and the English has 0content/en-mt/ac/II/exercises/s5/24.md:1has 17 math spans and the English has 9content/en-mt/ac/II/exercises/s5/25.md:1has 14 math spans and the English has 11content/en-mt/ac/III/exercises/s2/22.md:1has 26 math spans and the English has 20content/en-mt/ac/III/exercises/s2/28.md:30math span 33 is "...otimes_A F)^\\sim" and the English has "...otimes_A F)^{\\sim}"content/en-mt/ac/III/exercises/s2/29.md:1has 12 math spans and the English has 6content/en-mt/ac/III/exercises/s2/30.md:1has 6 math spans and the English has 4content/en-mt/ac/IV/exercises/s2/29.md:1has 27 math spans and the English has 4content/en-mt/ac/IV/exercises/s2/30.md:1has 23 math spans and the English has 18content/en-mt/ac/IV/exercises/s2/31.md:1has 84 math spans and the English has 85content/en-mt/ac/IX/01_s1_vecteurs_de_witt.md:1has 912 math spans and the English has 920content/en-mt/ac/IX/02_s2_anneaux_de_cohen.md:1has 873 math spans and the English has 860content/en-mt/ac/IX/03_s3_corps_de_representants.md:110math span 142 is "m_A/m_A^2" and the English has "K"content/en-mt/ac/IX/04_s4_fermeture_integrale_d_un_anneau_local.md:1has 229 math spans and the English has 215content/en-mt/ac/IX/A_a_.md:1has 352 math spans and the English has 351content/en-mt/ac/IX/exercises/a0/06.md:1has 8 math spans and the English has 4content/en-mt/ac/IX/exercises/s1/08.md:1has 9 math spans and the English has 6content/en-mt/ac/IX/exercises/s1/11.md:1has 26 math spans and the English has 25content/en-mt/ac/IX/exercises/s1/25.md:37math span 44 is "c" and the English has "(a, b)"content/en-mt/ac/IX/exercises/s1/34.md:41math span 27 is "n" and the English has "X_n"
and 1464 more, which bourbaki audit -only L01 prints in full.
L02 the tag set is the English one (33)
Hard, translation.
content/en-mt/int/VIII/exercises/s3/14.md:1translated_from is content/fr/int/VIII/exercises/s3/14.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/15.md:1translated_from is content/fr/int/VIII/exercises/s3/15.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/16.md:1translated_from is content/fr/int/VIII/exercises/s3/16.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/17.md:1translated_from is content/fr/int/VIII/exercises/s3/17.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/18.md:1translated_from is content/fr/int/VIII/exercises/s3/18.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/19.md:1translated_from is content/fr/int/VIII/exercises/s3/19.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/20.md:1translated_from is content/fr/int/VIII/exercises/s3/20.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/21.md:1translated_from is content/fr/int/VIII/exercises/s3/21.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/22.md:1translated_from is content/fr/int/VIII/exercises/s3/22.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/23.md:1translated_from is content/fr/int/VIII/exercises/s3/23.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/24.md:1translated_from is content/fr/int/VIII/exercises/s3/24.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/25.md:1translated_from is content/fr/int/VIII/exercises/s3/25.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/26.md:1translated_from is content/fr/int/VIII/exercises/s3/26.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/27.md:1translated_from is content/fr/int/VIII/exercises/s3/27.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/28.md:1translated_from is content/fr/int/VIII/exercises/s3/28.md and there is no such filecontent/vi/ac/VII/exercises/s2/23.md:1translated_from is content/en/ac/VII/exercises/s2/23.md and there is no such filecontent/vi/ac/VII/exercises/s2/24.md:1translated_from is content/en/ac/VII/exercises/s2/24.md and there is no such filecontent/vi/ac/VII/exercises/s2/25.md:1translated_from is content/en/ac/VII/exercises/s2/25.md and there is no such filecontent/vi/ac/VII/exercises/s2/26.md:1translated_from is content/en/ac/VII/exercises/s2/26.md and there is no such filecontent/vi/ac/VII/exercises/s2/27.md:1translated_from is content/en/ac/VII/exercises/s2/27.md and there is no such filecontent/vi/evt/V/exercises/s3/03.md:1translated_from is content/en/evt/V/exercises/s3/03.md and there is no such filecontent/vi/evt/V/exercises/s3/04.md:1translated_from is content/en/evt/V/exercises/s3/04.md and there is no such filecontent/vi/evt/V/exercises/s3/05.md:1translated_from is content/en/evt/V/exercises/s3/05.md and there is no such filecontent/vi/evt/V/exercises/s3/06.md:1translated_from is content/en/evt/V/exercises/s3/06.md and there is no such filecontent/vi/evt/V/exercises/s3/07.md:1translated_from is content/en/evt/V/exercises/s3/07.md and there is no such file
and 8 more, which bourbaki audit -only L02 prints in full.
L03 the heading tree is the English one (55)
Hard, translation.
content/en-mt/ac/IX/04_s4_fermeture_integrale_d_un_anneau_local.md:1the heading tree is 31 deep against the English 32, and heading 5 is "#### ac-ix-s4-n1-exa-1" against "#### ac-ix-s4-n1-rem-2"content/en-mt/ac/VIII/02_s2_dimension_des_algebres.md:1the heading tree is 38 deep against the English 39, and heading 18 is "#### ac-viii-s2-prop-3-cor-3" against "#### ac-viii-s2-n2-rem-2"content/en-mt/ac/VIII/03_s3_dimension_des_anneaux_noetheriens.md:1the heading tree is 44 deep against the English 46, and heading 11 is "#### ac-viii-s3-prop-3" against "#### ac-viii-s3-n2-rem-2"content/en-mt/ac/VIII/06_s6_dimension_des_anneaux_gradues.md:1the heading tree is 34 deep against the English 36, and heading 7 is "### " against "#### ac-viii-s6-n1-exa-2"content/en-mt/ac/VIII/07_s7_multiplicites.md:1the heading tree is 35 deep against the English 41, and heading 5 is "#### ac-viii-s7-prop-1" against "#### ac-viii-s7-n1-rem-2"content/en-mt/alg/IX/01_s1_formes_sesquilineaires.md:1the heading tree is 56 deep against the English 57, and the English has "#### alg-ix-s1-n10-rem-12" and this file endscontent/en-mt/alg/IX/03_s3_formes_hermitiennes_et_formes.md:1the heading tree is 12 deep against the English 14, and heading 5 is "### " against "#### alg-ix-s3-n1-rem-2"content/en-mt/alg/X/01_s1_complements_d_algebre_lineaire.md:1the heading tree is 67 deep against the English 69, and heading 44 is "### " against "#### alg-x-s1-n7-exa-2"content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:1the heading tree is 68 deep against the English 71, and heading 55 is "#### alg-x-s2-n8-rem-1" against "#### alg-x-s2-n8-exa-4"content/en-mt/alg/X/04_s4_produits_de_torsion.md:1the heading tree is 52 deep against the English 52, and heading 29 is "#### " against "### "content/en-mt/int/VIII/exercises/s3/14.md:1translated_from is content/fr/int/VIII/exercises/s3/14.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/15.md:1translated_from is content/fr/int/VIII/exercises/s3/15.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/16.md:1translated_from is content/fr/int/VIII/exercises/s3/16.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/17.md:1translated_from is content/fr/int/VIII/exercises/s3/17.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/18.md:1translated_from is content/fr/int/VIII/exercises/s3/18.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/19.md:1translated_from is content/fr/int/VIII/exercises/s3/19.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/20.md:1translated_from is content/fr/int/VIII/exercises/s3/20.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/21.md:1translated_from is content/fr/int/VIII/exercises/s3/21.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/22.md:1translated_from is content/fr/int/VIII/exercises/s3/22.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/23.md:1translated_from is content/fr/int/VIII/exercises/s3/23.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/24.md:1translated_from is content/fr/int/VIII/exercises/s3/24.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/25.md:1translated_from is content/fr/int/VIII/exercises/s3/25.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/26.md:1translated_from is content/fr/int/VIII/exercises/s3/26.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/27.md:1translated_from is content/fr/int/VIII/exercises/s3/27.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/28.md:1translated_from is content/fr/int/VIII/exercises/s3/28.md and there is no such file
and 30 more, which bourbaki audit -only L03 prints in full.
L04 the statement counts are the English ones (48)
Hard, translation.
content/en-mt/ac/IX/04_s4_fermeture_integrale_d_un_anneau_local.md:1has 1 of kind rem and the English has 2content/en-mt/ac/VIII/02_s2_dimension_des_algebres.md:1has 9 of kind rem and the English has 10content/en-mt/ac/VIII/03_s3_dimension_des_anneaux_noetheriens.md:1has 7 of kind rem and the English has 9content/en-mt/ac/VIII/06_s6_dimension_des_anneaux_gradues.md:1has 1 of kind exa and the English has 2content/en-mt/ac/VIII/06_s6_dimension_des_anneaux_gradues.md:1has 8 of kind rem and the English has 9content/en-mt/ac/VIII/07_s7_multiplicites.md:1has 5 of kind rem and the English has 11content/en-mt/alg/IX/01_s1_formes_sesquilineaires.md:1has 18 of kind rem and the English has 19content/en-mt/alg/IX/03_s3_formes_hermitiennes_et_formes.md:1has 2 of kind rem and the English has 4content/en-mt/alg/X/01_s1_complements_d_algebre_lineaire.md:1has 15 of kind exa and the English has 17content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:1has 15 of kind exa and the English has 18content/en-mt/alg/X/04_s4_produits_de_torsion.md:1has 12 of kind cor and the English has 13content/en-mt/alg/X/04_s4_produits_de_torsion.md:1has 2 of kind thm and the English has 3content/en-mt/int/VIII/exercises/s3/14.md:1translated_from is content/fr/int/VIII/exercises/s3/14.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/15.md:1translated_from is content/fr/int/VIII/exercises/s3/15.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/16.md:1translated_from is content/fr/int/VIII/exercises/s3/16.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/17.md:1translated_from is content/fr/int/VIII/exercises/s3/17.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/18.md:1translated_from is content/fr/int/VIII/exercises/s3/18.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/19.md:1translated_from is content/fr/int/VIII/exercises/s3/19.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/20.md:1translated_from is content/fr/int/VIII/exercises/s3/20.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/21.md:1translated_from is content/fr/int/VIII/exercises/s3/21.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/22.md:1translated_from is content/fr/int/VIII/exercises/s3/22.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/23.md:1translated_from is content/fr/int/VIII/exercises/s3/23.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/24.md:1translated_from is content/fr/int/VIII/exercises/s3/24.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/25.md:1translated_from is content/fr/int/VIII/exercises/s3/25.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/26.md:1translated_from is content/fr/int/VIII/exercises/s3/26.md and there is no such file
and 23 more, which bourbaki audit -only L04 prints in full.
L05 source_content_sha256 is the English hash as it stands (418)
Hard, translation.
content/en-mt/ac/IX/01_s1_vecteurs_de_witt.md:1was translated from 30760f149ab2 and content/fr/ac/IX/01_s1_vecteurs_de_witt.md is now d4a9d7b0a297, so it is stalecontent/en-mt/ac/IX/04_s4_fermeture_integrale_d_un_anneau_local.md:1was translated from cb927004891b and content/fr/ac/IX/04_s4_fermeture_integrale_d_un_anneau_local.md is now 0f09f5122014, so it is stalecontent/en-mt/ac/IX/A_a_.md:1was translated from 98bbdb09a04c and content/fr/ac/IX/A_a_.md is now e864a39e88aa, so it is stalecontent/en-mt/ac/IX/exercises/a0/06.md:1was translated from 84cbaed7cc3e and content/fr/ac/IX/exercises/a0/06.md is now 93685b02d2a2, so it is stalecontent/en-mt/ac/IX/exercises/s4/13.md:1was translated from 0db85b298fde and content/fr/ac/IX/exercises/s4/13.md is now dbd876f68b9d, so it is stalecontent/en-mt/ac/IX/exercises/s4/28.md:1was translated from 479f795ad971 and content/fr/ac/IX/exercises/s4/28.md is now edcd36869356, so it is stalecontent/en-mt/ac/VIII/01_s1_dimension_de_krull_d_un_anneau.md:1was translated from 39579207db3a and content/fr/ac/VIII/01_s1_dimension_de_krull_d_un_anneau.md is now e9eeac77edda, so it is stalecontent/en-mt/ac/VIII/02_s2_dimension_des_algebres.md:1was translated from d7066e367064 and content/fr/ac/VIII/02_s2_dimension_des_algebres.md is now 824849cc7a62, so it is stalecontent/en-mt/ac/VIII/03_s3_dimension_des_anneaux_noetheriens.md:1was translated from 9e96d959c564 and content/fr/ac/VIII/03_s3_dimension_des_anneaux_noetheriens.md is now d05cfceabb2f, so it is stalecontent/en-mt/ac/VIII/05_s5_anneaux_locaux_reguliers.md:1was translated from bc0c6917e598 and content/fr/ac/VIII/05_s5_anneaux_locaux_reguliers.md is now 975ab64a9f9b, so it is stalecontent/en-mt/ac/VIII/06_s6_dimension_des_anneaux_gradues.md:1was translated from 0807723a1c16 and content/fr/ac/VIII/06_s6_dimension_des_anneaux_gradues.md is now bad92e41d0cc, so it is stalecontent/en-mt/ac/VIII/07_s7_multiplicites.md:1was translated from feafddbbd3f1 and content/fr/ac/VIII/07_s7_multiplicites.md is now 42696bbcbf74, so it is stalecontent/en-mt/ac/VIII/exercises/s2/16.md:1was translated from f45209627685 and content/fr/ac/VIII/exercises/s2/16.md is now b7d1e9db8ac9, so it is stalecontent/en-mt/ac/VIII/exercises/s2/17.md:1was translated from 01042526af67 and content/fr/ac/VIII/exercises/s2/17.md is now 7192edc97229, so it is stalecontent/en-mt/ac/VIII/exercises/s4/04.md:1was translated from 20a37b46663a and content/fr/ac/VIII/exercises/s4/04.md is now a3372a5fc82a, so it is stalecontent/en-mt/ac/VIII/exercises/s5/01.md:1was translated from 9d00ffe2231f and content/fr/ac/VIII/exercises/s5/01.md is now 0d94abcdfbe7, so it is stalecontent/en-mt/ac/VIII/exercises/s5/02.md:1was translated from 0996dd44a26c and content/fr/ac/VIII/exercises/s5/02.md is now d438634aebe2, so it is stalecontent/en-mt/ac/VIII/exercises/s5/13.md:1was translated from e75deaf4fbc3 and content/fr/ac/VIII/exercises/s5/13.md is now a7469aa89b61, so it is stalecontent/en-mt/ac/VIII/exercises/s5/31.md:1was translated from 1ac72854d736 and content/fr/ac/VIII/exercises/s5/31.md is now af2b9cad193f, so it is stalecontent/en-mt/ac/VIII/exercises/s6/10.md:1was translated from 75ab37643168 and content/fr/ac/VIII/exercises/s6/10.md is now b77cae63f1d4, so it is stalecontent/en-mt/ac/X/01_s1_profondeur.md:1was translated from b596f2694273 and content/fr/ac/X/01_s1_profondeur.md is now 1ae612c11429, so it is stalecontent/en-mt/ac/X/02_s2_modules_et_anneaux_macaulayens.md:1was translated from ff330e575d48 and content/fr/ac/X/02_s2_modules_et_anneaux_macaulayens.md is now dddc39df458f, so it is stalecontent/en-mt/ac/X/03_s3_profondeur_et_dimension_homologique.md:1was translated from cff1e54e677d and content/fr/ac/X/03_s3_profondeur_et_dimension_homologique.md is now 223e65b471a1, so it is stalecontent/en-mt/ac/X/04_s4_anneaux_reguliers.md:1was translated from a112d6812052 and content/fr/ac/X/04_s4_anneaux_reguliers.md is now 5d1bd7cb23ec, so it is stalecontent/en-mt/ac/X/05_s5_intersections_completes.md:1was translated from eeb344109e82 and content/fr/ac/X/05_s5_intersections_completes.md is now 91c29d8f00f5, so it is stale
and 393 more, which bourbaki audit -only L05 prints in full.
L06 the glossary is followed (2076)
Soft, translation.
content/en-mt/int/VIII/exercises/s3/14.md:1translated_from is content/fr/int/VIII/exercises/s3/14.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/15.md:1translated_from is content/fr/int/VIII/exercises/s3/15.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/16.md:1translated_from is content/fr/int/VIII/exercises/s3/16.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/17.md:1translated_from is content/fr/int/VIII/exercises/s3/17.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/18.md:1translated_from is content/fr/int/VIII/exercises/s3/18.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/19.md:1translated_from is content/fr/int/VIII/exercises/s3/19.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/20.md:1translated_from is content/fr/int/VIII/exercises/s3/20.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/21.md:1translated_from is content/fr/int/VIII/exercises/s3/21.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/22.md:1translated_from is content/fr/int/VIII/exercises/s3/22.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/23.md:1translated_from is content/fr/int/VIII/exercises/s3/23.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/24.md:1translated_from is content/fr/int/VIII/exercises/s3/24.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/25.md:1translated_from is content/fr/int/VIII/exercises/s3/25.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/26.md:1translated_from is content/fr/int/VIII/exercises/s3/26.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/27.md:1translated_from is content/fr/int/VIII/exercises/s3/27.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/28.md:1translated_from is content/fr/int/VIII/exercises/s3/28.md and there is no such filecontent/vi/ac/00_introduction.md:1the English mentions 100 glossary terms and 5 are not in this file as the glossary writes them: uniqueness (tính duy nhất), connected (liên thông), divisible (chia được), example (ví dụ), order (cấp)content/vi/ac/00_to_the_reader.md:1the English mentions 42 glossary terms and 3 are not in this file as the glossary writes them: directed (có hướng), satisfy (thỏa mãn), series (chuỗi)content/vi/ac/I/01_s1_diagrams_and_exact_sequences.md:1the English mentions 76 glossary terms and 4 are not in this file as the glossary writes them: canonically (một cách chính tắc), associated (liên kết), example (ví dụ), square (bình phương)content/vi/ac/I/02_s2_flat_modules.md:1the English mentions 153 glossary terms and 4 are not in this file as the glossary writes them: principal ideal domain (miền iđêan chính), module structure (cấu trúc môđun), integral domain (miền nguyên), belong (thuộc)content/vi/ac/I/03_s3_faithfully_flat_modules.md:1the English mentions 129 glossary terms and 7 are not in this file as the glossary writes them: finitely generated projective module (môđun xạ ảnh hữu hạn sinh), finitely generated a-module (A-môđun hữu hạn sinh), module structure (cấu trúc môđun), now prove (bây giờ chứng minh), complete (đầy đủ), conclude (kết luận), set (tập hợp)content/vi/ac/I/04_s4_flat_modules_and_tor_functors.md:1the English mentions 35 glossary terms and 2 are not in this file as the glossary writes them: trivial (tầm thường), note (chú ý)content/vi/ac/I/exercises/s2/06.md:1the English mentions 20 glossary terms and 2 are not in this file as the glossary writes them: finitely generated a-module (A-môđun hữu hạn sinh), set (tập hợp)content/vi/ac/I/exercises/s2/12.md:1the English mentions 36 glossary terms and 1 are not in this file as the glossary writes them: infinite set (tập vô hạn)content/vi/ac/I/exercises/s2/18.md:1the English mentions 26 glossary terms and 2 are not in this file as the glossary writes them: projective finitely generated (xạ ảnh hữu hạn sinh), submodules isomorphic (các môđun con đẳng cấu)content/vi/ac/I/exercises/s3/09.md:1the English mentions 15 glossary terms and 1 are not in this file as the glossary writes them: set (tập hợp)
and 2051 more, which bourbaki audit -only L06 prints in full.
L07 no paragraph was left untranslated (53)
Hard, translation.
content/en-mt/int/VIII/exercises/s3/14.md:1translated_from is content/fr/int/VIII/exercises/s3/14.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/15.md:1translated_from is content/fr/int/VIII/exercises/s3/15.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/16.md:1translated_from is content/fr/int/VIII/exercises/s3/16.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/17.md:1translated_from is content/fr/int/VIII/exercises/s3/17.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/18.md:1translated_from is content/fr/int/VIII/exercises/s3/18.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/19.md:1translated_from is content/fr/int/VIII/exercises/s3/19.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/20.md:1translated_from is content/fr/int/VIII/exercises/s3/20.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/21.md:1translated_from is content/fr/int/VIII/exercises/s3/21.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/22.md:1translated_from is content/fr/int/VIII/exercises/s3/22.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/23.md:1translated_from is content/fr/int/VIII/exercises/s3/23.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/24.md:1translated_from is content/fr/int/VIII/exercises/s3/24.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/25.md:1translated_from is content/fr/int/VIII/exercises/s3/25.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/26.md:1translated_from is content/fr/int/VIII/exercises/s3/26.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/27.md:1translated_from is content/fr/int/VIII/exercises/s3/27.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/28.md:1translated_from is content/fr/int/VIII/exercises/s3/28.md and there is no such filecontent/vi/ac/VII/exercises/s2/23.md:1translated_from is content/en/ac/VII/exercises/s2/23.md and there is no such filecontent/vi/ac/VII/exercises/s2/24.md:1translated_from is content/en/ac/VII/exercises/s2/24.md and there is no such filecontent/vi/ac/VII/exercises/s2/25.md:1translated_from is content/en/ac/VII/exercises/s2/25.md and there is no such filecontent/vi/ac/VII/exercises/s2/26.md:1translated_from is content/en/ac/VII/exercises/s2/26.md and there is no such filecontent/vi/ac/VII/exercises/s2/27.md:1translated_from is content/en/ac/VII/exercises/s2/27.md and there is no such filecontent/vi/alg/IX/03_s3_formes_hermitiennes_et_formes.md:279paragraph 74 carries 2 English words and nothing of vi: (1) for all .content/vi/alg/X/exercises/s9/10.md:155paragraph 52 carries 15 English words and nothing of vi: I can translate it, but the passage is too long to…content/vi/ens/ER/05_s5_equivalence_relations_and_quotient_sets.md:78paragraph 24 carries 37 English words and nothing of vi: 10. Now let E, F be any two sets, which may or may…content/vi/evt/V/exercises/s3/03.md:1translated_from is content/en/evt/V/exercises/s3/03.md and there is no such filecontent/vi/evt/V/exercises/s3/04.md:1translated_from is content/en/evt/V/exercises/s3/04.md and there is no such file
and 28 more, which bourbaki audit -only L07 prints in full.
L08 no translation was written by a small model (5628)
Soft, translation.
content/en-mt/ac/II/exercises/s3/16.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/II/exercises/s5/09.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/II/exercises/s5/11.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/II/exercises/s5/13.md:1was translated by gpt-5-6-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/II/exercises/s5/15.md:1was translated by gpt-5-6-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/II/exercises/s5/16.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/II/exercises/s5/18.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/II/exercises/s5/20.md:1was translated by gpt-5-6-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/II/exercises/s5/21.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/II/exercises/s5/22.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/II/exercises/s5/23.md:1was translated by gpt-5-6-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/II/exercises/s5/25.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/III/exercises/s2/14.md:1was translated by gpt-5-6-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/III/exercises/s2/15.md:1was translated by gpt-5-6-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/III/exercises/s2/16.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/III/exercises/s2/17.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/III/exercises/s2/19.md:1was translated by gpt-5-6-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/III/exercises/s2/21.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/III/exercises/s2/22.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/III/exercises/s2/23.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/III/exercises/s2/25.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/III/exercises/s2/29.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/III/exercises/s2/31.md:1was translated by gpt-5-6-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/IV/exercises/s2/31.md:1was translated by gpt-5-6-mini, which is a cut down model, so the section is worth doing againcontent/en-mt/ac/IV/exercises/s2/32.md:1was translated by gpt-5-mini, which is a cut down model, so the section is worth doing again
and 5603 more, which bourbaki audit -only L08 prints in full.
L10 no English term was left standing (296)
Hard, translation.
content/en-mt/int/VIII/exercises/s3/14.md:1translated_from is content/fr/int/VIII/exercises/s3/14.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/15.md:1translated_from is content/fr/int/VIII/exercises/s3/15.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/16.md:1translated_from is content/fr/int/VIII/exercises/s3/16.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/17.md:1translated_from is content/fr/int/VIII/exercises/s3/17.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/18.md:1translated_from is content/fr/int/VIII/exercises/s3/18.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/19.md:1translated_from is content/fr/int/VIII/exercises/s3/19.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/20.md:1translated_from is content/fr/int/VIII/exercises/s3/20.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/21.md:1translated_from is content/fr/int/VIII/exercises/s3/21.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/22.md:1translated_from is content/fr/int/VIII/exercises/s3/22.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/23.md:1translated_from is content/fr/int/VIII/exercises/s3/23.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/24.md:1translated_from is content/fr/int/VIII/exercises/s3/24.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/25.md:1translated_from is content/fr/int/VIII/exercises/s3/25.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/26.md:1translated_from is content/fr/int/VIII/exercises/s3/26.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/27.md:1translated_from is content/fr/int/VIII/exercises/s3/27.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/28.md:1translated_from is content/fr/int/VIII/exercises/s3/28.md and there is no such filecontent/vi/ac/I/03_s3_faithfully_flat_modules.md:107leaves "algebra" in English, and the glossary writes it "đại số"content/vi/ac/I/04_s4_flat_modules_and_tor_functors.md:65leaves "algebra" in English, and the glossary writes it "đại số"content/vi/ac/II/exercises/s4/18.md:35leaves "topology" in English, and the glossary writes it "tôpô"content/vi/ac/III/01_s1_finitely_generated_graded_algebras.md:166leaves "algebra" in English, and the glossary writes it "đại số"content/vi/ac/III/02_s2_general_results_on_filtered_rings_and.md:379leaves "definition" in English, and the glossary writes it "định nghĩa"content/vi/ac/III/02_s2_general_results_on_filtered_rings_and.md:379leaves "topology" in English, and the glossary writes it "tôpô"content/vi/ac/III/02_s2_general_results_on_filtered_rings_and.md:379leaves "chapter" in English, and the glossary writes it "chương"content/vi/ac/III/02_s2_general_results_on_filtered_rings_and.md:457leaves "proposition" in English, and the glossary writes it "mệnh đề"content/vi/ac/III/02_s2_general_results_on_filtered_rings_and.md:463leaves "remark" in English, and the glossary writes it "nhận xét"content/vi/ac/III/03_s3_m_adic_topologies_on_noetherian_rings.md:261leaves "algebra" in English, and the glossary writes it "đại số"
and 271 more, which bourbaki audit -only L10 prints in full.
L11 no sentence was left untranslated (80)
Hard, translation.
content/en-mt/int/VIII/exercises/s3/14.md:1translated_from is content/fr/int/VIII/exercises/s3/14.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/15.md:1translated_from is content/fr/int/VIII/exercises/s3/15.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/16.md:1translated_from is content/fr/int/VIII/exercises/s3/16.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/17.md:1translated_from is content/fr/int/VIII/exercises/s3/17.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/18.md:1translated_from is content/fr/int/VIII/exercises/s3/18.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/19.md:1translated_from is content/fr/int/VIII/exercises/s3/19.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/20.md:1translated_from is content/fr/int/VIII/exercises/s3/20.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/21.md:1translated_from is content/fr/int/VIII/exercises/s3/21.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/22.md:1translated_from is content/fr/int/VIII/exercises/s3/22.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/23.md:1translated_from is content/fr/int/VIII/exercises/s3/23.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/24.md:1translated_from is content/fr/int/VIII/exercises/s3/24.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/25.md:1translated_from is content/fr/int/VIII/exercises/s3/25.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/26.md:1translated_from is content/fr/int/VIII/exercises/s3/26.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/27.md:1translated_from is content/fr/int/VIII/exercises/s3/27.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/28.md:1translated_from is content/fr/int/VIII/exercises/s3/28.md and there is no such filecontent/vi/ac/VII/exercises/s2/23.md:1translated_from is content/en/ac/VII/exercises/s2/23.md and there is no such filecontent/vi/ac/VII/exercises/s2/24.md:1translated_from is content/en/ac/VII/exercises/s2/24.md and there is no such filecontent/vi/ac/VII/exercises/s2/25.md:1translated_from is content/en/ac/VII/exercises/s2/25.md and there is no such filecontent/vi/ac/VII/exercises/s2/26.md:1translated_from is content/en/ac/VII/exercises/s2/26.md and there is no such filecontent/vi/ac/VII/exercises/s2/27.md:1translated_from is content/en/ac/VII/exercises/s2/27.md and there is no such filecontent/vi/ac/X/exercises/s3/14.md:34paragraph 5 has a run of 17 words with nothing of vi in it: xem M. HOCHSTER, Topics in the homological theory of modules…content/vi/ac/X/exercises/s7/05.md:27paragraph 3 has a run of 13 words with nothing of vi in it: \emph{xem} M. Nagata, \emph{On the Closedness of Singular Lo…content/vi/alg/I/historical_note.md:119paragraph 45 has a run of 33 words with nothing of vi in it: J. Y. Azra, Paris (Gauthier-Villars), W. R. Hamilton, Lectur…content/vi/alg/VII/exercises/s1/15.md:43paragraph 9 has a run of 14 words with nothing of vi in it: A. E. Ingham, The distribution of prime numbers (Cambridge t…content/vi/alg/VII/exercises/s1/20.md:31paragraph 4 has a run of 14 words with nothing of vi in it: A. E. Ingham, The distribution of prime numbers (Cambridge t…
and 55 more, which bourbaki audit -only L11 prints in full.
L12 a word set inside the mathematics is translated too (38)
Hard, translation.
content/en-mt/int/VIII/exercises/s3/14.md:1translated_from is content/fr/int/VIII/exercises/s3/14.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/15.md:1translated_from is content/fr/int/VIII/exercises/s3/15.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/16.md:1translated_from is content/fr/int/VIII/exercises/s3/16.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/17.md:1translated_from is content/fr/int/VIII/exercises/s3/17.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/18.md:1translated_from is content/fr/int/VIII/exercises/s3/18.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/19.md:1translated_from is content/fr/int/VIII/exercises/s3/19.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/20.md:1translated_from is content/fr/int/VIII/exercises/s3/20.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/21.md:1translated_from is content/fr/int/VIII/exercises/s3/21.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/22.md:1translated_from is content/fr/int/VIII/exercises/s3/22.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/23.md:1translated_from is content/fr/int/VIII/exercises/s3/23.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/24.md:1translated_from is content/fr/int/VIII/exercises/s3/24.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/25.md:1translated_from is content/fr/int/VIII/exercises/s3/25.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/26.md:1translated_from is content/fr/int/VIII/exercises/s3/26.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/27.md:1translated_from is content/fr/int/VIII/exercises/s3/27.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/28.md:1translated_from is content/fr/int/VIII/exercises/s3/28.md and there is no such filecontent/vi/ac/VII/exercises/s2/23.md:1translated_from is content/en/ac/VII/exercises/s2/23.md and there is no such filecontent/vi/ac/VII/exercises/s2/24.md:1translated_from is content/en/ac/VII/exercises/s2/24.md and there is no such filecontent/vi/ac/VII/exercises/s2/25.md:1translated_from is content/en/ac/VII/exercises/s2/25.md and there is no such filecontent/vi/ac/VII/exercises/s2/26.md:1translated_from is content/en/ac/VII/exercises/s2/26.md and there is no such filecontent/vi/ac/VII/exercises/s2/27.md:1translated_from is content/en/ac/VII/exercises/s2/27.md and there is no such filecontent/vi/evt/V/exercises/s3/03.md:1translated_from is content/en/evt/V/exercises/s3/03.md and there is no such filecontent/vi/evt/V/exercises/s3/04.md:1translated_from is content/en/evt/V/exercises/s3/04.md and there is no such filecontent/vi/evt/V/exercises/s3/05.md:1translated_from is content/en/evt/V/exercises/s3/05.md and there is no such filecontent/vi/evt/V/exercises/s3/06.md:1translated_from is content/en/evt/V/exercises/s3/06.md and there is no such filecontent/vi/evt/V/exercises/s3/07.md:1translated_from is content/en/evt/V/exercises/s3/07.md and there is no such file
and 13 more, which bourbaki audit -only L12 prints in full.
L13 no word is written in another alphabet (73)
Hard, translation.
content/en-mt/int/VIII/exercises/s3/14.md:1translated_from is content/fr/int/VIII/exercises/s3/14.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/15.md:1translated_from is content/fr/int/VIII/exercises/s3/15.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/16.md:1translated_from is content/fr/int/VIII/exercises/s3/16.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/17.md:1translated_from is content/fr/int/VIII/exercises/s3/17.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/18.md:1translated_from is content/fr/int/VIII/exercises/s3/18.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/19.md:1translated_from is content/fr/int/VIII/exercises/s3/19.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/20.md:1translated_from is content/fr/int/VIII/exercises/s3/20.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/21.md:1translated_from is content/fr/int/VIII/exercises/s3/21.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/22.md:1translated_from is content/fr/int/VIII/exercises/s3/22.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/23.md:1translated_from is content/fr/int/VIII/exercises/s3/23.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/24.md:1translated_from is content/fr/int/VIII/exercises/s3/24.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/25.md:1translated_from is content/fr/int/VIII/exercises/s3/25.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/26.md:1translated_from is content/fr/int/VIII/exercises/s3/26.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/27.md:1translated_from is content/fr/int/VIII/exercises/s3/27.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/28.md:1translated_from is content/fr/int/VIII/exercises/s3/28.md and there is no such filecontent/vi/ac/III/exercises/s2/13.md:77"(α)" is written in Greek, and this is vicontent/vi/ac/III/exercises/s2/13.md:79"(β)" is written in Greek, and this is vicontent/vi/ac/III/exercises/s2/13.md:81"(γ)" is written in Greek, and this is vicontent/vi/ac/III/exercises/s2/13.md:83"(β)," is written in Greek, and this is vicontent/vi/ac/III/exercises/s2/13.md:85"(α)," is written in Greek, and this is vicontent/vi/ac/III/exercises/s2/13.md:85"(γ)," is written in Greek, and this is vicontent/vi/ac/VII/exercises/s2/23.md:1translated_from is content/en/ac/VII/exercises/s2/23.md and there is no such filecontent/vi/ac/VII/exercises/s2/24.md:1translated_from is content/en/ac/VII/exercises/s2/24.md and there is no such filecontent/vi/ac/VII/exercises/s2/25.md:1translated_from is content/en/ac/VII/exercises/s2/25.md and there is no such filecontent/vi/ac/VII/exercises/s2/26.md:1translated_from is content/en/ac/VII/exercises/s2/26.md and there is no such file
and 48 more, which bourbaki audit -only L13 prints in full.
L14 a bibliography entry stands as printed (33)
Hard, translation.
content/en-mt/int/VIII/exercises/s3/14.md:1translated_from is content/fr/int/VIII/exercises/s3/14.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/15.md:1translated_from is content/fr/int/VIII/exercises/s3/15.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/16.md:1translated_from is content/fr/int/VIII/exercises/s3/16.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/17.md:1translated_from is content/fr/int/VIII/exercises/s3/17.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/18.md:1translated_from is content/fr/int/VIII/exercises/s3/18.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/19.md:1translated_from is content/fr/int/VIII/exercises/s3/19.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/20.md:1translated_from is content/fr/int/VIII/exercises/s3/20.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/21.md:1translated_from is content/fr/int/VIII/exercises/s3/21.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/22.md:1translated_from is content/fr/int/VIII/exercises/s3/22.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/23.md:1translated_from is content/fr/int/VIII/exercises/s3/23.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/24.md:1translated_from is content/fr/int/VIII/exercises/s3/24.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/25.md:1translated_from is content/fr/int/VIII/exercises/s3/25.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/26.md:1translated_from is content/fr/int/VIII/exercises/s3/26.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/27.md:1translated_from is content/fr/int/VIII/exercises/s3/27.md and there is no such filecontent/en-mt/int/VIII/exercises/s3/28.md:1translated_from is content/fr/int/VIII/exercises/s3/28.md and there is no such filecontent/vi/ac/VII/exercises/s2/23.md:1translated_from is content/en/ac/VII/exercises/s2/23.md and there is no such filecontent/vi/ac/VII/exercises/s2/24.md:1translated_from is content/en/ac/VII/exercises/s2/24.md and there is no such filecontent/vi/ac/VII/exercises/s2/25.md:1translated_from is content/en/ac/VII/exercises/s2/25.md and there is no such filecontent/vi/ac/VII/exercises/s2/26.md:1translated_from is content/en/ac/VII/exercises/s2/26.md and there is no such filecontent/vi/ac/VII/exercises/s2/27.md:1translated_from is content/en/ac/VII/exercises/s2/27.md and there is no such filecontent/vi/evt/V/exercises/s3/03.md:1translated_from is content/en/evt/V/exercises/s3/03.md and there is no such filecontent/vi/evt/V/exercises/s3/04.md:1translated_from is content/en/evt/V/exercises/s3/04.md and there is no such filecontent/vi/evt/V/exercises/s3/05.md:1translated_from is content/en/evt/V/exercises/s3/05.md and there is no such filecontent/vi/evt/V/exercises/s3/06.md:1translated_from is content/en/evt/V/exercises/s3/06.md and there is no such filecontent/vi/evt/V/exercises/s3/07.md:1translated_from is content/en/evt/V/exercises/s3/07.md and there is no such file
and 8 more, which bourbaki audit -only L14 prints in full.
L15 no translation was written on the free gateway (6)
Soft, translation.
content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:1was translated by gpt-5-mini, hy3-free, nemotron-3-ultra-free, laguna-s-2.1-free, gpt-5-6, which is a free gateway model, so the section is worth doing againcontent/en-mt/alg/X/04_s4_produits_de_torsion.md:1was translated by nemotron-3-ultra-free, hy3-free, laguna-s-2.1-free, which is a free gateway model, so the section is worth doing againcontent/en-mt/alg/X/05_s5_modules_d_extensions.md:1was translated by gpt-5-6-mini, hy3-free, laguna-s-2.1-free, nemotron-3-ultra-free, which is a free gateway model, so the section is worth doing againcontent/en-mt/alg/X/07_s7_produit_de_composition.md:1was translated by laguna-s-2.1-free, hy3-free, gpt-5-mini, which is a free gateway model, so the section is worth doing againcontent/en-mt/alg/X/08_s8_dimension_homologique.md:1was translated by laguna-s-2.1-free, hy3-free, which is a free gateway model, so the section is worth doing againcontent/en-mt/lie/III/historical_note.md:1was translated by nemotron-3-ultra-free, gpt-5-6-mini, laguna-s-2.1-free, mimo-v2.5-free, hy3-free, which is a free gateway model, so the section is worth doing again
L16 no paragraph of the machine English came back in French (78)
Hard, translation.
content/en-mt/ac/VIII/02_s2_dimension_des_algebres.md:223paragraph 56 carries 3 French words and no English: Dans ce numéro, désigne un field.content/en-mt/alg/IX/03_s3_formes_hermitiennes_et_formes.md:97paragraph 15 carries 4 French words and no English: puisque, est dans le center de .content/en-mt/alg/IX/03_s3_formes_hermitiennes_et_formes.md:99paragraph 16 carries 15 French words and no English: Enfin, lorsque le ring est commutative, les prolon…content/en-mt/alg/IX/04_s4_sous_espaces_totalement_isotropes.md:115paragraph 21 carries 8 French words and no English: Soit une forme -hermitienne non dégénérée vérifian…content/en-mt/alg/IX/04_s4_sous_espaces_totalement_isotropes.md:117paragraph 22 carries 17 French words and no English: a) Si est un sous-espace totalement isotrope de di…content/en-mt/alg/IX/04_s4_sous_espaces_totalement_isotropes.md:119paragraph 23 carries 9 French words and no English: b) Si G est un sous-espace totalement isotrope (re…content/en-mt/alg/IX/06_s6_proprietes_speciales_aux_formes.md:379paragraph 98 carries 8 French words and no English: Soient A un corps, E un espace vectoriel sur A adm…content/en-mt/alg/IX/06_s6_proprietes_speciales_aux_formes.md:393paragraph 105 carries 24 French words and no English: d) Soient un sous-module de , la restriction de à …content/en-mt/alg/IX/07_s7_formes_hermitiennes_et_corps_ordonnes.md:326paragraph 84 carries 20 French words and no English: d) Montrer que pour tout entier m > 0, il existe u…content/en-mt/alg/IX/07_s7_formes_hermitiennes_et_corps_ordonnes.md:332paragraph 86 carries 17 French words and no English: a) Soit V un élément minimal de l’ensemble des sou…content/en-mt/alg/IX/07_s7_formes_hermitiennes_et_corps_ordonnes.md:342paragraph 89 carries 25 French words and no English: Soient un corps vérifiant les conditions du début …content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:704paragraph 160 carries 3 French words and no English: *b)* *Les suites de morphismes de complexes*content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:712paragraph 164 carries 5 French words and no English: *c)* *Les morphismes* *et* *sont des homotopismes …content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:745paragraph 169 carries 9 French words and no English: *Pour tout morphisme de complexes* , *il existe un…content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:761paragraph 174 carries 4 French words and no English: Soit ; comme et quecontent/en-mt/alg/X/02_s2_complexes_de_a_modules.md:765paragraph 175 carries 8 French words and no English: applique par définition la classe de dans sur la c…content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:771paragraph 177 carries 8 French words and no English: applique par définition la classe de dans sur la c…content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:778paragraph 179 carries 4 French words and no English: En effet, compte tenu du *lemme 3, a)*, cela résul…content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:782paragraph 180 carries 9 French words and no English: *Pour que u soit un homologisme, il faut et il suf…content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:796paragraph 182 carries 15 French words and no English: où la première ligne (resp. la seconde) est la sui…content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:835paragraph 189 carries 8 French words and no English: donc est bien un morphisme de complexes. D'autre p…content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:843paragraph 191 carries 4 French words and no English: L'homologisme est un homotopisme, mais n'est pas e…content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:859paragraph 193 carries 3 French words and no English: est commutatif et est bijectif.content/en-mt/alg/X/02_s2_complexes_de_a_modules.md:875paragraph 198 carries 6 French words and no English: (A) *Si* *et* *sont deux A-modules de type* , *est…content/en-mt/int/VIII/exercises/s3/14.md:1translated_from is content/fr/int/VIII/exercises/s3/14.md and there is no such file
and 53 more, which bourbaki audit -only L16 prints in full.