up previous next
HadamardBoundSq --
Hadamard bound for determinant
|
HadamardBoundSq(M: MAT): RECORD |
This computes
square of the Hadamard determinant bound (both for rows
and for columns). The result is a record with two fields
ColBoundSq
and
RowBoundSq. An error is signalled if
M is not square.
The field names were changed in version 5.4.2.
/**/ M := mat([[1,2],[3,4]]);
/**/ HadamardBoundSq(M);
record[ColBoundSq := 200, RowBoundSq := 125]
|