Documentation
CompPoly
.
Univariate
.
Roots
.
SmoothSubgroup
Search
return to top
source
Imports
Init
CompPoly.Univariate.Roots.SmoothSubgroup.Basic
CompPoly.Univariate.Roots.SmoothSubgroup.Correctness
Imported by
Smooth Multiplicative-Subgroup Root Splitting
#
Public module for the smooth cyclic subgroup splitter.