diff --git a/sage/.run.term-0.term b/sage/.run.term-0.term
index 8fcc158..64f48b1 100644
--- a/sage/.run.term-0.term
+++ b/sage/.run.term-0.term
@@ -16485,4 +16485,506 @@ no  24 -th root; divide by 2
 ^C^C^C^C^C^C^C^C^C^C^C^C
 
 ^C
-]0;~/Research/2021 De Rham/DeRhamComputation/sage[01;34m~/Research/2021 De Rham/DeRhamComputation/sage[00m$ 
\ No newline at end of file
+]0;~/Research/2021 De Rham/DeRhamComputation/sage[01;34m~/Research/2021 De Rham/DeRhamComputation/sage[00m$ 
[K]0;~/Research/2021 De Rham/DeRhamComputation/sage[01;34m~/Research/2021 De Rham/DeRhamComputation/sage[00m$ git add -u
+]0;~/Research/2021 De Rham/DeRhamComputation/sage[01;34m~/Research/2021 De Rham/DeRhamComputation/sage[00m$ git commit [K[K[K[K[K[K[Kstatus\
+> ^C
+]0;~/Research/2021 De Rham/DeRhamComputation/sage[01;34m~/Research/2021 De Rham/DeRhamComputation/sage[00m$ git status\[K
+On branch master
+Your branch is up to date with 'origin/master'.
+
+Changes to be committed:
+  (use "git restore --staged <file>..." to unstage)
+	[32mmodified:   ../elementary_covers_of_superelliptic_curves.ipynb[m
+	[32mmodified:   .run.term-0.term[m
+	[32mmodified:   as_covers/as_auxilliary.sage[m
+	[32mmodified:   as_covers/as_cover_class.sage[m
+	[32mmodified:   as_covers/as_form_class.sage[m
+	[32mmodified:   as_covers/as_function_class.sage[m
+	[32mmodified:   as_covers/combination_components.sage[m
+	[32mmodified:   as_covers/dual_element.sage[m
+	[32mmodified:   as_covers/ith_magical_component.sage[m
+	[32mmodified:   as_covers/tests/dual_element_test.sage[m
+	[32mmodified:   drafty/draft.sage[m
+	[32mmodified:   drafty/draft2.sage[m
+	[32mmodified:   drafty/draft3.sage[m
+	[32mmodified:   init.sage[m
+	[32mmodified:   tests.sage[m
+	[32mmodified:   ../superelliptic.ipynb[m
+
+Changes not staged for commit:
+  (use "git add <file>..." to update what will be committed)
+  (use "git restore <file>..." to discard changes in working directory)
+	[31mmodified:   .run.term-0.term[m
+
+Untracked files:
+  (use "git add <file>..." to include in what will be committed)
+	[31m../.crystalline_p2.ipynb.sage-jupyter2[m
+	[31m../.deRhamComputation.ipynb.sage-jupyter2[m
+	[31m../.elementary_covers_of_superelliptic_curves.ipynb.sage-jupyter2[m
+	[31m../.git.x11-0.term[m
+	[31m../.superelliptic.ipynb.sage-jupyter2[m
+	[31m../.superelliptic_alpha.ipynb.sage-jupyter2[m
+	[31m../.superelliptic_arbitrary_field.ipynb.sage-jupyter2[m
+	[31m../git.x11[m
+	[31mas_covers/as_reduction.sage[m
+	[31mas_covers/tests/diffn_test.sage[m
+	[31mdrafty/better_trace.sage[m
+	[31mdrafty/draft4.sage[m
+	[31mdrafty/draft5.sage[m
+	[31mdrafty/draft6.sage[m
+	[31mdrafty/draft8.sage[m
+	[31mdrafty/lift_to_de_rham.sage[m
+	[31mdrafty/pole_numbers.sage[m
+	[31m../superelliptic_arbitrary_field.ipynb[m
+
+]0;~/Research/2021 De Rham/DeRhamComputation/sage[01;34m~/Research/2021 De Rham/DeRhamComputation/sage[00m$ git ass[K[Kdd a*omega[K[K[K[K[K[K[K[K[Kd as_covers/tests/diffn_test.sage
+]0;~/Research/2021 De Rham/DeRhamComputation/sage[01;34m~/Research/2021 De Rham/DeRhamComputation/sage[00m$ git commit -m "cohomology of structure sheaf"
+
+*** Please tell me who you are.
+
+Run
+
+  git config --global user.email "you@example.com"
+  git config --global user.name "Your Name"
+
+to set your account's default identity.
+Omit --global to set the identity only in this repository.
+
+fatal: empty ident name (for <user@fa57a33d76fc>) not allowed
+]0;~/Research/2021 De Rham/DeRhamComputation/sage[01;34m~/Research/2021 De Rham/DeRhamComputation/sage[00m$ git config --global user.email "you@example.com"[1P"[1P"[1P"[1P"[1P"[1P"[1P"[1P"[1P"[1P"[1P"[1P"[1P"[1P"[1P"j"g"a"r"n"e"k"@"a"m"u"."e"d"u"."p"l"[C
+]0;~/Research/2021 De Rham/DeRhamComputation/sage[01;34m~/Research/2021 De Rham/DeRhamComputation/sage[00m$ git config --global user.name "Your Name"[1P"[1P"[1P"[1P"[1P"[1P"[1P"[1P"[1P"j"g"a"r"n"e"k"
+]0;~/Research/2021 De Rham/DeRhamComputation/sage[01;34m~/Research/2021 De Rham/DeRhamComputation/sage[00m$ gir [K[Kt push[K[K[K[K[K[K[K[Kgit config --global user.name "jgarnek"email "jgarnek@amu.edu.pl"[6Pmmit -m "cohomology of structure sheaf"
+[master c28c4a4] cohomology of structure sheaf
+ 17 files changed, 17238 insertions(+), 24743 deletions(-)
+ rewrite sage/.run.term-0.term (82%)
+ rewrite sage/as_covers/as_auxilliary.sage (63%)
+ create mode 100644 sage/as_covers/tests/diffn_test.sage
+ rewrite sage/drafty/draft.sage (93%)
+ rewrite sage/drafty/draft2.sage (83%)
+ rewrite sage/drafty/draft3.sage (100%)
+]0;~/Research/2021 De Rham/DeRhamComputation/sage[01;34m~/Research/2021 De Rham/DeRhamComputation/sage[00m$ git push
+Username for 'https://git.wmi.amu.edu.pl': jgarnek
+Password for 'https://jgarnek@git.wmi.amu.edu.pl': 
+Enumerating objects: 43, done.
+Counting objects:   2% (1/43)
Counting objects:   4% (2/43)
Counting objects:   6% (3/43)
Counting objects:   9% (4/43)
Counting objects:  11% (5/43)
Counting objects:  13% (6/43)
Counting objects:  16% (7/43)
Counting objects:  18% (8/43)
Counting objects:  20% (9/43)
Counting objects:  23% (10/43)
Counting objects:  25% (11/43)
Counting objects:  27% (12/43)
Counting objects:  30% (13/43)
Counting objects:  32% (14/43)
Counting objects:  34% (15/43)
Counting objects:  37% (16/43)
Counting objects:  39% (17/43)
Counting objects:  41% (18/43)
Counting objects:  44% (19/43)
Counting objects:  46% (20/43)
Counting objects:  48% (21/43)
Counting objects:  51% (22/43)
Counting objects:  53% (23/43)
Counting objects:  55% (24/43)
Counting objects:  58% (25/43)
Counting objects:  60% (26/43)
Counting objects:  62% (27/43)
Counting objects:  65% (28/43)
Counting objects:  67% (29/43)
Counting objects:  69% (30/43)
Counting objects:  72% (31/43)
Counting objects:  74% (32/43)
Counting objects:  76% (33/43)
Counting objects:  79% (34/43)
Counting objects:  81% (35/43)
Counting objects:  83% (36/43)
Counting objects:  86% (37/43)
Counting objects:  88% (38/43)
Counting objects:  90% (39/43)
Counting objects:  93% (40/43)
Counting objects:  95% (41/43)
Counting objects:  97% (42/43)
Counting objects: 100% (43/43)
Counting objects: 100% (43/43), done.
+Delta compression using up to 4 threads
+Compressing objects:   4% (1/23)
Compressing objects:   8% (2/23)
Compressing objects:  13% (3/23)
Compressing objects:  17% (4/23)
Compressing objects:  21% (5/23)
Compressing objects:  26% (6/23)
Compressing objects:  30% (7/23)
Compressing objects:  34% (8/23)
Compressing objects:  39% (9/23)
Compressing objects:  43% (10/23)
Compressing objects:  47% (11/23)
Compressing objects:  52% (12/23)
Compressing objects:  56% (13/23)
Compressing objects:  60% (14/23)
Compressing objects:  65% (15/23)
Compressing objects:  69% (16/23)
Compressing objects:  73% (17/23)
Compressing objects:  78% (18/23)
Compressing objects:  82% (19/23)
Compressing objects:  86% (20/23)
Compressing objects:  91% (21/23)
Compressing objects:  95% (22/23)
Compressing objects: 100% (23/23)
Compressing objects: 100% (23/23), done.
+Writing objects:   4% (1/23)
Writing objects:   8% (2/23)
Writing objects:  13% (3/23)
Writing objects:  17% (4/23)
Writing objects:  17% (4/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  21% (5/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  26% (6/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  30% (7/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  34% (8/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  39% (9/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  43% (10/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  47% (11/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  52% (12/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  56% (13/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  60% (14/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  65% (15/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  69% (16/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  73% (17/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  78% (18/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  82% (19/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  86% (20/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  91% (21/23), 1.05 MiB | 1.34 MiB/s
Writing objects:  95% (22/23), 1.05 MiB | 1.34 MiB/s
Writing objects: 100% (23/23), 1.05 MiB | 1.34 MiB/s
Writing objects: 100% (23/23), 1.20 MiB | 1.07 MiB/s, done.
+Total 23 (delta 15), reused 0 (delta 0)
+remote: . Processing 1 references[K
+remote: Processed 1 references in total[K
+To https://git.wmi.amu.edu.pl/jgarnek/DeRhamComputation.git
+   6edd5f9..c28c4a4  master -> master
+]0;~/Research/2021 De Rham/DeRhamComputation/sage[01;34m~/Research/2021 De Rham/DeRhamComputation/sage[00m$ sage
+┌────────────────────────────────────────────────────────────────────┐
+│ SageMath version 9.7, Release Date: 2022-09-19                     │
+│ Using Python 3.10.5. Type "help()" for help.                       │
+└────────────────────────────────────────────────────────────────────┘
+[22;0t]0;IPython: DeRhamComputation/sage[6n[?2004h[?1l[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0ml[0;38;5;241moad('init.sage')[16D[?7h[0m[?12l[?25h[?25l[?7l[0mo[?7h[0m[?12l[?25h[?25l[?7l[0mad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[23D[0m[J[0;94msage: [0mload([0;38;5;160;48;5;231m'init.sage'[0m)[23D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mA[0;38;5;241mS.magical_element()[19D[?7h[0m[?12l[?25h[?25l[?7l[0mS[?7h[0m[?12l[?25h[?25l[?7l[8D[0m[J[0;94msage: [0mAS[8D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0m(Z/p)^2-cover of Superelliptic curve with the equation y^1 = x over Finite Field of size 3 with the equations:
+z0^3 - z0 = x^7
+z1^3 - z1 = x^4
+
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mA[0;38;5;241mS[?7h[0m[?12l[?25h[?25l[?7l[0mS[?7h[0m[?12l[?25h[?25l[?7l[0m.[0;38;5;241mmagical_element()[17D[?7h[0m[?12l[?25h[?25l[?7l[0mc[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0mo[?7h[0m[?12l[?25h[?25l[?7l[0mh[?7h[0m[?12l[?25h[?25l[?7l[0momology_of_structure_sheaf_basis[?7h[0m[?12l[?25h[?25l[?7l[0m([?7h[0m[?12l[?25h[?25l[?7l[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[46D[0m[J[0;94msage: [0mAS.cohomology_of_structure_sheaf_basis()[46D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0m[z1/x,
+ z1^2/x,
+ z0/x,
+ z0*z1/x,
+ z0*z1^2/x,
+ z0^2/x,
+ z0^2*z1/x,
+ z0^2*z1^2/x,
+ z1^2/x^2,
+ z0*z1/x^2,
+ z0*z1^2/x^2,
+ z0^2/x^2,
+ z0^2*z1/x^2,
+ z0^2*z1^2/x^2,
+ z0*z1^2/x^3,
+ z0^2*z1/x^3,
+ z0^2*z1^2/x^3,
+ z0*z1^2/x^4,
+ z0^2*z1/x^4,
+ z0^2*z1^2/x^4,
+ z0^2*z1^2/x^5]
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mf[0;38;5;241mz*o[3D[?7h[0m[?12l[?25h[?25l[?7l[0mc[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0mt[?7h[0m[?12l[?25h[?25l[?7l[C[?7h[0m[?12l[?25h[?25l[?7l[0m=[?7h[0m[?12l[?25h[?25l[?7l[C[?7h[0m[?12l[?25h[?25l[?7l[0mA[?7h[0m[?12l[?25h[?25l[?7l[0mS[?7h[0m[?12l[?25h[?25l[?7l[0m.[?7h[0m[?12l[?25h[?25l[?7l[0mv[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0mc[?7h[0m[?12l[?25h[?25l[?7l[0mo[?7h[0m[?12l[?25h[?25l[?7l[0mh[?7h[0m[?12l[?25h[?25l[?7l[0mo[?7h[0m[?12l[?25h[?25l[?7l[0mmology_of_structure_sheaf_basis[?7h[0m[?12l[?25h[?25l[?7l[0m([?7h[0m[?12l[?25h[?25l[?7l[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[2D[0m()[[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;20;1m0[?7h[0m[?12l[?25h[?25l[?7l[2D[0;38;5;16;48;5;152m[[C][?7h[0m[?12l[?25h[?25l[?7l[55D[0m[J[0;94msage: [0mfct = AS.cohomology_of_structure_sheaf_basis()[[0;38;5;20;1m0[0m][55D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0ml[0;38;5;241moad('init.sage')[16D[?7h[0m[?12l[?25h[?25l[?7l[0mo[?7h[0m[?12l[?25h[?25l[?7l[0ma[?7h[0m[?12l[?25h[?25l[?7l[0md[?7h[0m[?12l[?25h[?25l[?7l[0m([?7h[0m[?12l[?25h[?25l[?7l[0md[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0mr[?7h[0m[?12l[?25h[?25l[?7l[0ma[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;160;48;5;231m'[0;38;5;241minit.sage')[11D[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;160;48;5;231md[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;160;48;5;231mr[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;160;48;5;231ma[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;160;48;5;231mf[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;160;48;5;231mty/[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;160;48;5;231ml[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;160;48;5;231mi[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;160;48;5;231mft_to_de_rham.sage[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;160;48;5;231m'[?7h[0m[?12l[?25h[?25l[?7l[30D[0;38;5;16;48;5;152m([29C)[?7h[0m[?12l[?25h[?25l[?7l[41D[0m[J[0;94msage: [0mload([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0m)[41D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[45D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m8[0m)[45D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0;31m---------------------------------------------------------------------------[0m
+[0;31mNameError[0m                                 Traceback (most recent call last)
+Input [0;32mIn [6][0m, in [0;36m<cell line: 1>[0;34m()[0m
+[0;32m----> 1[0m [43mlift_to_de_rham[49m[43m([49m[43mAS[49m[43m,[49m[43m [49m[43mfct[49m[43m,[49m[43m [49m[43mthreshold[49m[43m [49m[38;5;241;43m=[39;49m[43m [49m[43mInteger[49m[43m([49m[38;5;241;43m8[39;49m[43m)[49m[43m)[49m
+
+File [0;32m<string>:4[0m, in [0;36mlift_to_de_rham[0;34m(AS, fct, threshold)[0m
+
+[0;31mNameError[0m: name 'self' is not defined
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[38D[0moad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[41D[0m[J[0;94msage: [0mload([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0m)[41D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[34D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[45D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m8[0m)[45D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0;31m---------------------------------------------------------------------------[0m
+[0;31mNameError[0m                                 Traceback (most recent call last)
+Input [0;32mIn [8][0m, in [0;36m<cell line: 1>[0;34m()[0m
+[0;32m----> 1[0m [43mlift_to_de_rham[49m[43m([49m[43mAS[49m[43m,[49m[43m [49m[43mfct[49m[43m,[49m[43m [49m[43mthreshold[49m[43m [49m[38;5;241;43m=[39;49m[43m [49m[43mInteger[49m[43m([49m[38;5;241;43m8[39;49m[43m)[49m[43m)[49m
+
+File [0;32m<string>:24[0m, in [0;36mlift_to_de_rham[0;34m(AS, fct, threshold)[0m
+
+[0;31mNameError[0m: name 'self' is not defined
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[38D[0moad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[34D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[45D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m8[0m)[45D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0;31m---------------------------------------------------------------------------[0m
+[0;31mNameError[0m                                 Traceback (most recent call last)
+Input [0;32mIn [9][0m, in [0;36m<cell line: 1>[0;34m()[0m
+[0;32m----> 1[0m [43mlift_to_de_rham[49m[43m([49m[43mAS[49m[43m,[49m[43m [49m[43mfct[49m[43m,[49m[43m [49m[43mthreshold[49m[43m [49m[38;5;241;43m=[39;49m[43m [49m[43mInteger[49m[43m([49m[38;5;241;43m8[39;49m[43m)[49m[43m)[49m
+
+File [0;32m<string>:24[0m, in [0;36mlift_to_de_rham[0;34m(AS, fct, threshold)[0m
+
+[0;31mNameError[0m: name 'self' is not defined
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[38D[0moad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[41D[0m[J[0;94msage: [0mload([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0m)[41D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[34D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[45D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m8[0m)[45D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0;31m---------------------------------------------------------------------------[0m
+[0;31mAttributeError[0m                            Traceback (most recent call last)
+Input [0;32mIn [11][0m, in [0;36m<cell line: 1>[0;34m()[0m
+[0;32m----> 1[0m [43mlift_to_de_rham[49m[43m([49m[43mAS[49m[43m,[49m[43m [49m[43mfct[49m[43m,[49m[43m [49m[43mthreshold[49m[43m [49m[38;5;241;43m=[39;49m[43m [49m[43mInteger[49m[43m([49m[38;5;241;43m8[39;49m[43m)[49m[43m)[49m
+
+File [0;32m<string>:30[0m, in [0;36mlift_to_de_rham[0;34m(AS, fct, threshold)[0m
+
+[0;31mAttributeError[0m: 'as_form' object has no attribute 'valuation'
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[38D[0moad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[34D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[38D[0moad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[34D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[38D[0moad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[35D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m0[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mAS.cohomol[Cgy_[Cf_structure_sheaf[Cbasis[0;38;5;16;48;5;152m()[0m[K[?7h[0m[?12l[?25h[?25l[?7l[38D[0m[K[?7h[0m[?12l[?25h[?25l[?7l[2D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[23D[0m[J[0;94msage: [0mload([0;38;5;160;48;5;231m'init.sage'[0m)[23D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[16D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[45D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m8[0m)[45D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0m(0) * dx
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mf[0;38;5;241mct = AS.cohomology_of_structure_sheaf_basis()[0][48D[?7h[0m[?12l[?25h[?25l[?7l[0mc[?7h[0m[?12l[?25h[?25l[?7l[0mt[?7h[0m[?12l[?25h[?25l[?7l[9D[0m[J[0;94msage: [0mfct[9D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0mz1/x
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mz[0;38;5;241mmag = AS.magical_element(threshold = 18)[0][43D[?7h[0m[?12l[?25h[?25l[?7l[0m1[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m/[?7h[0m[?12l[?25h[?25l[?7l[0mx[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mf[0;38;5;241mct[2D[?7h[0m[?12l[?25h[?25l[?7l[0mc[?7h[0m[?12l[?25h[?25l[?7l[0mt[?7h[0m[?12l[?25h[?25l[?7l[0m.[?7h[0m[?12l[?25h[?25l[?7l[0mv[?7h[0m[?12l[?25h[?25l[?7l[0ma[?7h[0m[?12l[?25h[?25l[?7l[0ml[?7h[0m[?12l[?25h[?25l[?7l[0mu[?7h[0m[?12l[?25h[?25l[?7l[0ma[?7h[0m[?12l[?25h[?25l[?7l[0mt[?7h[0m[?12l[?25h[?25l[?7l[0mi[?7h[0m[?12l[?25h[?25l[?7l[0mo[?7h[0m[?12l[?25h[?25l[?7l[0mn[?7h[0m[?12l[?25h[?25l[?7l[0m([?7h[0m[?12l[?25h[?25l[?7l[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[21D[0m[J[0;94msage: [0mfct.valuation()[21D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0m-3
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0md[0;38;5;241mef Frob(x,y):[13D[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mf[0;38;5;241mct.valuation()[14D[?7h[0m[?12l[?25h[?25l[?7l[0mc[?7h[0m[?12l[?25h[?25l[?7l[0mt[?7h[0m[?12l[?25h[?25l[?7l[0m.[?7h[0m[?12l[?25h[?25l[?7l[0mf[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0md[?7h[0m[?12l[?25h[?25l[?7l[0mi[?7h[0m[?12l[?25h[?25l[?7l[0mf[?7h[0m[?12l[?25h[?25l[?7l[0mf[?7h[0m[?12l[?25h[?25l[?7l[0mn[?7h[0m[?12l[?25h[?25l[?7l[0m([?7h[0m[?12l[?25h[?25l[?7l[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[17D[0m[J[0;94msage: [0mfct.diffn()[17D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0m((-x^4 - z1)/x^2) * dx
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mfct.diffn[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[2D[0m().[?7h[0m[?12l[?25h[?25l[?7l[0mv[?7h[0m[?12l[?25h[?25l[?7l[0ma[?7h[0m[?12l[?25h[?25l[?7l[0ml[?7h[0m[?12l[?25h[?25l[?7l[0mu[?7h[0m[?12l[?25h[?25l[?7l[0ma[?7h[0m[?12l[?25h[?25l[?7l[0mt[?7h[0m[?12l[?25h[?25l[?7l[0mi[?7h[0m[?12l[?25h[?25l[?7l[0mo[?7h[0m[?12l[?25h[?25l[?7l[0mn[?7h[0m[?12l[?25h[?25l[?7l[0m([?7h[0m[?12l[?25h[?25l[?7l[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[29D[0m[J[0;94msage: [0mfct.diffn().valuation()[29D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0m22
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[0m\[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0mfct.diffn().valuation[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[14D[0;38;5;16;48;5;152m()[0m[K[?7h[0m[?12l[?25h[?25l[?7l[7D[0mvaluation[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[12D[0m[K[?7h[0m[?12l[?25h[?25l[?7l[3D[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[38D[0moad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[16D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[38D[0moad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[34D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[38D[0moad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[34D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[38D[0moad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[35D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m0[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mAS.cohomol[Cgy_[Cf_structure_sheaf[Cbasis[0;38;5;16;48;5;152m()[0m[K[?7h[0m[?12l[?25h[?25l[?7l[40D[0mfct = AS.c[Chom[Clogy_of_structure[Csheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m0[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[0;38;5;210;48;5;88m][?7h[0m[?12l[?25h[?25l[?7l[0;38;5;210;48;5;88m][0m[K[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;20;1m1[0;38;5;210;48;5;88m][?7h[0m[?12l[?25h[?25l[?7l[54D[0m[J[0;94msage: [0mfct = AS.cohomology_of_structure_sheaf_basis()[[0;38;5;20;1m1[0m][55D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m1[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[46D[0m.diffn().valuation[0;38;5;16;48;5;152m()[0m[K[?7h[0m[?12l[?25h[?25l[?7l[14D[0;38;5;16;48;5;152m()[0m[K[?7h[0m[?12l[?25h[?25l[?7l[7D[0mvaluation[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[12D[0m[K[?7h[0m[?12l[?25h[?25l[?7l[3D[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[45D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m8[0m)[45D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0m(0) * dx
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[39D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m1[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[0;38;5;210;48;5;88m][?7h[0m[?12l[?25h[?25l[?7l[0;38;5;210;48;5;88m][0m[K[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;20;1m5[0;38;5;210;48;5;88m][?7h[0m[?12l[?25h[?25l[?7l[54D[0m[J[0;94msage: [0mfct = AS.cohomology_of_structure_sheaf_basis()[[0;38;5;20;1m5[0m][55D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[45D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m8[0m)[45D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;210;48;5;88m)[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;210;48;5;88m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;20;1m2[0;38;5;210;48;5;88m)[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;20;1m0[0;38;5;210;48;5;88m)[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[46D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m20[0m)[46D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m20[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[3D[0;38;5;20;1m8[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[39D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[39D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m1[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[46D[0m.diffn().valuation[0;38;5;16;48;5;152m()[0m[K[?7h[0m[?12l[?25h[?25l[?7l[14D[0;38;5;16;48;5;152m()[0m[K[?7h[0m[?12l[?25h[?25l[?7l[7D[0mvaluation[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[12D[0m[K[?7h[0m[?12l[?25h[?25l[?7l[3D[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[38D[0moad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[16D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[38D[0moad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[34D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m8[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[38D[0moad[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[23D[0m[J[0;94msage: [0mload([0;38;5;160;48;5;231m'init.sage'[0m)[23D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[16D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m20[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[3D[0;38;5;20;1m8[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[39D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[55D[0m[J[0;94msage: [0mfct = AS.cohomology_of_structure_sheaf_basis()[[0;38;5;20;1m5[0m][55D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[16D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m20[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[46D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m20[0m)[46D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m20[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;210;48;5;88m)[?7h[0m[?12l[?25h[?25l[?7l[24D[0m([23C)[2D[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;20;1m0[0m)[0m[K[2D[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;20;1m30[0m)[2D[?7h[0m[?12l[?25h[?25l[?7l[44D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m30[0m)[46D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[3D[0;38;5;20;1m2[2C[?7h[0m[?12l[?25h[?25l[?7l[3D[0;38;5;20;1m3[2C[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;210;48;5;88m)[?7h[0m[?12l[?25h[?25l[?7l[24D[0m([23C)[2D[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;20;1m0[0m)[0m[K[2D[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;20;1m40[0m)[2D[?7h[0m[?12l[?25h[?25l[?7l[23D[0;38;5;16;48;5;152m([23C[0;38;5;210;48;5;88m)[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[46D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m40[0m)[46D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m40[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[3D[0;38;5;20;1m3[2C[?7h[0m[?12l[?25h[?25l[?7l[3D[0;38;5;20;1m2[2C[?7h[0m[?12l[?25h[?25l[?7l[40D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[23D[0m[J[0;94msage: [0mload([0;38;5;160;48;5;231m'init.sage'[0m)[23D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[16D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m40[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[3D[0;38;5;20;1m3[2C[?7h[0m[?12l[?25h[?25l[?7l[3D[0;38;5;20;1m2[2C[?7h[0m[?12l[?25h[?25l[?7l[40D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[55D[0m[J[0;94msage: [0mfct = AS.cohomology_of_structure_sheaf_basis()[[0;38;5;20;1m5[0m][55D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mf[0;38;5;241mct = AS.cohomology_of_structure_sheaf_basis()[5][48D[?7h[0m[?12l[?25h[?25l[?7l[0mc[?7h[0m[?12l[?25h[?25l[?7l[0mt[?7h[0m[?12l[?25h[?25l[?7l[9D[0m[J[0;94msage: [0mfct[9D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0mz0^2/x
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mfct[?7h[0m[?12l[?25h[?25l[?7l[0m = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[16D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m40[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[3D[0;38;5;20;1m3[2C[?7h[0m[?12l[?25h[?25l[?7l[3D[0;38;5;20;1m2[2C[?7h[0m[?12l[?25h[?25l[?7l[3D[0;38;5;20;1m3[2C[?7h[0m[?12l[?25h[?25l[?7l[46D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m30[0m)[46D[0m

+[J[?7h[0m[?12l[?25h[?2004l22 21
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;210;48;5;88m)[?7h[0m[?12l[?25h[?25l[?7l[39D[0m[K[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mf[0;38;5;241mct[2D[?7h[0m[?12l[?25h[?25l[?7l[0mc[?7h[0m[?12l[?25h[?25l[?7l[0mt[?7h[0m[?12l[?25h[?25l[?7l[0m.[0;38;5;241mdiffn().valuation()[19D[?7h[0m[?12l[?25h[?25l[?7l[0mv[0;38;5;241maluation()[0m[K[10D[?7h[0m[?12l[?25h[?25l[?7l[0maluation[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[21D[0m[J[0;94msage: [0mfct.valuation()[21D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0m-33
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mf[0;38;5;241mct.valuation()[14D[?7h[0m[?12l[?25h[?25l[?7l[0mc[?7h[0m[?12l[?25h[?25l[?7l[0mt[?7h[0m[?12l[?25h[?25l[?7l[0m.[?7h[0m[?12l[?25h[?25l[?7l[0md[0;38;5;241miffn().valuation()[18D[?7h[0m[?12l[?25h[?25l[?7l[0mi[?7h[0m[?12l[?25h[?25l[?7l[0mf[?7h[0m[?12l[?25h[?25l[?7l[0mf[?7h[0m[?12l[?25h[?25l[?7l[0mn().valuation[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[29D[0m[J[0;94msage: [0mfct.diffn().valuation()[29D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0m-26
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mo[0;38;5;241m = AS.holomorphic_differentials_basis()[0][42D[?7h[0m[?12l[?25h[?25l[?7l[0mm[0m[K[?7h[0m[?12l[?25h[?25l[?7l[C[?7h[0m[?12l[?25h[?25l[?7l[0m=[?7h[0m[?12l[?25h[?25l[?7l[C[?7h[0m[?12l[?25h[?25l[?7l[0mA[?7h[0m[?12l[?25h[?25l[?7l[0mS[?7h[0m[?12l[?25h[?25l[?7l[0m.[?7h[0m[?12l[?25h[?25l[?7l[0mh[?7h[0m[?12l[?25h[?25l[?7l[0mo[?7h[0m[?12l[?25h[?25l[?7l[0ml[?7h[0m[?12l[?25h[?25l[?7l[0mo[?7h[0m[?12l[?25h[?25l[?7l[0mmorphic_differentials_basis[?7h[0m[?12l[?25h[?25l[?7l[0m([?7h[0m[?12l[?25h[?25l[?7l[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[2D[0m()[[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;20;1m1[?7h[0m[?12l[?25h[?25l[?7l[2D[0;38;5;16;48;5;152m[[C][?7h[0m[?12l[?25h[?25l[?7l[50D[0m[J[0;94msage: [0mom = AS.holomorphic_differentials_basis()[[0;38;5;20;1m1[0m][50D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;20;1m2[0;38;5;241m+2[2D[?7h[0m[?12l[?25h[?25l[?7l[0m*[0;38;5;241mAS.genus()[10D[?7h[0m[?12l[?25h[?25l[?7l[0mo[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0mm[?7h[0m[?12l[?25h[?25l[?7l[10D[0m[J[0;94msage: [0;38;5;20;1m2[0m*om[10D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0m(-z1) * dx
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mo[0;38;5;241mm = AS.holomorphic_differentials_basis()[1][43D[?7h[0m[?12l[?25h[?25l[?7l[0mm[?7h[0m[?12l[?25h[?25l[?7l[8D[0m[J[0;94msage: [0mom[8D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0m(z1) * dx
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mom[?7h[0m[?12l[?25h[?25l[?7l[2D[0;38;5;20;1m2[0m*om[?7h[0m[?12l[?25h[?25l[?7l[4D[0mom = AS.holomorphic_differentials_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m1[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[44D[0mfct.diffn().valuation[0;38;5;16;48;5;152m()[0m[K[?7h[0m[?12l[?25h[?25l[?7l[19D[0mvaluation[0;38;5;16;48;5;152m()[0m[K[?7h[0m[?12l[?25h[?25l[?7l[15D[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[40D[0mfct[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[23D[0m[J[0;94msage: [0mload([0;38;5;160;48;5;231m'init.sage'[0m)[23D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[17D[0mom[0m[K[?7h[0m[?12l[?25h[?25l[?7l[2D[0;38;5;20;1m2[0m*om[?7h[0m[?12l[?25h[?25l[?7l[4D[0mom = AS.holomorphic_differentials_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m1[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[44D[0mfct.diffn().valuation[0;38;5;16;48;5;152m()[0m[K[?7h[0m[?12l[?25h[?25l[?7l[19D[0mvaluation[0;38;5;16;48;5;152m()[0m[K[?7h[0m[?12l[?25h[?25l[?7l[15D[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[40D[0mfct[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[55D[0m[J[0;94msage: [0mfct = AS.cohomology_of_structure_sheaf_basis()[[0;38;5;20;1m5[0m][55D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[17D[0mom[0m[K[?7h[0m[?12l[?25h[?25l[?7l[2D[0;38;5;20;1m2[0m*om[?7h[0m[?12l[?25h[?25l[?7l[4D[0mom = AS.holomorphic_differentials_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m1[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[44D[0mfct.diffn().valuation[0;38;5;16;48;5;152m()[0m[K[?7h[0m[?12l[?25h[?25l[?7l[19D[0mvaluation[0;38;5;16;48;5;152m()[0m[K[?7h[0m[?12l[?25h[?25l[?7l[15D[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[46D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m30[0m)[46D[0m

+[J[?7h[0m[?12l[?25h[?2004l22 21
+((-z0^2)/x^2) * dx
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[40D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[23D[0m[J[0;94msage: [0mload([0;38;5;160;48;5;231m'init.sage'[0m)[23D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[16D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[40D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[55D[0m[J[0;94msage: [0mfct = AS.cohomology_of_structure_sheaf_basis()[[0;38;5;20;1m5[0m][55D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[23D[0m[J[0;94msage: [0mload([0;38;5;160;48;5;231m'init.sage'[0m)[23D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[17D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[55D[0m[J[0;94msage: [0mfct = AS.cohomology_of_structure_sheaf_basis()[[0;38;5;20;1m5[0m][55D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[17D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[16D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[46D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m30[0m)[46D[0m

+[J[?7h[0m[?12l[?25h[?2004l22 21
+((-z0^2)/x^2) * dx
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+-26
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[40D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[23D[0m[J[0;94msage: [0mload([0;38;5;160;48;5;231m'init.sage'[0m)[23D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[16D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[40D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[55D[0m[J[0;94msage: [0mfct = AS.cohomology_of_structure_sheaf_basis()[[0;38;5;20;1m5[0m][55D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[16D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[46D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m30[0m)[46D[0m

+[J[?7h[0m[?12l[?25h[?2004l22 21
+((-z0^2)/x^2) * dx
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+a: 0
+-26
+a: 1
+-26
+a: 2
+-26
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[40D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[23D[0m[J[0;94msage: [0mload([0;38;5;160;48;5;231m'init.sage'[0m)[23D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[16D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[40D[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[55D[0m[J[0;94msage: [0mfct = AS.cohomology_of_structure_sheaf_basis()[[0;38;5;20;1m5[0m][55D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mfct = AS.cohomology_of_structure_sheaf_basis()[0;38;5;16;48;5;152m[[0;38;5;20;1m5[0;38;5;16;48;5;152m][?7h[0m[?12l[?25h[?25l[?7l[49D[0mload[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[0m[K[?7h[0m[?12l[?25h[?25l[?7l[16D[0mift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[46D[0m[J[0;94msage: [0mlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m30[0m)[46D[0m

+[J[?7h[0m[?12l[?25h[?2004l22 21
+((-z0^2)/x^2) * dx 16 -26
+a: 0
+-26
+a: 1
+-26
+[0m[?7h[0;91m[0m[0m((-z0^2)/x^2) * dx
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mlift_to_de_rham[0;38;5;16;48;5;152m([0mAS, fct, threshold = [0;38;5;20;1m30[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;210;48;5;88m)[?7h[0m[?12l[?25h[?25l[?7l[24D[0m([23C)[2D[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;210;48;5;88m([23C[0;38;5;16;48;5;152m)[25D[?7h[0m[?12l[?25h[?25l[?7l[0m([23C)[26D[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[2D[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mAlift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m30[0m)[40D[?7h[0m[?12l[?25h[?25l[?7l[0m lift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m30[0m)[40D[?7h[0m[?12l[?25h[?25l[?7l[0m=lift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m30[0m)[40D[?7h[0m[?12l[?25h[?25l[?7l[0m lift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m30[0m)[40D[?7h[0m[?12l[?25h[?25l[?7l[15C[0;38;5;210;48;5;88m([23C[0;38;5;16;48;5;152m)[25D[?7h[0m[?12l[?25h[?25l[?7l[0m([23C)[22D[?7h[0m[?12l[?25h[?25l[?7l[5C[?7h[0m[?12l[?25h[?25l[?7l[11C[?7h[0m[?12l[?25h[?25l[?7l[2C[?7h[0m[?12l[?25h[?25l[?7l[21D[0;38;5;16;48;5;152m([23C[0;38;5;210;48;5;88m)[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[49D[0m[J[0;94msage: [0mA = lift_to_de_rham(AS, fct, threshold = [0;38;5;20;1m30[0m)[50D[0m

+[J[?7h[0m[?12l[?25h[?2004l22 21
+((-z0^2)/x^2) * dx 16 -26
+a: 0
+-26
+a: 1
+-26
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mA[0;38;5;241m = lift_to_de_rham(AS, fct, threshold = 30)[43D[?7h[0m[?12l[?25h[?25l[?7l[7D[0m[J[0;94msage: [0mA[7D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0m((-z0^2)/x^2) * dx
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0ml[0;38;5;241mift_to_de_rham(AS, fct, threshold = 30)[39D[?7h[0m[?12l[?25h[?25l[?7l[0mo[0;38;5;241mad('init.sage')[0m[K[15D[?7h[0m[?12l[?25h[?25l[?7l[0ma[?7h[0m[?12l[?25h[?25l[?7l[0md[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;16;48;5;152m([0;38;5;160;48;5;231m'init.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[13D[0m([11C[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;160;48;5;231m'[0;38;5;241minit.sage')[11D[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;160;48;5;231md[0;38;5;241mrafty/lift_to_de_rham.sage')[28D[?7h[0m[?12l[?25h[?25l[?7l[0;38;5;160;48;5;231mr[?7h[0m[?12l[?25h[?25l[?7l[4D[0;38;5;16;48;5;152m([3C[0;38;5;160;48;5;231mafty/lift_to_de_rham.sage'[0;38;5;16;48;5;152m)[?7h[0m[?12l[?25h[?25l[?7l[41D[0m[J[0;94msage: [0mload([0;38;5;160;48;5;231m'drafty/lift_to_de_rham.sage'[0m)[41D[0m

+[J[?7h[0m[?12l[?25h[?2004l[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mA[?7h[0m[?12l[?25h[?25l[?7l[0mS[0;38;5;241m.cohomology_of_structure_sheaf_basis()[38D[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0m[K[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0md[0;38;5;241mef Frob(x,y):[13D[?7h[0m[?12l[?25h[?25l[?7l[0me[?7h[0m[?12l[?25h[?25l[?7l[0m_[0m[K[?7h[0m[?12l[?25h[?25l[?7l[0mr[?7h[0m[?12l[?25h[?25l[?7l[0mh[?7h[0m[?12l[?25h[?25l[?7l[0ma[?7h[0m[?12l[?25h[?25l[?7l[0mm[?7h[0m[?12l[?25h[?25l[?7l[0m_[?7h[0m[?12l[?25h[?25l[?7l[0mbasis[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0m([?7h[0m[?12l[?25h[?25l[?7l[0mA[?7h[0m[?12l[?25h[?25l[?7l[0mS[?7h[0m[?12l[?25h[?25l[?7l[3D[0;38;5;16;48;5;152m([2C)[?7h[0m[?12l[?25h[?25l[?7l[23D[0m[J[0;94msage: [0mde_rham_basis(AS)[23D[0m

+[J[?7h[0m[?12l[?25h[?2004l22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+22 21
+[0m[?7h[0;91m[0m[0m[((1) * dx, 0),
+ ((z1) * dx, 0),
+ ((z1^2) * dx, 0),
+ ((z0) * dx, 0),
+ ((z0*z1) * dx, 0),
+ ((-x^5 + z0*z1^2) * dx, 0),
+ ((-x^2*z1^2 + z0^2) * dx, 0),
+ ((x^6 + x*z0*z1^2 + z0^2*z1) * dx, 0),
+ ((x) * dx, 0),
+ ((x*z1) * dx, 0),
+ ((x*z1^2) * dx, 0),
+ ((x*z0) * dx, 0),
+ ((-x^2*z1^2 + x*z0*z1) * dx, 0),
+ ((x^3*z1^2 + x^2*z0*z1 + x*z0^2) * dx, 0),
+ ((x^2) * dx, 0),
+ ((x^2*z1) * dx, 0),
+ ((x^2*z0) * dx, 0),
+ ((x^3) * dx, 0),
+ ((x^3*z1) * dx, 0),
+ ((-x^4*z1 + x^3*z0) * dx, 0),
+ ((x^4) * dx, 0),
+ (((-z0^2)/x^2) * dx, z1/x),
+ (((-z0^2)/x^2) * dx, z1^2/x),
+ (((-z0^2)/x^2) * dx, z0/x),
+ (((-z0^2)/x^2) * dx, z0*z1/x),
+ (((-z0^2)/x^2) * dx, z0*z1^2/x),
+ (((-z0^2)/x^2) * dx, z0^2/x),
+ (((-z0^2)/x^2) * dx, z0^2*z1/x),
+ (((-z0^2)/x^2) * dx, z0^2*z1^2/x),
+ (((-z0^2)/x^2) * dx, z1^2/x^2),
+ (((-z0^2)/x^2) * dx, z0*z1/x^2),
+ (((-z0^2)/x^2) * dx, z0*z1^2/x^2),
+ (((-z0^2)/x^2) * dx, z0^2/x^2),
+ (((-z0^2)/x^2) * dx, z0^2*z1/x^2),
+ (((-z0^2)/x^2) * dx, z0^2*z1^2/x^2),
+ (((-z0^2)/x^2) * dx, z0*z1^2/x^3),
+ (((-z0^2)/x^2) * dx, z0^2*z1/x^3),
+ (((-z0^2)/x^2) * dx, z0^2*z1^2/x^3),
+ (((-z0^2)/x^2) * dx, z0*z1^2/x^4),
+ (((-z0^2)/x^2) * dx, z0^2*z1/x^4),
+ (((-z0^2)/x^2) * dx, z0^2*z1^2/x^4),
+ (((-z0^2)/x^2) * dx, z0^2*z1^2/x^5)]
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mA[?7h[0m[?12l[?25h[?25l[?7l[0mS[0;38;5;241m.cohomology_of_structure_sheaf_basis()[38D[?7h[0m[?12l[?25h[?25l[?7l[0m.[?7h[0m[?12l[?25h[?25l[?7l[0mg[0;38;5;241menus()[0m[K[6D[?7h[0m[?12l[?25h[?25l[?7l[0me[?7h[0m[?12l[?25h[?25l[?7l[0mn[?7h[0m[?12l[?25h[?25l[?7l[0mu[?7h[0m[?12l[?25h[?25l[?7l[0ms[?7h[0m[?12l[?25h[?25l[?7l[0m([?7h[0m[?12l[?25h[?25l[?7l[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[16D[0m[J[0;94msage: [0mAS.genus()[16D[0m

+[J[?7h[0m[?12l[?25h[?2004l[0m[?7h[0;91m[0m[0m21
+[6n[?2004h[?25l[0m[?7l[0m[J[0;94msage: [6D[6C[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[?7h[0m[?12l[?25h[?25l[?7l[0mq[?7h[0m[?12l[?25h[?25l[?7l[0mu[?7h[0m[?12l[?25h[?25l[?7l[0mi[?7h[0m[?12l[?25h[?25l[?7l[0mt[?7h[0m[?12l[?25h[?25l[?7l[0m([?7h[0m[?12l[?25h[?25l[?7l[0;38;5;16;48;5;152m()[?7h[0m[?12l[?25h[?25l[?7l[12D[0m[J[0;94msage: [0mquit()[12D[0m

+[J[?7h[0m[?12l[?25h[?2004l[23;0t]0;~/Research/2021 De Rham/DeRhamComputation/sage[01;34m~/Research/2021 De Rham/DeRhamComputation/sage[00m$ git add[K[K[K[K[K[K[Kg
\ No newline at end of file
diff --git a/sage/as_covers/as_cover_class.sage b/sage/as_covers/as_cover_class.sage
index 89953e0..ed489b1 100644
--- a/sage/as_covers/as_cover_class.sage
+++ b/sage/as_covers/as_cover_class.sage
@@ -329,6 +329,49 @@ class as_cover:
                         result_fcts += [f]
             i += 1
         return result_fcts
+
+    def lift_to_de_rham(AS, fct, threshold = 8):
+        '''Given function fct, find form eta regular on affine part such that eta - d(fct) is regular in infty. (Works for one place at infty now)'''
+        from itertools import product
+        x_series = AS.x
+        y_series = AS.y
+        z_series = AS.z
+        dx_series = AS.dx
+        delta = AS.nb_of_pts_at_infty
+        p = AS.characteristic
+        n = AS.height
+        prec = AS.prec
+        C = AS.quotient
+        F = AS.base_ring
+        m = C.exponent
+        r = C.polynomial.degree()
+        RxyzQ, Rxyz, x, y, z = AS.fct_field
+        Rt.<t> = LaurentSeriesRing(F, default_prec=prec)
+        #Tworzymy zbiór S form z^i x^j y^k dx/y o waluacji >= waluacja z^(p-1)*dx/y
+        S = [(fct.diffn(), fct.diffn().expansion_at_infty())]
+        pr = [list(GF(p)) for _ in range(n)]
+        for i in range(0, threshold*r):
+            for j in range(0, m):
+                for k in product(*pr):
+                    eta = as_form(AS, x^i * prod(z[i1]^(k[i1]) for i1 in range(n))*y^j)
+                    eta_exp = eta.expansion_at_infty()
+                    S += [(eta, eta_exp)]
+        forms = holomorphic_combinations(S)
+        for omega in forms:
+            if not are_forms_linearly_dependent(holo + [omega]):
+                for a in F:
+                    if (a*omega - fct.diffn()).form in Rxyz:
+                        return a*omega
+
+
+    def de_rham_basis(AS, threshold = 8):
+        result = []
+        for omega in AS.holomorphic_differentials_basis():
+            result += [(omega, 0)]
+        for f in AS.cohomology_of_structure_sheaf_basis():
+            omega = lift_to_de_rham(AS, fct, threshold = 8)
+            result += [(omega, f)]
+        return result    
     
 def holomorphic_combinations(S):
     """Given a list S of pairs (form, corresponding Laurent series at some pt), find their combinations holomorphic at that pt."""
diff --git a/sage/as_covers/as_form_class.sage b/sage/as_covers/as_form_class.sage
index 146268f..b7eec1d 100644
--- a/sage/as_covers/as_form_class.sage
+++ b/sage/as_covers/as_form_class.sage
@@ -105,10 +105,13 @@ class as_form:
         Qxy = FractionField(Rxy)
         result = as_reduction(AS, result)
         return superelliptic_form(C_super, Qxy(result))
-    
+
     def residue(self, place=0):
         return self.expansion_at_infty(i = place).residue()
 
+    def valuation(self, place=0):
+        return self.expansion_at_infty(i = place).valuation()
+
 def artin_schreier_transform(power_series, prec = 10):
     """Given a power_series, find correction such that power_series - (correction)^p +correction has valuation
        -jump non divisible by p. Also, express t (the variable) in terms of the uniformizer at infty on the curve
diff --git a/sage/drafty/draft3.sage b/sage/drafty/draft3.sage
index b58e59d..201ab8e 100644
--- a/sage/drafty/draft3.sage
+++ b/sage/drafty/draft3.sage
@@ -8,16 +8,4 @@ C_super = superelliptic(f, m)
 Rxy.<x, y> = PolynomialRing(F, 2)
 f1 = superelliptic_function(C_super, x^7)
 f2 = superelliptic_function(C_super, x^4)
-AS = as_cover(C_super, [f1, f2], prec=1000)
-AS1 = as_cover(C_super, [f1], prec=1000)
-#print(AS.ramification_jumps())
-#print(pole_numbers(AS))
-RxyzQ, Rxyz, x, y, z = AS.fct_field
-zmag = (AS.magical_element())[0]
-zvee = dual_elt(AS, zmag)
-t = AS.uniformizer()
-omega1 = AS1.holomorphic_differentials_basis()[4]
-omega2 = as_form(AS, t.function*RxyzQ(omega1.form))
-
-for g in AS.group:
-    print(ith_magical_component(omega2, zvee, g).expansion_at_infty().valuation(), AS.jumps[0][1])
\ No newline at end of file
+AS = as_cover(C_super, [f1, f2], prec=1000)
\ No newline at end of file
diff --git a/sage/init.sage b/sage/init.sage
index 2f55433..f2b5faa 100644
--- a/sage/init.sage
+++ b/sage/init.sage
@@ -15,6 +15,7 @@ load('auxilliaries/reverse.sage')
 load('auxilliaries/hensel.sage')
 ##############
 ##############
-load('drafty/draft.sage')
+load('drafty/lift_to_de_rham.sage')
+load('drafty/draft3.sage')
 load('drafty/pole_numbers.sage')
 #load('drafty/draft4.sage')
\ No newline at end of file
