System and method for optimizing polynomial expressions in a processing environment

摘要

A method for optimizing polynomial expressions is provided that includes generating kernels in order to form a kernel and co-kernel matrix and generating a cube literal matrix, which includes a plurality of cubes. Rectangles are identified on the kernel and co-kernel matrix and the rectangles are used to find common factors between the kernels. The rectangles on the cube literal matrix are identified and the rectangles are used to find common factors between the cubes.