Now we project the columns of to the augmentation ideal, in interval arithmetic. The returned
check_columns_augmentation is a boolean flag to detect if the projection was successful, i.e. if we can guarantee that each column of
Q_aug can be represented by an element from the augmentation ideal. (If it were not successful, one may project
Q = PropertyT.augIdproj(Q) in the floating point arithmetic prior to the cell below).