Can you summarize the following document?
        
  or  公式都是基於公曆的置閏規則來考慮。  公式中的符號含義如下:  因為 可能為負數,所以當出現負數的情況下不能直接mod 7。編寫成程式碼的時候如果兩個運算元中只有一個負數,求模的結果取決於機器,也就是說某些情況下w在一些機器上為負數,但是在某一些機器上w不一定為負數(例如:21%-5的結果取決於機器,可能得到1或-4),對於產生負數這種情況可將原來公式分為兩步: w = ( w % 7 + 7 ) % 7;<br>  若為一月二月,則看作為去年的13月和14月輸入,同時在年份上減一。以上各式中的“%”符號表示取餘運算。

  對2006年4月4日而言,代入公式算出: 得知為星期二。

  若要計算的日期是在1582年10月4日或之前的儒略曆實施年代,公式則為: or  這是因羅馬教宗額我略十三世頒佈新曆法(公曆),把1582年10月4日的後一天改為1582年10月15日。此一公式也要注意前述附註中出現負數的情況。
蔡勒公式(Zeller's congruence),是一種計算任何一日屬一星期中哪一日的演算法,由德國數學家克里斯提安·蔡勒推算出來。