function f = wigneredf;
%WIGNEREDF Density of eigenvalues of an infinite Wigner matrix.
% WIGNEREDF returns the theoretical density of the eigenvalues of
% an infinite Wigner matrix
%
% F is a symbolic variable.
%
% References:
% [1] Alan Edelman, Handout 3: Experiments with Classical
% Matrix Ensembles, Fall 2004,
% Course Notes 18.338.
% [2] Alan Edelman, Random Matrix Eigenvalues.
% [3] E. P. Wigner, Characteristic vectors of bordered matrices with
% infinite dimensions, Annals of Mathematics,
% vol. 62, pages 548-564, 1955.
%
% Alan Edelman and Raj Rao, Sept. 2004.
% $Revision: 1.0 $ $Date: 2004/09/11 20:47:15 $

syms f x

f = sqrt(4-x^2)/(2*pi);