看了好多帖子，有说用dasp模块的，有说用ineqdeco命令的，哪位大神能详细说明一下呀。