1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
--- status: TODO
--- author(s):
--- notes:
document {
Key => {(wedgeProduct,ZZ,ZZ,Module),wedgeProduct},
Headline => "the exterior multiplication map",
Usage => "wedgeProduct(p,q,F)",
Inputs => {
"p", "q", "F" => "a free module"
},
Outputs => {
Matrix => {"representing the multiplication map
from ", TT "exteriorPower(p,M) ** exteriorPower(q,M)", "
to ", TT "exteriorPower(p+q,M)"}
},
EXAMPLE lines ///
F = QQ^4
wedgeProduct(1,1,F)
///,
SeeAlso => {exteriorPower}
}
|
