Функции теории чисел (NumberTheory Functions)
В подпакете NumberTheoryFunctions имеется ряд функций, относящихся к теории чисел:
- SquareFreeQ[n] – дает True, если n не имеет квадратичного фактора, и False в ином случае;
- NextPrime [n] – дает наименьшее простое число, превосходящее n;
- ChineseRemainderTheorem[list1, Iist2] – дает наименьшее неотрицательное целое г, такое что Mod [r, Iist2] ==list1;
- SqrtMod [d, n] – дает квадратный корень из (d mod n) для нечетного n;
- PrimitiveRoot [n] – дает примитивный корень n;
- QuadraticRepresentation [d, n] – дает решение {х,у} для уравнения х2 + (d у)2 ==n для нечетного п и положительного d;
- ClassList[d] – дает список неэквивалентных квадратичных форм дискриминанта d для отрицательного и свободного от квадратов целого d вида 4n+1;
- ClassNumber [d] – дает список неэквивалентных квадратичных форм дискриминанта d;
- SumOf Squares [d, n] – дает число представлений целого числа п в виде суммы d квадратов;
- SumOf SquaresRepresentations [d, n] – дает список представлений целого числа п в виде суммы d квадратов, игнорируя порядок и знаки.
Примеры применения данных функций приведены ниже:
<<NumberTheory`NumberTheoryFunctions` SquareFreeQ[2*3*5*7] True SquareFreeQ[50] False NextPrime[1000000] 1000003 ChineseRemainderTheorem[{0, 1, 2}, {4, 9, 244 ChineseRemainderTheorem[Range[16], Prime[Range[16]]] 20037783573808880093 SqrtMod[3, 11] 5 SqrtMod[2, 10^64 +57] 876504467496681643735926111996546100401033611976777074909122865 PrimitiveRoot[7] 3 QuadraticRepresentation[l, 13] {3,. 2} ClassList[-19] {{1, 1, 5}} ClassNumber[-10099] 25 SumOfSquaresRepresentations[3, 100] {{0, 0, 10}, (0, 6, 8}}