function [U,d]=sUconj_restr_jac(dig,n)
%SUCONJ_RESTR_JAC The symbolic restricted Stenger conjecture.  
%   Evaluates the matrix U_n and its eigenvalues in 
%   dig-digit arithmetic for a Jacobi weight function.

global sa sb sab sableg 
digits(dig); s2=vpa(2);
m=ceil(n/2);
U=vpa(zeros(n));
abn=sab(1:n,:); ablegm=sableg(1:m,:); 
xwn=sgauss(dig,n,abn); xn=xwn(:,1);
xwlegm=sgauss(dig,m,ablegm); xlegm=xwlegm(:,1); wlegm=xwlegm(:,2);
for j=1:n
  cn=xn(j);
  const=(1+cn)/s2;
  for k=1:n
    s=vpa(0);
    for i=1:m
      u=((1+cn)/s2)*xlegm(i)-(1-cn)/s2;
      lag=slagrange(dig,n,xn,u);
      s=s+wlegm(i)*lag(k);
    end
    U(j,k)=const*s;
  end
end
d=eig(U);
