separated all assumptions into functions, documentation for all functions
separated all assumptions into functions, documentation for all functions

gidden/cyclopts,gidden/cyclopts,gidden/cyclopts,gidden/cyclopts