class_group 0.6.0

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

Function: algsplittingfield
Section: algebras
C-Name: algsplittingfield
Prototype: mG
Help: algsplittingfield(al): the stored splitting field of the central simple
 algebra al.
Doc: Given a central simple algebra \var{al} output by \tet{alginit}, returns
 an \kbd{rnf} structure: the splitting field of \var{al} that is stored in
 \var{al}, as a relative extension of the center.
 \bprog
 nf = nfinit(y^3-5);
 a = y; b = y^2;
 {m_i = [0,a,0,0;
        1,0,0,0;
        0,0,0,a;
        0,0,1,0];}
 {m_j = [0, 0,b, 0;
        0, 0,0,-b;
        1, 0,0, 0;
        0,-1,0, 0];}
 {m_k = [0, 0,0,-a*b;
        0, 0,b,   0;
        0,-a,0,   0;
        1, 0,0,   0];}
 mt = [matid(4), m_i, m_j, m_k];
 A = alginit(nf,mt,'x);
 algsplittingfield(A).pol
 %8 = x^2 - y
 @eprog