RobustDeterminant constructor

RobustDeterminant()