diff --git a/as_covers/as_form_class.sage b/as_covers/as_form_class.sage index 21fbbd3..b273734 100644 --- a/as_covers/as_form_class.sage +++ b/as_covers/as_form_class.sage @@ -71,13 +71,15 @@ class as_form: m = self.curve.quotient.exponent aux = as_reduction(self.curve, RxyzQ(y^m*self.form)) return as_form(self.curve, aux/y^m) - + #aux = as_reduction(self.curve, RxyzQ(self.form)) + #return as_form(self.curve, aux) + def group_action(self, elt): C = self.curve n = C.height - aux = as_function(C, self.form) - aux = aux.group_action(elt) - return as_form(C, aux.function) + dx_action = (C.x.group_action(elt)).diffn() + aux = as_function(C, self.form).group_action(elt) + return as_function(C, aux.function)*dx_action def coordinates(self, basis = 0): """Find coordinates of the given holomorphic form self in terms of the basis forms in a list holo.""" diff --git a/as_covers/as_function_class.sage b/as_covers/as_function_class.sage index acc7766..59a42bb 100644 --- a/as_covers/as_function_class.sage +++ b/as_covers/as_function_class.sage @@ -158,6 +158,7 @@ class as_function: def coordinates(self, prec = 100, basis = 0): "Return coordinates in H^1(X, OX)." AS = self.curve + F = AS.base_ring if basis == 0: basis = [AS.holomorphic_differentials_basis(), AS.cohomology_of_structure_sheaf_basis()] holo_diffs = basis[0]