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

Commit

Permalink
Fixing modform_hecketriangle due to changes.
Browse files Browse the repository at this point in the history
  • Loading branch information
Travis Scrimshaw committed Jan 18, 2016
1 parent 6358d53 commit 65ce465
Showing 1 changed file with 21 additions and 21 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -159,8 +159,8 @@ def __init__(self, parent, M, check=True, **kwargs):
# Instead it is called here in the __init__ method of the element
# (after the prelimenary checks).
if check:
if self._matrix.determinant() != 1:
raise TypeError("The matrix is not an element of {}, it has determinant {} != 1.".format(parent, self._matrix.determinant()))
if self.matrix().determinant() != 1:
raise TypeError("The matrix is not an element of {}, it has determinant {} != 1.".format(parent, self.matrix().determinant()))
self._word_S_T_data()

@cached_method
Expand Down Expand Up @@ -199,10 +199,10 @@ def _word_S_T_data(self):
(((1, 1), (0, 1)), 1)
"""
res = []
ID = self.parent().I()._matrix
T = self.parent().T()._matrix
S = self.parent().S()._matrix
M = self._matrix
ID = self.parent().I().matrix()
T = self.parent().T().matrix()
S = self.parent().S().matrix()
M = self.matrix()
lam = self.parent().lam()
zero = ZZ.zero()
one = ZZ.one()
Expand Down Expand Up @@ -428,7 +428,7 @@ def string_repr(self, method="default"):
S*T^3*S*T^(-2)
"""
if method == "default":
return super(MatrixGroupElement_generic, self)._repr_()
return MatrixGroupElement_generic._repr_(self)
elif method == "basic":
(L, sgn) = self._word_S_T_data()

Expand Down Expand Up @@ -1238,7 +1238,7 @@ def sign(self):
[-1 0]
[ 0 -1]
"""
sgn = coerce_AA(self._matrix.trace()).sign()
sgn = coerce_AA(self.matrix().trace()).sign()

if sgn > 0:
return self.parent().I()
Expand Down Expand Up @@ -2070,7 +2070,7 @@ def __neg__(self):
[-lam 1]
[ -1 0]
"""
return self.parent().element_class(self.parent(), -self._matrix, check=False)
return self.parent().element_class(self.parent(), -self.matrix(), check=False)

def __getitem__(self, key):
r"""
Expand All @@ -2089,7 +2089,7 @@ def __getitem__(self, key):
sage: U[1][0].parent()
Maximal Order in Number Field in lam with defining polynomial x^3 - x^2 - 2*x + 1
"""
return self._matrix[key]
return self.matrix()[key]

def a(self):
r"""
Expand All @@ -2104,7 +2104,7 @@ def a(self):
sage: U.a().parent()
Maximal Order in Number Field in lam with defining polynomial x^3 - x^2 - 2*x + 1
"""
return self._matrix[0][0]
return self.matrix()[0][0]

def b(self):
r"""
Expand All @@ -2119,7 +2119,7 @@ def b(self):
sage: U.b().parent()
Maximal Order in Number Field in lam with defining polynomial x^3 - x^2 - 2*x + 1
"""
return self._matrix[0][1]
return self.matrix()[0][1]

def c(self):
r"""
Expand All @@ -2132,7 +2132,7 @@ def c(self):
sage: U.c()
1
"""
return self._matrix[1][0]
return self.matrix()[1][0]

def d(self):
r"""
Expand All @@ -2145,7 +2145,7 @@ def d(self):
sage: U.d()
0
"""
return self._matrix[1][1]
return self.matrix()[1][1]

def trace(self):
r"""
Expand All @@ -2160,7 +2160,7 @@ def trace(self):
sage: G.S().trace()
0
"""
return self._matrix.trace()
return self.matrix().trace()

def discriminant(self):
r"""
Expand Down Expand Up @@ -2194,7 +2194,7 @@ def is_translation(self, exclude_one=False):
sage: (-HeckeTriangleGroup(n=7).I()).is_translation(exclude_one=True)
False
"""
a,b,c,d = self._matrix.list()
a,b,c,d = self.matrix().list()

if not (c.is_zero() and a == d and (a.is_one() or (-a).is_one())):
return False
Expand Down Expand Up @@ -2476,7 +2476,7 @@ def is_simple(self):
return False

# The last condition is/should be equivalent to:
a,b,c,d = self._matrix.list()
a,b,c,d = self.matrix().list()
return (coerce_AA(a) > 0 and coerce_AA(b) > 0 and coerce_AA(c) > 0 and coerce_AA(d) > 0)

def is_hecke_symmetric(self):
Expand Down Expand Up @@ -2669,12 +2669,12 @@ def rational_period_function(self, k):

L1 = []
for v in self.simple_elements():
a,b,c,d = v._matrix.list()
a,b,c,d = v.matrix().list()
Q = c*z**2 + (d - a)*z - b
s += Q**(-k/ZZ(2))

for v in self.inverse().simple_elements():
a,b,c,d = v._matrix.list()
a,b,c,d = v.matrix().list()
Q = c*z**2 + (d - a)*z - b
s -= ZZ(-1)**(k/ZZ(2)) * Q**(-k/ZZ(2))

Expand Down Expand Up @@ -3032,7 +3032,7 @@ def fixed_points(self, embedded=False, order="default"):
else:
e = self.root_extension_field().gen()

a,b,c,d = self._matrix.list()
a,b,c,d = self.matrix().list()

if order == "none":
sgn = ZZ(1)
Expand Down Expand Up @@ -3147,7 +3147,7 @@ def acton(self, tau):
model = tau.model()
tau = tau.to_model('UHP').coordinates()

a,b,c,d = self._matrix.list()
a,b,c,d = self.matrix().list()

if tau == infinity:
if c.is_zero():
Expand Down

0 comments on commit 65ce465

Please sign in to comment.