File tree
22 files changed
+148
-150
lines changed- src
- doc
- de/tutorial
- en
- constructions
- developer
- tutorial
- fr/tutorial
- ja/tutorial
- pt/tutorial
- ru/tutorial
- sage
- categories
- interfaces
- libs/singular
- rings
- polynomial
- pbori
22 files changed
+148
-150
lines changedLines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
198 | 198 |
| |
199 | 199 |
| |
200 | 200 |
| |
201 |
| - | |
202 |
| - | |
| 201 | + | |
| 202 | + | |
203 | 203 |
| |
204 | 204 |
| |
205 | 205 |
| |
|
Lines changed: 8 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
162 | 162 |
| |
163 | 163 |
| |
164 | 164 |
| |
165 |
| - | |
166 | 165 |
| |
167 |
| - | |
168 | 166 |
| |
169 | 167 |
| |
170 | 168 |
| |
171 |
| - | |
172 |
| - | |
| 169 | + | |
| 170 | + | |
173 | 171 |
| |
174 | 172 |
| |
175 | 173 |
| |
| |||
191 | 189 |
| |
192 | 190 |
| |
193 | 191 |
| |
194 |
| - | |
195 |
| - | |
| 192 | + | |
| 193 | + | |
196 | 194 |
| |
197 | 195 |
| |
198 | 196 |
| |
199 | 197 |
| |
200 |
| - | |
201 |
| - | |
| 198 | + | |
| 199 | + | |
202 | 200 |
| |
203 | 201 |
| |
204 | 202 |
| |
| |||
214 | 212 |
| |
215 | 213 |
| |
216 | 214 |
| |
217 |
| - | |
218 |
| - | |
| 215 | + | |
| 216 | + | |
219 | 217 |
| |
220 | 218 |
| |
221 | 219 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
57 | 57 |
| |
58 | 58 |
| |
59 | 59 |
| |
60 |
| - | |
61 |
| - | |
| 60 | + | |
| 61 | + | |
62 | 62 |
| |
63 | 63 |
| |
64 | 64 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
403 | 403 |
| |
404 | 404 |
| |
405 | 405 |
| |
406 |
| - | |
407 |
| - | |
| 406 | + | |
| 407 | + | |
408 | 408 |
| |
409 | 409 |
| |
410 | 410 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
195 | 195 |
| |
196 | 196 |
| |
197 | 197 |
| |
198 |
| - | |
199 |
| - | |
| 198 | + | |
| 199 | + | |
200 | 200 |
| |
201 | 201 |
| |
202 | 202 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
199 | 199 |
| |
200 | 200 |
| |
201 | 201 |
| |
202 |
| - | |
203 |
| - | |
| 202 | + | |
| 203 | + | |
204 | 204 |
| |
205 | 205 |
| |
206 | 206 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
171 | 171 |
| |
172 | 172 |
| |
173 | 173 |
| |
174 |
| - | |
175 |
| - | |
| 174 | + | |
| 175 | + | |
176 | 176 |
| |
177 | 177 |
| |
178 | 178 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
197 | 197 |
| |
198 | 198 |
| |
199 | 199 |
| |
200 |
| - | |
201 |
| - | |
| 200 | + | |
| 201 | + | |
202 | 202 |
| |
203 | 203 |
| |
204 | 204 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
190 | 190 |
| |
191 | 191 |
| |
192 | 192 |
| |
193 |
| - | |
194 |
| - | |
| 193 | + | |
| 194 | + | |
195 | 195 |
| |
196 | 196 |
| |
197 | 197 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3925 | 3925 |
| |
3926 | 3926 |
| |
3927 | 3927 |
| |
3928 |
| - | |
3929 |
| - | |
| 3928 | + | |
| 3929 | + | |
3930 | 3930 |
| |
3931 | 3931 |
| |
3932 | 3932 |
| |
|
0 commit comments