Summary
- merged
- tuned Analysis/Analysis;
- characterization of typical bit operations
- merged
- renamed Analysis/Winding_Numbers to Winding_Numbers_2; reorganised Analysis/Cauchy_Integral_Theorem by splitting it into Contour_Integration, Winding_Numbers,Cauchy_Integral_Theorem and Cauchy_Integral_Formula.
- transfer rule for bit operation
- characterization of singleton bit operation