File tree
37 files changed
+112
-133
lines changed- src
- doc
- de
- thematische_anleitungen
- tutorial
- en
- constructions
- developer
- faq
- prep
- Quickstarts
- reference
- references
- repl
- sat
- thematic_tutorials
- explicit_methods_in_number_theory
- numerical_sage
- tutorial
- fr/tutorial
- it/faq
- ja/tutorial
- ru/tutorial
- sage
- calculus
- graphs
- modular/modform
- plot
- sat/solvers
37 files changed
+112
-133
lines changedLines changed: 4 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1223 | 1223 |
| |
1224 | 1224 |
| |
1225 | 1225 |
| |
1226 |
| - | |
| 1226 | + | |
1227 | 1227 |
| |
1228 | 1228 |
| |
1229 |
| - | |
1230 |
| - | |
1231 |
| - | |
1232 |
| - | |
| 1229 | + | |
1233 | 1230 |
| |
1234 | 1231 |
| |
1235 | 1232 |
| |
1236 | 1233 |
| |
1237 |
| - | |
| 1234 | + | |
1238 | 1235 |
| |
1239 | 1236 |
| |
1240 | 1237 |
| |
1241 | 1238 |
| |
1242 |
| - | |
| 1239 | + |
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
435 | 435 |
| |
436 | 436 |
| |
437 | 437 |
| |
438 |
| - | |
439 |
| - | |
| 438 | + | |
| 439 | + | |
440 | 440 |
| |
441 | 441 |
| |
442 | 442 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
331 | 331 |
| |
332 | 332 |
| |
333 | 333 |
| |
334 |
| - | |
| 334 | + | |
335 | 335 |
| |
336 | 336 |
| |
337 | 337 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
901 | 901 |
| |
902 | 902 |
| |
903 | 903 |
| |
904 |
| - | |
| 904 | + | |
905 | 905 |
| |
906 | 906 |
| |
907 | 907 |
| |
|
Lines changed: 4 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
69 | 69 |
| |
70 | 70 |
| |
71 | 71 |
| |
72 |
| - | |
| 72 | + | |
73 | 73 |
| |
74 | 74 |
| |
75 | 75 |
| |
| |||
129 | 129 |
| |
130 | 130 |
| |
131 | 131 |
| |
132 |
| - | |
133 | 132 |
| |
134 |
| - | |
| 133 | + | |
135 | 134 |
| |
136 | 135 |
| |
137 | 136 |
| |
| |||
140 | 139 |
| |
141 | 140 |
| |
142 | 141 |
| |
143 |
| - | |
| 142 | + | |
144 | 143 |
| |
145 | 144 |
| |
146 |
| - | |
| 145 | + | |
147 | 146 |
| |
148 | 147 |
| |
149 | 148 |
| |
|
Lines changed: 0 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
199 | 199 |
| |
200 | 200 |
| |
201 | 201 |
| |
202 |
| - | |
203 |
| - | |
204 | 202 |
| |
205 | 203 |
| |
206 | 204 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
219 | 219 |
| |
220 | 220 |
| |
221 | 221 |
| |
222 |
| - | |
223 |
| - | |
| 222 | + | |
| 223 | + | |
224 | 224 |
| |
225 | 225 |
| |
226 | 226 |
| |
| |||
562 | 562 |
| |
563 | 563 |
| |
564 | 564 |
| |
565 |
| - | |
| 565 | + | |
566 | 566 |
| |
567 | 567 |
| |
568 | 568 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
18 |
| - | |
| 18 | + | |
19 | 19 |
| |
20 | 20 |
| |
21 | 21 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
130 | 130 |
| |
131 | 131 |
| |
132 | 132 |
| |
133 |
| - | |
| 133 | + | |
134 | 134 |
| |
135 | 135 |
| |
136 | 136 |
| |
|
0 commit comments