السماح
و
تكون الأعداد الصحيحة الموجبة التي هي نسبية مع رئيس الحكومة والسماح
و
يكون أي اثنين من الأعداد الصحيحة . ثم هناك عدد صحيح من
هذا القبيل
(1)
|
و
(2)
|
وعلاوة على ذلك ،
يتم تحديد modulo بشكل فريد
. بيان يعادل هو أنه إذا كان
، ثم كل زوج من الطبقات بقايا MODULO
و
يناظر بسيط الطبقة بقايا مودولو
.
يتم تطبيق مبرهنة الصينية المتبقية في لغة ولفرام كما ChineseRemainder [
a 1، a 2، ... 
m 1، m 2، ...
]. كما يتم تطبيق مبرهنة المتبقية الصينية بطريقة غير مباشرة باستخدام Reduce in مع مواصفات المجال من Integers .
يمكن أيضا أن تعميم النظرية على النحو التالي. بالنظر إلى مجموعة من التطابقات المتزامنة
(3)
|
(4)
|
أين
(5)
|
و
يتم تحديد من
(6)
|
ليست هناك تعليقات:
إرسال تعليق