Skip to main content
agl_p_order
logicaffeine_
proof
0.10.1
In logicaffeine_
proof::
affine_
gfp
logicaffeine_proof
::
affine_gfp
Function
agl_
p_
order
Copy item path
Source
pub fn agl_p_order(n:
u32
, p:
u64
) ->
u128
Expand description
|AGL(n,p)| = pⁿ · |GL(n,p)|
.