docs: private void rotatorPushRight( int m )
      {
          double b11 = off[m];
          double b21 = diag[m+1];
  
          computeRotator(b21,-b11);
  
          // apply rotator on the right
          off[m] = 0;
          diag[m+1] = b21*c-b11*s;
  
          if( m+2 < N) {
              double b22 = off[m+1];
              off[m+1] = b22*c;
              bulge =  b22*s;
          }  else {
              bulge = 0;
          }
  
  //        SimpleMatrix Q = createQ(m,m+1, c, s, true);
  //        B=Q.mult(B);
  //
  //        B.print();
  //        printMatrix();
  //        System.out.println("  bulge = "+bulge);
  //        System.out.println();
  
          if( Ut != null ) {
              updateRotator(Ut,m,m+1,c,s);
  
  //            SimpleMatrix.wrap(Ut).mult(B).mult(SimpleMatrix.wrap(Vt).transpose()).print();
  //            printMatrix();
  //            System.out.println("bulge = "+bulge);
  //            System.out.println();
          }
      }