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

Commit 98a4676

Browse files
committed
32686: Correct example
1 parent 00af5c7 commit 98a4676

File tree

1 file changed

+6
-5
lines changed

1 file changed

+6
-5
lines changed

src/sage/schemes/projective/projective_space.py

+6-5
Original file line numberDiff line numberDiff line change
@@ -1928,11 +1928,12 @@ def points_of_bounded_height(self, **kwds):
19281928
19291929
::
19301930
1931-
R.<x> = QQ[]
1932-
K.<v> = NumberField(x^5 + x^3 + 1)
1933-
P.<x,y,z> = ProjectiveSpace(K, 2)
1934-
L = P.points_of_bounded_height(bound=1.2)
1935-
0
1931+
sage: R.<x> = QQ[]
1932+
sage: K.<v> = NumberField(x^5 + x^3 + 1)
1933+
sage: P.<x,y,z> = ProjectiveSpace(K, 2)
1934+
sage: L = P.points_of_bounded_height(bound=1.2)
1935+
sage: len(list(L))
1936+
109
19361937
"""
19371938
from sage.schemes.projective.proj_bdd_height import QQ_points_of_bounded_height, IQ_points_of_bounded_height, points_of_bounded_height
19381939

0 commit comments

Comments
 (0)