Use Verbose=>True as an argument in the function tgb for additional output, including information about each new generated thread (i.e., each new S-polynomial reduction computation) as well as each new Groebner basis element added to the current basis. Lineages are reported as well.
i1 : S = QQ[x,y,z,w]; |
i2 : tgb({x*y-z^2,y*z-w^2},2,Verbose=>true); You turned on Verbose! You will be notified of each new S-polynomial task created and each new GB element added to the HashTable as we go. Scheduling a task for lineage (0-1) Scheduling task for lineage ((0-1)-0) Scheduling task for lineage ((0-1)-1) Adding the following remainder to GB: -z^3+x*w^2 from lineage (0-1) |