%\end{convention}%
*)
-inline "cic:/CoRN/fta/CPoly_Rev/Monomials/R.var" "Monomials__".
+alias id "R" = "cic:/CoRN/fta/CPoly_Rev/Monomials/R.var".
(* begin hide *)
Section Poly_Reverse
*)
-inline "cic:/CoRN/fta/CPoly_Rev/Poly_Reverse/R.var" "Poly_Reverse__".
+alias id "R" = "cic:/CoRN/fta/CPoly_Rev/Poly_Reverse/R.var".
(* begin hide *)