类C语言与Python负数除法求值间的差异

一直用Python做计算器用（有点大材小用了啊，呵呵）。今天使用时，却发现一个诡异的现象，在C语言入门经典（第4版）说正负数除数取余操作的差别，就在Python上试验了一下，结果结成了完全不一样。下面列出三种语言做同样运算的差别（外加上Java）。
Java:

 import  java.lang.*;
 public   class  divmod
 {
     public   static   void  main(String[] args)
     {
         System.out.println("45/-7=" +( 45 /- 7 ));
         System.out.println("45%-7=" +( 45 %- 7 ));
         System.out.println("-45/7=" +(- 45 / 7 ));
         System.out.println("-45%7=" +(- 45 % 7 ));
     }
 }

 

结果是：
C:\Documents and Settings\g1309288>cd /d D:\javapro

D:\JavaPro>javac divmod.java

D:\JavaPro>java divmod
45/-7=-6
45%-7=3
-45/7=-6
-45%7=-3

C:

 #include <stdio.h>
 main()
 {
     printf("45/-7=%2d\n" ,45/-7);
     printf("45%%-7=%2d\n" ,45%-7);
     printf("-45/7=%2d\n" ,-45/7);
     printf("-45%%7=%2d\n" ,-45%7);

 }

 

结果是：
45/-7=-6
45%-7= 3
-45/7=-6
-45%7=-3

 

Python:

 print ( "45/-7=" , 45 /- 7 );
 print ( "divmod(45,-7)=" ,divmod( 45 ,- 7 ));
 print ( "45%-7=" , 45 %- 7 );
 print ( "-45/7=" ,- 45 / 7 );
 print ( "divmod(-45,7)=" ,divmod(- 45 , 7 ));
 print ( "-45%7=" ,- 45 % 7 );

 

结果是：
C:\Documents and Settings\g1309288\桌面>divmod.py
45/-7= -6.428571428571429
divmod(45,-7)= (-7, -4)
45%-7= -4
-45/7= -6.428571428571429
divmod(-45,7)= (-7, 4)
-45%7= 4

可以看到当有负数存在时，C语言和Python运算的结果是不一样的。C语言不管正负，结果的绝对值是相等的，而Python却不一样。
基于上面的结果，有一个假设，Python取余运算所取的商数是不大于实际商的最大整数。即divmod(-45,7)==(math.floor(-45/7),-45%7)。