gfp.h - Man Page
Простые поля
Synopsis
#include 'bee2/math/zm.h'
Функции
bool_t gfpCreate (qr_o *f, const octet p[], size_t no, void *stack)
Создание описания простого поля
bool_t gfpIsOperable (const qr_o *f)
Работоспособное описание простого поля?
bool_t gfpIsValid (const qr_o *f, void *stack)
Корректное описание простого поля?
Подробное описание
Реализованы операции в простом конечном поле GF(p), p -- нечетное простое число. Элементы поля интерпретируются как элементы кольца вычетов Zm = Z / (mod), mod = p.
Наследуются соглашения для Zm, определенные в заголовочном файле zm.h.
Предусловие
Все указатели, передаваемые в функции, действительны.
Регулярность:\n todo
Функции
bool_t gfpCreate (qr_o * f, const octet p[], size_t no, void * stack)
По модулю [no]p, заданному строкой октетов, создается описание f поля GF(p). Подбирается оптимальное (с точки зрения эффективности вычислений) описание поля.
Ожидается:\n p -- нечетное простое.
Возвращает
Признак успеха.
- Постусловие
f->no == no и f->n == W_OF_O(no).
Схема расчета длины состояния f:\n gfpCreate_keep(no).
Схема расчета глубины stack:\n gfpCreate_deep(no).
- Аргументы
f описание поля
p модуль
no длина p в октетах
stack вспомогательная память
bool_t gfpIsOperable (const qr_o * f)
Проверяется работоспособность описания f поля GF(p). Проверяются следующие условия:
- zmIsOperable(f) == TRUE;
- f->mod -- нечетное, большее 1.
Возвращает
Признак корректности.
- Аргументы
f описание поля
bool_t gfpIsValid (const qr_o * f, void * stack)
Проверяется корректность описания f поля GF(p). Проверяются следующие условия:
- gfpIsOperable(f) == TRUE;
- f->mod -- простое.
Возвращает
Признак корректности.
Схема расчета глубины stack:\n gfpIsValid_deep(f->n).
- Аргументы
f описание поля
stack вспомогательная память
Автор
Автоматически создано Doxygen для Библиотека Bee2 из исходного текста.