jgarnek
0 Followers · 0 Following
  • Joined on 2020-03-02
Repositories
2
 Projects Packages Public Activity Starred Repositories
jgarnek pushed to master at jgarnek/DeRhamComputation 2025-01-02 18:30:19 +01:00
78b76a116a fixed issue with de Rham basis and coordinates for more than one place at infty (lift_to_de_rham) pt 2
jgarnek pushed to master at jgarnek/DeRhamComputation 2025-01-02 18:29:42 +01:00
dedec88e64 fixed issue with de Rham basis and coordinates for more than one place at infty (lift_to_de_rham)
jgarnek pushed to master at jgarnek/DeRhamComputation 2025-01-02 18:17:57 +01:00
3843cfa550 partially fixed issue with de Rham basis and coordinates for more than one place at infty
jgarnek pushed to master at jgarnek/DeRhamComputation 2024-12-21 19:36:54 +01:00
aebf8c0a5b superelliptic cech coordinates fix
jgarnek pushed to master at jgarnek/DeRhamComputation 2024-12-21 17:27:45 +01:00
85b0edd5d7 trying to fix superelliptic cech coordinates
jgarnek pushed to master at jgarnek/DeRhamComputation 2024-12-20 14:45:20 +01:00
fc5810d546 fixed action on dx for covers with non-p gp action
jgarnek pushed to master at jgarnek/DeRhamComputation 2024-12-20 12:12:26 +01:00
81b0e4c907 fixed tests; changed reduce for forms
jgarnek pushed to master at jgarnek/de_rham_cyclic 2024-12-18 12:54:38 +01:00
d29a4adb22 X ---> X/C cases
jgarnek pushed to master at jgarnek/de_rham_cyclic 2024-12-18 12:52:47 +01:00
a1a831d315 X ---> X/C
jgarnek pushed to master at jgarnek/de_rham_cyclic 2024-12-13 17:05:23 +01:00
6778e16191 example: y^m = x^p^n - x
jgarnek pushed to master at jgarnek/de_rham_cyclic 2024-12-12 21:19:07 +01:00
f044703839 new example
jgarnek pushed to master at jgarnek/de_rham_cyclic 2024-12-10 21:16:27 +01:00
77d0e54ffc chevalley weil for de Rham; proof
8895209e2d chevalley weil for de Rham 2 false
Compare 2 commits »
jgarnek pushed to master at jgarnek/de_rham_cyclic 2024-12-10 18:48:17 +01:00
d9c360a8f5 chevalley weil for de Rham
jgarnek pushed to master at jgarnek/de_rham_cyclic 2024-12-09 21:01:51 +01:00
0cdda6cee7 explicit formula for sylow subgroup Zp
jgarnek pushed to master at jgarnek/de_rham_cyclic 2024-12-09 18:40:18 +01:00
e8f93d5bda Ti M determines structure of M
jgarnek pushed to master at jgarnek/de_rham_cyclic 2024-12-09 15:38:27 +01:00
262535f385 monday 9.12. pt 1
jgarnek pushed to master at jgarnek/DeRhamComputation 2024-11-26 21:34:02 +01:00
b902e3fdca holomorphic differentials for non totally ramified covers
jgarnek pushed to master at jgarnek/DeRhamComputation 2024-10-21 21:44:22 +02:00
91e66e7c7a fixed small error in fiber 2
jgarnek pushed to master at jgarnek/DeRhamComputation 2024-10-21 21:43:47 +02:00
60e7512ccc fixed small error in fiber
jgarnek pushed to master at jgarnek/DeRhamComputation 2024-09-27 15:18:49 +02:00
adfe3aacf3 added possibility of substituting x, y and template of a wrong hypoelementary action