Matrix.Diagonal = function() { var V = (arguments[0][0] == undefined) ? Vector.create(arguments) : Vector.create(arguments[0]); 
Matrix.Diagonal = function(elements) { if (elements == undefined) { return null; } var V = Vector.create(elements); 
Matrix.Diagonal = function() {  var V = (arguments[0][0] == undefined) ? Vector.create(arguments) : Vector.create(arguments[0]);  var n = V.dimensions();  if (n <= 0) { return null; }  var M = Matrix.I(n);  for (var i = 0; i < n; i++) {    M.elements[i][i] = V.elements[i];  }  return M;};
3123	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3123/1ce0b09b1b1d7871f98dcc4d340508d1a6cfd45e/sylvester.src.js/clean/sylvester.src.js