Skip to content

Commit

Permalink
Fix socle type for natural An/Sn in deg >= 2500
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin committed Dec 2, 2022
1 parent 79d96e1 commit d80f6e7
Show file tree
Hide file tree
Showing 15 changed files with 3,192 additions and 3,192 deletions.
432 changes: 216 additions & 216 deletions data/gps25.g

Large diffs are not rendered by default.

424 changes: 212 additions & 212 deletions data/gps26.g

Large diffs are not rendered by default.

384 changes: 192 additions & 192 deletions data/gps27.g

Large diffs are not rendered by default.

476 changes: 238 additions & 238 deletions data/gps28.g

Large diffs are not rendered by default.

484 changes: 242 additions & 242 deletions data/gps29.g

Large diffs are not rendered by default.

348 changes: 174 additions & 174 deletions data/gps30.g

Large diffs are not rendered by default.

460 changes: 230 additions & 230 deletions data/gps31.g

Large diffs are not rendered by default.

416 changes: 208 additions & 208 deletions data/gps32.g

Large diffs are not rendered by default.

440 changes: 220 additions & 220 deletions data/gps33.g

Large diffs are not rendered by default.

368 changes: 184 additions & 184 deletions data/gps34.g

Large diffs are not rendered by default.

460 changes: 230 additions & 230 deletions data/gps35.g

Large diffs are not rendered by default.

200 changes: 100 additions & 100 deletions data/gps36.g

Large diffs are not rendered by default.

516 changes: 258 additions & 258 deletions data/gps37.g

Large diffs are not rendered by default.

472 changes: 236 additions & 236 deletions data/gps38.g

Large diffs are not rendered by default.

504 changes: 252 additions & 252 deletions data/gps39.g

Large diffs are not rendered by default.

0 comments on commit d80f6e7

Please sign in to comment.