Stav dette: The antitriangular factorization of saddle point matrices