My Project

interval → kernel Relation

File in Singular/dyn_modules/intervalIncludes file in kernel
interval.ccmod2.h