ByNobleID
    Round-off error bound for householder transformation | NobleID