chg: put make monic into p_ProjectiveUnique
chg: added has_simple_Inverse to init in algext and transext
chg: editing