class_group 0.6.1

Rust library for building IQC: cryptography based on class groups (Cl) of imaginary quadratic orders
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121

[0, 0, 0]
[0, 0, 0]
[0, 0, 0]
[0, 1, 2]
[0, 3 + 2*5 + 2*5^2 + O(5^3), 1]
[0, 1, x]
[0, 0, 0]
[0, 0, 0]
[0, 0, 0]
[0, 1/2, 1]
[0, 3 + 2*5 + 2*5^2 + O(5^3), 1]
[0, 1, x]
[0, 0, 0]
[0, 0, 0]
[0, 0, 0]
[0, 1/2, 1]
[0, 3 + 2*5 + 2*5^2 + O(5^3), 1]
[0, 1, x]
[1, 0, 2]
[1/2, 0, 1]
[1/2, 0, 1]
[0, 1, 2]
[1/2, 0, 1]
[1/2, 0, 1]
[3 + 2*5 + 2*5^2 + O(5^3), 0, 1]
[3 + 2*5 + 2*5^2 + O(5^3), 0, 1]
[3 + 2*5 + 2*5^2 + O(5^3), 0, 1]
[3 + 2*5 + 2*5^2 + O(5^3), 0, 1]
[3 + 2*5 + 2*5^2 + O(5^3), 0, 1]
[3 + 2*5 + 2*5^2 + O(5^3), 0, 1]
[1, 0, x]
[1, 0, x]
[1, 0, x]
[0, 1/2, 1]
[0, 3 + 2*5 + 2*5^2 + O(5^3), 1]
[0, 1, x]
[0, -3, 3*x + 5]
[0, 1, (10*T^3 + 3*T + 5)*z^6 + (11*T^3 + 15*T^2 + 10*T + 13)*z^4 + (14*T^3 
+ 13*T^2 + 15)*z^2 + (9 + 13*T + 14*T^2 + 11*T^3 + O(T^20))]
Mod(1, 7)*x
x + a
[(a^4 + 2*a^3 + a^2 + a + 1)*x^2 + (a^4 + 2*a^3 + a^2 + a + 2)*x + 1, (2*a^4
 + a^3 + 2*a^2 + 2*a + 2)*x + (2*a^4 + a^3 + 2*a^2 + 2*a + 1), 1]
1 + I
1
1
2
w
w
Mod(2, 4)
  ***   at top-level: gcd(1/2,Mod(2,4))
  ***                 ^-----------------
  *** gcd: inconsistent gcd t_INTMOD , t_FRAC.
Mod(1, 4)
2
Mod(1, 5)
Mod(1, 5)
1/2
1/2
1
1
1
Mod(1, x^3)
Mod(x, x^3)
1
  ***   at top-level: gcd(t,1/x)
  ***                 ^----------
  *** gcd: inconsistent gcd t_POLMOD , t_RFRAC.
1
y
x
1/x^2
1
1
1
0
1
1
error("forbidden multiplication t_REAL * t_FFELT.")
error("forbidden gcd t_REAL , t_FFELT.")
error("forbidden gcd t_REAL , t_FFELT.")
1
1
error("inconsistent gcd t_INTMOD , t_FFELT.")
error("impossible inverse in FF_Z_Z_muldiv: 2.")
error("inconsistent gcd t_FRAC , t_FFELT.")
1
1
1
error("inconsistent gcd t_FRAC , t_FFELT.")
0
1
error("inconsistent gcd t_FRAC , t_FFELT.")
error("forbidden multiplication t_FFELT * t_COMPLEX.")
error("forbidden gcd t_FFELT , t_COMPLEX.")
error("forbidden gcd t_FFELT , t_COMPLEX.")
error("forbidden multiplication t_FFELT * t_QUAD.")
error("forbidden gcd t_FFELT , t_QUAD.")
error("forbidden gcd t_FFELT , t_QUAD.")
error("forbidden multiplication t_FFELT * t_PADIC.")
1
error("inconsistent gcd t_FFELT , t_PADIC.")
error("forbidden multiplication t_FFELT * t_PADIC.")
1
error("inconsistent gcd t_FFELT , t_PADIC.")
error("forbidden multiplication t_FFELT * t_PADIC.")
error("inconsistent gcd t_FFELT , t_PADIC.")
error("inconsistent gcd t_FFELT , t_PADIC.")
1
1 + I
Mod(1, 3)
1
Mod(1, 13)
1
(-k + 0.E-38)/k
1/18446744073709551616
Mod(1, 2)*x + Mod(1, 2)
x + 1
0
Mod(0, 3)
Total time spent: 2