var group__lamch = [ [ "dlamch", "d4/d86/group__lamch_gaeab255e77cbd3b0f31aea74ed0ce099e.html#gaeab255e77cbd3b0f31aea74ed0ce099e", null ], [ "slamch", "d4/d86/group__lamch_ga8775389f3660555ea8b6cb28043deed0.html#ga8775389f3660555ea8b6cb28043deed0", null ] ]; .