Weighted projective varieties can be constructed using the function projectiveVariety, just like multi- and embedded projective varieties.
|
|
|
Here is a shortcut to construct weighted projective spaces:
|
|
The object WeightedProjectiveVariety is a type, with ancestor classes MultiprojectiveVariety < MutableHashTable < HashTable < Thing.