ApCoCoA-1:BB.GenMultMat
From ApCoCoAWiki
borderbasis.GenMultMat
Compute generic mult. matrix w.r.t. order ideal
Syntax
$borderbasis.GenMultMat(I:INT,OO:LIST):MAT
Description
Computes the generic multiplication matrix for x[I] 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 Mu x Mu over the ring <formula>BBS=K[c_{ij}]</formula>.