1gfp.h(3)                   Library Functions Manual                   gfp.h(3)
2
3
4

NAME

6       gfp.h - Простые поля
7
8

SYNOPSIS

10       #include 'bee2/math/zm.h'
11
12
13   Функции
14       bool_t gfpCreate (qr_o *f, const octet p[], size_t no, void *stack)
15           Создание описания простого поля
16       bool_t gfpIsOperable (const qr_o *f)
17           Работоспособное описание простого поля?
18       bool_t gfpIsValid (const qr_o *f, void *stack)
19           Корректное описание простого поля?
20

Подробное описание

22       Реализованы операции в простом конечном поле GF(p), p -- нечетное
23       простое число. Элементы поля интерпретируются как элементы кольца
24       вычетов Zm = Z / (mod), mod = p.
25
26       Наследуются соглашения для Zm, определенные в заголовочном файле zm.h.
27
28       Предусловие
29           Все указатели, передаваемые в функции, действительны.
30
31       Регулярность
32           todo
33

Функции

35   bool_t gfpCreate (qr_o * f, const octet p[], size_t no, void * stack)
36       По модулю [no]p, заданному строкой октетов, создается описание f поля
37       GF(p). Подбирается оптимальное (с точки зрения эффективности
38       вычислений) описание поля.
39
40       Ожидается
41           p -- нечетное простое.
42
43       Возвращает
44           Признак успеха.
45
46       Постусловие
47           f->no == no и f->n == W_OF_O(no).
48
49       Схема расчета размера состояния f
50           gfpCreate_keep(no).
51
52       Схема расчета глубины stack
53           gfpCreate_deep(no).
54
55       Аргументы
56           f описание поля
57           p модуль
58           no длина p в октетах
59           stack вспомогательная память
60
61   bool_t gfpIsOperable (const qr_o * f)
62       Проверяется работоспособность описания f поля GF(p). Проверяются
63       следующие условия:
64
65       • zmIsOperable(f) == TRUE;
66
67       • f->mod -- нечетное, большее 1.
68
69       Возвращает
70           Признак корректности.
71
72       Аргументы
73           f описание поля
74
75   bool_t gfpIsValid (const qr_o * f, void * stack)
76       Проверяется корректность описания f поля GF(p). Проверяются следующие
77       условия:
78
79       • gfpIsOperable(f) == TRUE;
80
81       • f->mod -- простое.
82
83       Возвращает
84           Признак корректности.
85
86       Схема расчета глубины stack
87           gfpIsValid_deep(f->n).
88
89       Аргументы
90           f описание поля
91           stack вспомогательная память
92

Автор

94       Автоматически создано Doxygen для Библиотека Bee2 из исходного текста.
95
96
97
98Библиотека Bee2                 Пт 23 Июн 2023                        gfp.h(3)
Impressum