ApCoCoA-1:BB.GenHomMultMat
From ApCoCoAWiki
borderbasis.GenHomMultMat
generic homogeneous multiplication matrix
Syntax
$borderbasis.GenHomMultMat(I:INT,OO:LIST):MAT
Description
Computes the generic homogeneous multiplication matrix for <formula>x[I]</formula> with respect to the order ideal OO. The input is a positive integer I and an order ideal OO (2nd element of type POLY). The output is a matrix of size <formula>Mu<times/>Mu</formula> over the ring <formula>BBS=K[c_{ij}]</formula>.