chg: make monic only if simple inverse
chg: extra treatment of transcendental extensions in p_Content
chg: make monic if not over transcendental extension
chg: put make monic into p_ProjectiveUnique
chg: added has_simple_Inverse to init in algext and transext
chg: editing
chg: comment about simple_Alloc
chg: updated test results and stats
chg: updated test result of Tracing_of_procedures
Merge pull request #394 from mmklee/proj

Proj (p_ProjectiveUnique)