chg: added has_simple_Inverse to init in algext and transext