Hom-sets of weighted projective schemes¶

AUTHORS:

Gareth Ma (2024): initial version, based on unweighted version.

class sage.schemes.weighted_projective.weighted_projective_homset.SchemeHomset_points_weighted_projective_ring(X, Y, category=None, check=True, base=Integer Ring)[source]¶

Bases: SchemeHomset_points

Set of rational points of a weighted projective variety over a ring.

INPUT:

See SchemeHomset_points.

EXAMPLES:

Sage

sage: W = WeightedProjectiveSpace([3, 4, 5], QQ)
sage: W.point_homset()
Set of rational points of Weighted Projective Space of dimension 2 with weights (3, 4, 5) over Rational Field
sage: W.an_element().parent() is W.point_homset()
True

Python

>>> from sage.all import *
>>> W = WeightedProjectiveSpace([Integer(3), Integer(4), Integer(5)], QQ)
>>> W.point_homset()
Set of rational points of Weighted Projective Space of dimension 2 with weights (3, 4, 5) over Rational Field
>>> W.an_element().parent() is W.point_homset()
True