The constructor has a keyword check argument which is important. By default it is true which means that, for cases 3 and 4, the matrices are checked to be valid members of SE (3).