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

  ***   Warning: new stack size = 20000000 (19.073 Mbytes).
[[0, 0, 0, -11, -890], [1/2, 0, 0, 0]]
[0, 1, [1/2, 0, 0, 0], 1]
[0, 1, [1/6, 0, 0, 0], 1]
[0, 1, [3/2, 0, 0, 0], 1]
[2^-2 + 2^-1 + 1 + 2 + O(2^2), 1 + 2 + 2^2 + 2^3 + O(2^4)]
[3 + 2*3^2 + 3^4 + O(3^5), 2*3^4 + 3^5 + O(3^8)]
[3*5 + 5^2 + 2*5^3 + 3*5^4 + O(5^5), 5^2 + 4*5^4 + O(5^6)]
[0, 0]
  ***   at top-level: ellpadicheight(E,19,0,P)
  ***                 ^------------------------
  *** ellpadicheight: domain error in ellpadicheight: precision <= 0
[1, 1]
[10, 10]
[[10], [10]]
[0, 0]
6 + 9*11 + 6*11^3 + 11^4 + O(11^5)
1

[1930 1588]

[  65 1195]

[1, [], []]
[2, [2], [[0, 0]]]
[3, [3], [[0, 1]]]
[2, [2], [[0, 1]]]
[3, [3], [[0, 0]]]
[4, [4], [[1, 2]]]
[4, [4], [[0, 3]]]
[5, [5], [[4, 3]]]
[6, [6], [[4, 2]]]
[2*3^2 + 2*3^3 + 3^4 + 3^5 + 3^6 + O(3^7), 2*3^2 + 3^4 + 2*3^5 + 3^6 + O(3^7
)]
  ***   at top-level: ellpadiclog(E,3,5,P)
  ***                 ^--------------------
  *** ellpadiclog: domain error in ellpadiclog: P not in the kernel of reduction at 3
2*3 + 2*3^2 + 3^5 + O(3^6)
[2^3 + 2^5 + O(2^7), 2^5 + 2^6 + O(2^7)]
[2^3 + 2^5 + O(2^6), O(2^5)]
[[2364, 3100, 759; 3100, 3119, 902; 759, 902, 19675], [25225, 46975, 36525; 
46975, 61850, 20400; 36525, 20400, 60475]]
3 + 3^2 + 3^3 + 3^4 + 3^5 + O(3^6)
2*3^2 + 3^4 + O(3^6)
5 + 5^2 + 4*5^3 + 2*5^4 + O(5^5)
O(5^7)
2 + 4*43 + 19*43^2 + 15*43^3 + 35*43^4 + 3*43^5 + O(43^6)
4 + 3*5^2 + 4*5^3 + 5^4 + 2*5^5 + O(5^6)
4 + 3*5 + 3*5^3 + 3*5^4 + 4*5^5 + O(5^6)
[1, 7 + 7^2 + 3*7^3 + 7^4 + 6*7^5 + 2*7^6 + 4*7^7 + 5*7^8 + O(7^9)]
[1, 37 + 9*37^2 + 29*37^3 + 35*37^4 + 16*37^5 + 29*37^6 + 16*37^7 + 18*37^8 
+ 31*37^9 + O(37^10)]
[2, 2*7 + 7^2 + 5*7^3 + O(7^4)]
2*7 + 7^2 + 5*7^3 + 6*7^4 + 2*7^5 + O(7^6)
[1, 7 + 7^2 + 2*7^3 + 4*7^4 + O(7^5)]

[4*5 + 4*5^2 + 2*5^3 + 5^4 + 2*5^5 + 3*5^6 + O(5^7) 4 + 5^2 + 2*5^4 + 5^5 + 
5^6 + O(5^7)]

[5 + 2*5^2 + 3*5^3 + 4*5^4 + 5^5 + 5^6 + O(5^7) 5 + 2*5^3 + 3*5^4 + 2*5^5 + 
5^6 + O(5^7)]


[          2*3^4 + O(3^5) 1 + 3 + 2*3^2 + 3^3 + 3^4 + O(3^5)]

[2*3 + 3^3 + 3^4 + O(3^5)                       3^4 + O(3^5)]

  ***   at top-level: ellap(Ep,2)
  ***                 ^-----------
  *** ellap: inconsistent moduli in ellap: 2 != 11
  ***   at top-level: ellpadics2(Ep,2,5)
  ***                 ^------------------
  *** ellpadics2: incorrect type in ellpadicfrobenius (t_INT).
  ***   at top-level: ellcard(Ep,2)
  ***                 ^-------------
  *** ellcard: inconsistent moduli in ellcard: 2 != 11
  ***   at top-level: ellgroup(Ep,2)
  ***                 ^--------------
  *** ellgroup: inconsistent moduli in ellgroup: 2 != 11
  ***   at top-level: ellissupersingular(Ep,2)
  ***                 ^------------------------
  *** ellissupersingular: inconsistent moduli in ellissupersingular: 2 != 11
  ***   at top-level: elllocalred(Ep,2)
  ***                 ^-----------------
  *** elllocalred: inconsistent moduli in elllocalred: 2 != 11
  ***   at top-level: ellgroup(ellinit([5^6,5^6]),5,1)
  ***                 ^--------------------------------
  *** ellgroup: incorrect type in ellgroup [not a p-minimal curve] (t_VEC).
Total time spent: 358