Faster Verification Process of Properties in Higher Dimensional Algebraic Structures using C++