 // incremental F5 computation
ring r=32003,(x,y,z),dp;
poly s1=1x2y+151xyz10+169y21;
poly s2=1xz14+6x2y4+3z24;
poly s3=5y10z10x+2y20z10+y10z20+11x3;
ideal i=s1,s2,s3;
ideal j=sba(i,1,0);
// nonincremental F5 computation
ring rhom=32003,(x,y,z,h),dp;
ideal i=homog(imap(r,i),h);
ideal j=sba(i,0,0);
// nonincremental signaturebased computation
ring whom=32003,(x,y,z),dp;
ideal i=fetch(r,i);
ideal j=sba(i);
