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

Function: vecprod
Section: linear_algebra
C-Name: vecprod
Prototype: G
Help: vecprod(v): return the product of the components of the vector v.
Doc: return the product of the components of the vector $v$. Return $1$ on an
 empty vector.
 \bprog
 ? vecprod([1,2,3])
 %1 = 6
 ? vecprod([])
 %2 = 1
 @eprog