divisorial fraction ideal