set "baseuri" "cic:/matita/CoRN-Decl/fta/CPoly_Shift".
+include "CoRN.ma".
+
(* $Id: CPoly_Shift.v,v 1.4 2004/04/23 10:00:56 lcf Exp $ *)
-(* INCLUDE
-CComplex
-*)
+include "complex/CComplex.ma".
(*#* * Shifting polynomials
This can be done for [CRings] in general, but we do it here
*)
(* UNEXPORTED
-Section Poly_Shifted.
+Section Poly_Shifted
*)
-inline cic:/CoRN/fta/CPoly_Shift/Shift.con.
+inline "cic:/CoRN/fta/CPoly_Shift/Shift.con".
-inline cic:/CoRN/fta/CPoly_Shift/Shift_apply.con.
+inline "cic:/CoRN/fta/CPoly_Shift/Shift_apply.con".
(* UNEXPORTED
Hint Resolve Shift_apply: algebra.
*)
-inline cic:/CoRN/fta/CPoly_Shift/Shift_wdr.con.
+inline "cic:/CoRN/fta/CPoly_Shift/Shift_wdr.con".
-inline cic:/CoRN/fta/CPoly_Shift/Shift_shift.con.
+inline "cic:/CoRN/fta/CPoly_Shift/Shift_shift.con".
-inline cic:/CoRN/fta/CPoly_Shift/Shift_mult.con.
+inline "cic:/CoRN/fta/CPoly_Shift/Shift_mult.con".
-inline cic:/CoRN/fta/CPoly_Shift/Shift_degree_le.con.
+inline "cic:/CoRN/fta/CPoly_Shift/Shift_degree_le.con".
-inline cic:/CoRN/fta/CPoly_Shift/Shift_monic.con.
+inline "cic:/CoRN/fta/CPoly_Shift/Shift_monic.con".
(* UNEXPORTED
-End Poly_Shifted.
+End Poly_Shifted
*)
(* UNEXPORTED