%\end{convention}%
*)
-inline "cic:/CoRN/reals/OddPolyRootIR/CPoly_Big/R.var" "CPoly_Big__".
+alias id "R" = "cic:/CoRN/reals/OddPolyRootIR/CPoly_Big/R.var".
(* begin hide *)
%\end{convention}%
*)
-inline "cic:/CoRN/reals/OddPolyRootIR/Flip_Poly/R.var" "Flip_Poly__".
+alias id "R" = "cic:/CoRN/reals/OddPolyRootIR/Flip_Poly/R.var".
(* begin hide *)
%\end{convention}%
*)
-inline "cic:/CoRN/reals/OddPolyRootIR/OddPoly_Signs/R.var" "OddPoly_Signs__".
+alias id "R" = "cic:/CoRN/reals/OddPolyRootIR/OddPoly_Signs/R.var".
(* begin hide *)
%\end{convention}%
*)
-inline "cic:/CoRN/reals/OddPolyRootIR/Poly_Norm/R.var" "Poly_Norm__".
+alias id "R" = "cic:/CoRN/reals/OddPolyRootIR/Poly_Norm/R.var".
(* begin hide *)