Skip to content

Commit b0d9093

Browse files
committed
add characteristic check in is_isomorphic
1 parent 664b090 commit b0d9093

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed

src/sage/rings/function_field/drinfeld_modules/drinfeld_module.py

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1301,8 +1301,19 @@ def is_isomorphic(self, psi):
13011301
sage: psi = DrinfeldModule(A, [T, 1, 0, 1, 0, T, 0, T^2, 1, 1])
13021302
sage: phi.is_isomorphic(psi)
13031303
False
1304+
1305+
TESTS::
1306+
1307+
sage: F.<a> = GF(5^2)
1308+
sage: A = F['T']
1309+
sage: phi = DrinfeldModule(A, [a, 1, 1])
1310+
sage: psi = DrinfeldModule(A, [Frac(A).gen(), 1, 1])
1311+
sage: phi.is_isomorphic(psi)
1312+
False
13041313
"""
13051314
# Trivial checks:
1315+
if self.characteristic() != psi.characteristic():
1316+
return False
13061317
if self._gen == psi._gen:
13071318
return True
13081319
if self._gen.degree() != psi._gen.degree():

0 commit comments

Comments
 (0)