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

Function: _>=_
Help: x>=y: return 1 if x is greater or equal to y, 0 otherwise.
Section: symbolic_operators
C-Name: gge
Prototype: GG
Description:
 (small, small):bool:parens              $(1) >= $(2)
 (lg, lg):bool:parens                    $(1) >= $(2)
 (lg, small):bool:parens                 $(1) > $(2)
 (small, int):bool:parens                cmpsi($1, $2) >= 0
 (int, small):bool:parens                cmpis($1, $2) >= 0
 (int, int):bool:parens                  cmpii($1, $2) >= 0
 (mp, mp):bool:parens                    mpcmp($1, $2) >= 0
 (str, str):bool:parens                  strcmp($1, $2) >= 0
 (small, gen):bool:parens                gcmpsg($1, $2) >= 0
 (gen, small):bool:parens                gcmpgs($1, $2) >= 0
 (gen, gen):bool:parens                  gcmp($1, $2) >= 0