My Project

syzextra → kernel Relation

File in Singular/dyn_modules/syzextraIncludes file in kernel
mod_main.ccGBEngine / kstd1.h
mod_main.ccmod2.h
mod_main.ccpolys.h
mod_main.ccGBEngine / syz.h
syzextra.hideals.h