(* begin hide *)
+(* NOTATION
+Notation RX := (cpoly_cring R).
+*)
+
(* end hide *)
include "tactics/Transparent_algebra.ma".
(* begin hide *)
+(* NOTATION
+Notation RX := (cpoly_cring R).
+*)
+
(* end hide *)
inline "cic:/CoRN/algebra/CPoly_ApZero/poly_apzero.con".
(* begin hide *)
+(* NOTATION
+Notation RX := (cpoly_cring R).
+*)
+
(* end hide *)
inline "cic:/CoRN/algebra/CPoly_ApZero/Cpoly_apzero_interval.con".