feat(Channel/Schwarz): add matrix Bochner positivity lemma #8120
LionSRlint-blueprint.yml
on: pull_request
Check blueprint compiles without errors
5m 55s
Annotations
1 error and 11 warnings
|
Check blueprint compiles without errors
Process completed with exit code 1.
|
|
Check blueprint compiles without errors
Some blueprint/lean_decls entries have no matching Lean declaration yet (this is expected while formalization is in progress)
|
|
Check blueprint compiles without errors:
blueprint/src/chapter/ch21_mpdo_rfp_foundations.tex#L0
not formatted to blueprint/latexindent.yaml; run 'latexindent -l blueprint/latexindent.yaml -w -s "blueprint/src/chapter/ch21_mpdo_rfp_foundations.tex"' locally to fix
|
|
Check blueprint compiles without errors:
blueprint/src/chapter/ch24_peps_ft_torus.tex#L0
not formatted to blueprint/latexindent.yaml; run 'latexindent -l blueprint/latexindent.yaml -w -s "blueprint/src/chapter/ch24_peps_ft_torus.tex"' locally to fix
|
|
Check blueprint compiles without errors:
blueprint/src/chapter/ch13_parent_hamiltonian_block_intersections.tex#L0
not formatted to blueprint/latexindent.yaml; run 'latexindent -l blueprint/latexindent.yaml -w -s "blueprint/src/chapter/ch13_parent_hamiltonian_block_intersections.tex"' locally to fix
|
|
Check blueprint compiles without errors:
blueprint/src/chapter/ch24_peps_ft_region_transfer_insertions.tex#L0
not formatted to blueprint/latexindent.yaml; run 'latexindent -l blueprint/latexindent.yaml -w -s "blueprint/src/chapter/ch24_peps_ft_region_transfer_insertions.tex"' locally to fix
|
|
Check blueprint compiles without errors:
blueprint/src/chapter/ch24_peps_ft_normal_square.tex#L0
not formatted to blueprint/latexindent.yaml; run 'latexindent -l blueprint/latexindent.yaml -w -s "blueprint/src/chapter/ch24_peps_ft_normal_square.tex"' locally to fix
|
|
Check blueprint compiles without errors:
blueprint/src/chapter/ch18_operator_convexity.tex#L0
not formatted to blueprint/latexindent.yaml; run 'latexindent -l blueprint/latexindent.yaml -w -s "blueprint/src/chapter/ch18_operator_convexity.tex"' locally to fix
|
|
Check blueprint compiles without errors:
blueprint/src/chapter/ch13_parent_hamiltonian_block_diagonal.tex#L0
not formatted to blueprint/latexindent.yaml; run 'latexindent -l blueprint/latexindent.yaml -w -s "blueprint/src/chapter/ch13_parent_hamiltonian_block_diagonal.tex"' locally to fix
|
|
Check blueprint compiles without errors:
blueprint/src/chapter/ch21_mpdo_rfp_area_law.tex#L0
not formatted to blueprint/latexindent.yaml; run 'latexindent -l blueprint/latexindent.yaml -w -s "blueprint/src/chapter/ch21_mpdo_rfp_area_law.tex"' locally to fix
|
|
Check blueprint compiles without errors:
blueprint/src/chapter/ch05_schwarz.tex#L0
not formatted to blueprint/latexindent.yaml; run 'latexindent -l blueprint/latexindent.yaml -w -s "blueprint/src/chapter/ch05_schwarz.tex"' locally to fix
|
|
Check blueprint compiles without errors:
blueprint/src/macros/tn_print.tex#L0
not formatted to blueprint/latexindent.yaml; run 'latexindent -l blueprint/latexindent.yaml -w -s "blueprint/src/macros/tn_print.tex"' locally to fix
|