|
D.15.23.4 productVariety
Procedure from library schubert.lib (see schubert_lib).
- Usage:
- productVariety(U,V); U variety, V variety
- Input:
- two abstract varieties
- Output:
- a product variety as an abstract variety
- Return:
- variety
Example:
See also:
Grassmannian;
projectiveBundle;
projectiveSpace.
|