Export of non-reduced GBs#256

ederc wants to merge 1 commit intoalgebraic-solving:masteralgebraic-solving/msolve:masterfrom

ederc:issue-as-117ederc/msolve:issue-as-117Copy head branch name to clipboard