fixes elimination GB bug due to fix via msolve v0.9.2#112
Open
ederc wants to merge 1 commit intoalgebraic-solving:mainfrom
Open
fixes elimination GB bug due to fix via msolve v0.9.2#112ederc wants to merge 1 commit intoalgebraic-solving:mainfrom
ederc wants to merge 1 commit intoalgebraic-solving:mainfrom
