Hom-sets of weighted projective schemes - Schemes

Skip to content
Back to top
View this page
Edit this page

# 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)

  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