resjung.lib
constant
jungfib
type
type
list
→
(
ideal
→
returntype
)
constant
jungnormal
type
type
list
→
(
ideal
→
returntype
)
constant
jungresolve
type
type
list
→
(
ideal
→
returntype
)
constant
branchlocus
type
type
ideal
→
returntype
constant
buildFP
type
type
map
→
(
ideal
→
(
list
→
returntype
)
)
constant
embresolve
type
type
ideal
→
returntype
constant
resolve2
type
type
list
→
returntype
constant
NoetherP_test
type
type
ideal
→
returntype
constant
normalCrossing
type
type
ideal
→
(
list
→
(
ideal
→
returntype
)
)