第一步　T=S{ U_n # COFF }
　　并且每作一次锐积运算之后都要作吸收运算，以减少立方体的数量，节省运算时间。
　　第二步　Z={ t|t∈T 且 t∩CON≠ }
　　根据锐积的定义，T一定不包含假值顶点而包含全部真值顶点和某些不顾顶点；质立方体一定是T的元素；经吸收运算，所有非质立方体全被删去。第二步的必要性是将只包含不顾顶点的立方体删去。

　　有了锐积运算之后，求质立方体的算法描述竟然如此简练！有兴趣的读者不妨编写一个实现锐积运算的子程序，看看它的效果。

　　如果原始数据中没有给出COFF，则：
　　　　　　COFF = S { U_n # ( CON ∪ CDC )}
　　或　　　COFF = S { U_n( CON ∪ CDC )} 　　　　（ 4-11 ）
　　这里使用积比 # 积略好，可能减少COFF中元素的数量，对下一步求T比较有利。