Skip to content

Commit bd7b66a

Browse files
committed
proj_bdd_height.py: Better test coverage
1 parent 2b792a1 commit bd7b66a

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

src/sage/schemes/projective/proj_bdd_height.py

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -275,6 +275,8 @@ def points_of_bounded_height(PN, K, dim, bound, prec=53, normalize=False):
275275
sage: P.<z,w> = ProjectiveSpace(O, 1)
276276
sage: len(list(P.points_of_bounded_height(bound=2)))
277277
44
278+
sage: len(list(P.points_of_bounded_height(bound=2, normalize=True)))
279+
44
278280
279281
::
280282
@@ -285,6 +287,16 @@ def points_of_bounded_height(PN, K, dim, bound, prec=53, normalize=False):
285287
sage: sorted(list(P.points_of_bounded_height(bound=1, normalize=True)))
286288
[(-1 : 1), (-3/2*a - 1/2 : 1), (3/2*a - 1/2 : 1), (0 : 1),
287289
(-3/2*a + 1/2 : 0), (-3/2*a + 1/2 : 1), (3/2*a + 1/2 : 1), (1 : 1)]
290+
291+
::
292+
293+
sage: R.<x> = QQ[]
294+
sage: K.<z> = NumberField(x^2 - 2)
295+
sage: R2.<y> = K[]
296+
sage: L.<w> = K.extension(y^2 - 3)
297+
sage: P.<a,b> = ProjectiveSpace(L, 1)
298+
sage: len(list(P.points_of_bounded_height(bound=2)))
299+
256
288300
"""
289301
if bound < 1:
290302
return iter([])

0 commit comments

Comments
 (0)