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: vecsum
Section: linear_algebra
C-Name: vecsum
Prototype: G
Help: vecsum(v): return the sum of the components of the vector v.
Doc: return the sum of the components of the vector $v$. Return $0$ on an
 empty vector.
 \bprog
 ? vecsum([1,2,3])
 %1 = 6
 ? vecsum([])
 %2 = 0
 @eprog