ликбез по вычетам (не знаком с обозначениями), при получении однородных бинарных решеток. Опции

[Hale]

читаю статью как генерировать однородные бинарные решетки.

идея сводится к тому, является ли i-я позиция квадратичным вычетом по раз-меру решетки L, или нет.

А поскольку в универе я модульной алгеброй не занимался, у меня немножко крыша едет.

Разве остаток i (mod L) однозначно не равен i, при условии что 0<i<L-1 ?

Как тогда линейно-алгебраически (т.е. в програме) вычислять является ли i оно квадратичным вычетом, или нет?

not( mod( sqrt( mod(i,L) ) ,1) )
так ?
Че-то не получается последовательность "однородной". что-то вроде логарифмически увеличивающихся интервалов выходит. Вот такое:



А совсем не как должно быть

[Hale]

Все, сообразил. Я просто нотацию не знал, а в википедии написано не для людей. В хелпе к Вольфраму нашел понятное определение. пока еще не понял только как делать быстрый расчет без подбора левой части, но идея уже ясна.