NOTE: basis cycling detection is not implemented…