resjung.lib
constant jungfib
constant jungnormal
constant jungresolve
constant branchlocus
constant buildFP
constant embresolve
constant resolve2
constant NoetherP_test
constant normalCrossing