doxyfy
debug mode
doxyfy
Trying to connect to zsolveAPI
remove unneeded code
switch back to ExtendedPottier for now
index on zsolveAPI: a5c29d4 switch back to ExtendedPottier for now
WIP on zsolveAPI: a5c29d4 switch back to ExtendedPottier for now
Install dummy split methods
Fix return value of append_vector and install a test for it.
Use ZSolveAPI to do projected Graver bases with the old algorithm