jgarnek/DeRhamComputation
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

corrected for covers with denominators in group action or equations

Browse Source
This commit is contained in:
jgarnek 2024-08-31 16:09:08 +00:00
parent 0264277138
commit 884881c8aa
3 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -1,4 +1,4 @@
# SAGEMATH module: superelliptic curves and their abelian p-group covers
# SAGEMATH module: superelliptic curves and their p-group covers
## Usage

3
as_covers/as_function_class.sage
View File

@ -114,7 +114,8 @@ class as_function:
if elt in G.gens:
ind = G.gens.index(elt)
gp_action_list = C.cover_template.gp_action[ind]
sub_list = {x : x, y : y} | {z[j] : Rxyz(gp_action_list[j].subs({zgen[i] : z[i] for i in range(n)})) for j in range(n)}
sub_list_gen = {zgen[i] : RxyzQ(z[i]) for i in range(n)}|{fgen[i] : RxyzQ(AS.functions[i].function) for i in range(n)}
sub_list = {x : RxyzQ(x), y : RxyzQ(y)} | {z[j] : RxyzQ(gp_action_list[j].subs(sub_list_gen)) for j in range(n)}
g = self.function
return as_function(C, g.substitute(sub_list))
result = self

5
as_covers/template.sage
View File

@ -16,8 +16,9 @@ class template:
Rzf = PolynomialRing(field, 2*n, variable_names)
z = Rzf.gens()[:n]
f = Rzf.gens()[n:]
self.fct_field = Rzf, z, f
self.fcts = [Rzf(ff) for ff in fcts] #RHSs of the Artin-Schreier equations
RzfQ = FractionField(Rzf) #nowa linijka
self.fct_field = RzfQ, z, f #Rzf zmienione na RzfQ
self.fcts = [RzfQ(ff) for ff in fcts] #RHSs of the Artin-Schreier equations
def elementary_template(p, n):
group = elementary_gp(p, n)