تمييز أساسي

العدد الصحيح هو تمييز أساسي إذا لم يكن يساوي 1 

 وليس القسمة بأي مربع من أي رئيس الوزراء الغريب 

 ويرضي أو . الدالةFundamentalDiscriminantQ [ d ] 

في حزمة الإضافة 5.2 

الإصدار Wolfram Language NumberTheory`NumberTheoryFunctions

 اختبارات إذا كان العدد الصحيح هو تمييز أساسي.

يمكن تنفيذها على النحو التالي:

  FundamentalDiscriminantQ [n_Integer]: = n! = 1 &&
    (وزارة الدفاع [n ، 4] == 1 \ [أو]
      ! غير متساو [مود [ن ، 16] ، 8 ، 12]) &&
        SquareFreeQ [n / 2 ^ IntegerExponent [n، 2]]

التميّزات

 الأساسية الإيجابية القليلة الأولى 

هي 5 و 8 و 12 و 13 و 17 و 21 و 24 و 28 و 29 و 33 و ... (OEIS A003658 ). 

وبالمثل

 فإن القليلة الأولى discriminants

 الأساسية السلبية ، ، ، ، ، ، ، ، ، ، ، ...

 (OEIS A003657 ).