numerDecom.lib
LIB "numerDecom.lib"; ring r = 0,(a,b,c),ds; int q=nvars(basering); def T=bertini2Singular("nonsingular_solutions",q); re;