|
D.15.21.1 productOfProjectiveSpaces
Procedure from library tateProdCplxNegGrad.lib (see tateProdCplxNegGrad_lib).
- Usage:
- productOfProjectiveSpaces(c); c intvec
- Purpose:
- creates two rings S and E corresponding to the product of projective spaces P^{c_1} x...x P^{c_t}
- Assume:
- input are two integers or an intvec
- Return:
- two rings S,E (homogeneous coordinate ring and the exterior algebra of P^{c_1} x P^{c_2} x...)
Example:
| LIB "tateProdCplxNegGrad.lib";
intvec c = 1,2;
def (S,E) = productOfProjectiveSpaces(c);
print(S);
print(E);
intvec d = 2,1,2;
def (S2,E2) = productOfProjectiveSpaces(d);
print(S2);
print(E2);
|
|