proj_0 can now handle arbitrary matrix scaling, e.g., the set {x:Ax=b}