*/
  public void mult_matrixd (double [] matrix) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 181, 132);
      for (int i = 0; i < 16; i++)
        o.write_double (matrix [i]);
    }
  }