#include <iostream>
Value:
if (!(check)) \ throw LinBox::PreconditionFailed (__FILE__, __LINE__, #check);