Comprobar condición Poincaré desde matrices