Lib.rs
› 关键字
#
validity
#
equations
#
encoding
#
parser
#
formula
#
free
#
radius
#
tiny
第l组
关键字
搜索
l_group_formulas
解析和编码l组（不）等式
v
0.1.0
#
formulas
#
equations
#
parser
#
validity
#
l-group
#
encoding
截断自由群
自由群中半径为2（小）或3（正常）的球
v
0.1.0
#
group
#
free
#
tiny
#
radius
#
ball
#
validity
#
l-group
l_group_validity
检查l组（不）等式的有效性
v
0.1.0
#
validity
#
checking
#
equations
#
l-group
#
colacito
#
metcalfe