Special Functions

Download original file

This is the original source text. Reading it does not run or verify the program.

Read the typeset paper

1 {
2   "source": "lean/CoupledRescaling.lean",
3   "sha256": "83a014bccd72204a121a11b6e558100da0b2accef37be43fcad809be037eea5e",
4   "count": 19,
5   "declarations": [
6     {
7       "name": "Komorebi.SpecialFunctions.Coupled.Scales.denseOddComplex_odd",
8       "line": 22
9     },
10     {
11       "name": "Komorebi.SpecialFunctions.Coupled.Scales.complex_odd_series_hasFPowerSeriesAt",
12       "line": 28
13     },
14     {
15       "name": "Komorebi.SpecialFunctions.Coupled.Scales.complex_odd_coefficients_eq",
16       "line": 51
17     },
18     {
19       "name": "Komorebi.SpecialFunctions.Coupled.Scales.rescaling_coefficient_identity",
20       "line": 61
21     },
22     {
23       "name": "Komorebi.SpecialFunctions.Coupled.Scales.rescaling_forces_defect_zero",
24       "line": 77
25     },
26     {
27       "name": "Komorebi.SpecialFunctions.Coupled.Scales.scalar_components_equal",
28       "line": 102
29     },
30     {
31       "name": "Komorebi.SpecialFunctions.Coupled.Scales.scalarT_solution",
32       "line": 115
33     },
34     {
35       "name": "Komorebi.SpecialFunctions.Coupled.Scales.reductionScale_positive_sq",
36       "line": 130
37     },
38     {
39       "name": "Komorebi.SpecialFunctions.Coupled.Scales.reductionScale_surface",
40       "line": 136
41     },
42     {
43       "name": "Komorebi.SpecialFunctions.Coupled.Scales.effective_scalar_scales",
44       "line": 164
45     },
46     {
47       "name": "Komorebi.SpecialFunctions.Coupled.Scales.scalar_rescaled_solution",
48       "line": 180
49     },
50     {
51       "name": "Komorebi.SpecialFunctions.Coupled.Scales.reductionRoot_positive_sq",
52       "line": 218
53     },
54     {
55       "name": "Komorebi.SpecialFunctions.Coupled.Scales.coupled_scalar_representation",
56       "line": 223
57     },
58     {
59       "name": "Komorebi.SpecialFunctions.Coupled.Scales.canonical_component_rescaling",
60       "line": 261
61     },
62     {
63       "name": "Komorebi.SpecialFunctions.Coupled.Scales.component_rescaling_iff_defect",
64       "line": 278
65     },
66     {
67       "name": "Komorebi.SpecialFunctions.Coupled.Scales.component_rescaling_iff_surfaces",
68       "line": 291
69     },
70     {
71       "name": "Komorebi.SpecialFunctions.Coupled.Scales.scalarT_unique",
72       "line": 297
73     },
74     {
75       "name": "Komorebi.SpecialFunctions.Coupled.Scales.scalarT_symm",
76       "line": 306
77     },
78     {
79       "name": "Komorebi.SpecialFunctions.Coupled.Scales.boundary_entire_collision",
80       "line": 315
81     }
82   ]
83 }

Back to source controls

Back to Special Functions