Add new lib sylvester