HadamardBoundSq(M: MAT): RECORD
/**/ M := mat([[1,2],[3,4]]); /**/ HadamardBoundSq(M); record[HadamardColBound := 200, HadamardRowBound := 125]