Skip to main content
2 of 2
added 523 characters in body

What is the number n of points in your matroid?

If n is at most 9, you can simply run by the ~400.000 matroids on at most 9 points. The sage matroid package will enumerate these matroids in half an hour. There is also a database of matroids that goes a bit further here: http://www-imai.is.s.u-tokyo.ac.jp/~ymatsu/matroid/index.html

I may not fully understand your original problem, but perhaps this is useful: given the 3-term grassmann-plucker relations and the fact that certain $k$-sets are dependent, many purely multiplicative relations follow. E.g. for $k=2$ and on a 4-set $\{a,b,c,d\}$, there is a g-p relation $[ab][cd]+[ad][bc]+[ac][db]=0$. If $ab$ is not a basis, then $[ab]=0$ and hence $[ad][bc]=-[ac][db]$. The multiplicative group generated by the nonzero brackets [..] and these relations is called the Tutte group in case of a matroid. This group is a lot easier to handle computationally that the ideal generated by the g-p relations. Perhaps creating this group will help you to make your guess for the right answer. If I understand your problem correctly, these multiplicative relations are contained in the ideal you are looking for.

Edit: the 3-way g-p relations can also be used in the converse direction: if $[ad][bc]=-[ac][db]$, then $[ab][cd]=0$ follows, i.e. either $[ab]=0$ or $[cd]=0$. But $[ab]=0$ means that $[ab]$ should be removed as a generator. Branching on these possibilities until $[ad][bc]\not=-[ac][db]$ everywhere may be better even than trying to find that matroid. The non-Pappos matroid may turn up when you just try to find a matroid, but this branching process will not terminate at the non-Pappos matroid.