@@ -1408,12 +1408,16 @@ def Chow_form(self):
1408
1408
def global_height (self , prec = None ):
1409
1409
"""
1410
1410
Return the (projective) global height of the subscheme.
1411
+
1411
1412
INPUT:
1412
1413
- ``prec`` -- desired floating point precision (default:
1413
1414
default RealField precision).
1415
+
1414
1416
OUTPUT:
1415
1417
- a real number.
1418
+
1416
1419
EXAMPLES::
1420
+
1417
1421
sage: R.<x> = QQ[]
1418
1422
sage: NF.<a> = NumberField(x^2 - 5)
1419
1423
sage: P.<x,y,z> = ProjectiveSpace(NF, 2)
@@ -1433,13 +1437,17 @@ def global_height(self, prec=None):
1433
1437
def local_height (self , v , prec = None ):
1434
1438
"""
1435
1439
Return the (projective) local height of the subscheme.
1440
+
1436
1441
INPUT:
1437
1442
- ``v`` -- a prime or prime ideal of the base ring.
1438
1443
- ``prec`` -- desired floating point precision (default:
1439
1444
default RealField precision).
1445
+
1440
1446
OUTPUT:
1441
1447
- a real number.
1448
+
1442
1449
EXAMPLES::
1450
+
1443
1451
sage: R.<x> = QQ[]
1444
1452
sage: NF.<a> = NumberField(x^2 - 5)
1445
1453
sage: I = NF.ideal(3)
@@ -1460,13 +1468,17 @@ def local_height(self, v, prec=None):
1460
1468
def local_height_arch (self , i , prec = None ):
1461
1469
"""
1462
1470
Return the local height at the ``i``-th infinite place of the subscheme.
1471
+
1463
1472
INPUT:
1464
1473
- ``i`` -- an integer.
1465
1474
- ``prec`` -- desired floating point precision (default:
1466
1475
default RealField precision).
1476
+
1467
1477
OUTPUT:
1468
1478
- a real number.
1479
+
1469
1480
EXAMPLES::
1481
+
1470
1482
sage: R.<x> = QQ[]
1471
1483
sage: NF.<a> = NumberField(x^2 - 5)
1472
1484
sage: P.<x,y,z> = ProjectiveSpace(NF, 2)
0 commit comments