Editing our paper

Stream: Seymour

[Martin Dvořák]

I have just seen somebody write $\mathbb{Z}_{p}$ to denote p-adic numbers.

In order to avoid confusion, I added the following paragraph into our paper (3. Preliminaries):
image.png

[Martin Dvořák]

The phrasing is awkward, but I managed to convey two important missing pieces of information at the same time, so I call it a success, I guess?

[Martin Dvořák]

A last-minute change in the abstract has been made.
image.png

[Martin Dvořák]

I had to fix a mistake in the informal definition of matroids. Please check that (iii) is now OK.
image.png

[Martin Dvořák]

I removed
image.png
because it ended up not being referenced later.

[Martin Dvořák]

I unified the terminology (the three levels):

1. Matrix
2. StandardRepr
3. Matroid

[Martin Dvořák]

I separated the citation of Mathlib
image.png
from the citation of Matroids in Mathlib
image.png
(the latter being in Related Works).

I will soon resubmit the paper.

[Martin Dvořák]

I swapped $x_0$ with $x_1$ in these two formulas
image.png
to better match the formalization.

[Martin Dvořák]

I believe we had an inconsistency in the last matrix here:
image.png
The same repeated here (the last matrix):
image.png

[Martin Dvořák]

FYI, all screenshots show the state after I made the correction.

[Martin Dvořák]

If you notice I incorrectly edited something, let me know immediately!

[Martin Dvořák]

I found two small errors that should be fixed for the new version:

• def Maximal {α : Type*}
• "Though we generally work with infinite matroids" → "Though we generally work with matroids that may be infinite"

Did you find any other issue?

[Martin Dvořák]

I have just noticed that we forgot to acknowledge @Christian Merten in the paper. We need to fix it in the next version. Simultaneously, the comment in the code mentioning his name should be removed for the blind version.