Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Alphabetically order methods in sage.rings.function_field.finite_drin…
Browse files Browse the repository at this point in the history
…feld_module.py
  • Loading branch information
kryzar committed May 12, 2022
1 parent 8c848d9 commit 7c96d1f
Showing 1 changed file with 17 additions and 17 deletions.
34 changes: 17 additions & 17 deletions src/sage/rings/function_field/finite_drinfeld_module.py
Original file line number Diff line number Diff line change
Expand Up @@ -407,14 +407,14 @@ def invert(self, image):
else:
return None

def is_supersingular(self):
return self.characteristic().divides(self.frobenius_trace())

def is_ordinary(self):
return not self.is_supersingular()
def is_automorphism(self, candidate):
if not candidate in self.ore_polring():
raise TypeError('The candidate must be in the Ore polynomial ' \
'ring')
return candidate != 0 and candidate in self._Fq()

def is_morphism(self, candidate):
return candidate == 0 or self.is_isogeny(candidate)
def is_endomorphism(self, candidate):
return candidate == 0 or self == self.velu(candidate)

def is_isogeny(self, candidate):
if not candidate in self.ore_polring():
Expand All @@ -428,14 +428,14 @@ def is_isogeny(self, candidate):
return self.characteristic().degree().divides(candidate.valuation()) \
and candidate.right_divides(candidate * self.gen())

def is_endomorphism(self, candidate):
return candidate == 0 or self == self.velu(candidate)
def is_morphism(self, candidate):
return candidate == 0 or self.is_isogeny(candidate)

def is_automorphism(self, candidate):
if not candidate in self.ore_polring():
raise TypeError('The candidate must be in the Ore polynomial ' \
'ring')
return candidate != 0 and candidate in self._Fq()
def is_ordinary(self):
return not self.is_supersingular()

def is_supersingular(self):
return self.characteristic().divides(self.frobenius_trace())

def j(self):
if self.rank() != 2:
Expand Down Expand Up @@ -540,6 +540,9 @@ def finite_drinfeld_module(self):
# Special Sage functions #
##########################

def _act_(self, g, x):
return self.finite_drinfeld_module()(g)(x)

def _latex_(self):
return f'\\text{{Action{{ }}on{{ }}}}' \
f'{latex(self.extension())}\\text{{{{ }}' \
Expand All @@ -549,9 +552,6 @@ def _repr_(self):
return f'Action on {self.domain()} induced by ' \
f'{self.finite_drinfeld_module()}'

def _act_(self, g, x):
return self.finite_drinfeld_module()(g)(x)


def _check_base_fields(Fq, L):
if not (L.is_field() and L.is_finite() and Fq.is_subring(L)):
Expand Down

0 comments on commit 7c96d1f

Please sign in to comment.