ad computation of sturmbound