test: update test for buchberger_naive#397

oscarbenjamin merged 1 commit into

flintlib:mainflintlib/python-flint:mainfrom

oscarbenjamin:pr_buchberger_testoscarbenjamin/python-flint:pr_buchberger_testCopy head branch name to clipboard