forked from sagemath/sage
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
sagemathgh-37140: Add Matsumoto's matroid database and AllMatroids() …
…driver function
<!-- ^^^^^
Please provide a concise, informative and self-explanatory title.
Don't put issue numbers in there, do this in the PR body below.
For example, instead of "Fixes sagemath#1234" use "Introduce new method to
calculate 1+1"
-->
<!-- Describe your changes here in detail -->
This enables the generation of all matroids of certain number of
elements (and, optionally, of certain rank or type). There exist
restrictions based on the underlying database (Yoshitake Matsumoto's
Database of Matroids: https://www-
imai.is.s.u-tokyo.ac.jp/~ymatsu/matroid/index.html). Note that the
database files consume ~75MB of space, which drops to ~1.5MB upon a
standard compression.
<!-- Why is this change required? What problem does it solve? -->
<!-- If this PR resolves an open issue, please link to it here. For
example "Fixes sagemath#12345". -->
<!-- If your change requires a documentation PR, please link it
appropriately. -->
Partially addresses sagemath#35464 (the type can be set to `paving`).
### 📝 Checklist
<!-- Put an `x` in all the boxes that apply. -->
<!-- If your change requires a documentation PR, please link it
appropriately -->
<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->
<!-- Feel free to remove irrelevant items. -->
- [x] The title is concise, informative, and self-explanatory.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation accordingly.
URL: sagemath#37140
Reported by: gmou3
Reviewer(s): Travis Scrimshaw- Loading branch information
Showing
51 changed files
with
524,653 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1 @@ | ||
| * |
2 changes: 2 additions & 0 deletions
2
src/sage/ext_data/matroids/database/all_matroids/allr1n02.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,2 @@ | ||
| ** | ||
| 0* |
3 changes: 3 additions & 0 deletions
3
src/sage/ext_data/matroids/database/all_matroids/allr1n03.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,3 @@ | ||
| *** | ||
| 0** | ||
| 00* |
4 changes: 4 additions & 0 deletions
4
src/sage/ext_data/matroids/database/all_matroids/allr1n04.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,4 @@ | ||
| **** | ||
| 0*** | ||
| 00** | ||
| 000* |
5 changes: 5 additions & 0 deletions
5
src/sage/ext_data/matroids/database/all_matroids/allr1n05.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,5 @@ | ||
| ***** | ||
| 0**** | ||
| 00*** | ||
| 000** | ||
| 0000* |
6 changes: 6 additions & 0 deletions
6
src/sage/ext_data/matroids/database/all_matroids/allr1n06.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,6 @@ | ||
| ****** | ||
| 0***** | ||
| 00**** | ||
| 000*** | ||
| 0000** | ||
| 00000* |
7 changes: 7 additions & 0 deletions
7
src/sage/ext_data/matroids/database/all_matroids/allr1n07.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,7 @@ | ||
| ******* | ||
| 0****** | ||
| 00***** | ||
| 000**** | ||
| 0000*** | ||
| 00000** | ||
| 000000* |
8 changes: 8 additions & 0 deletions
8
src/sage/ext_data/matroids/database/all_matroids/allr1n08.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,8 @@ | ||
| ******** | ||
| 0******* | ||
| 00****** | ||
| 000***** | ||
| 0000**** | ||
| 00000*** | ||
| 000000** | ||
| 0000000* |
9 changes: 9 additions & 0 deletions
9
src/sage/ext_data/matroids/database/all_matroids/allr1n09.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,9 @@ | ||
| ********* | ||
| 0******** | ||
| 00******* | ||
| 000****** | ||
| 0000***** | ||
| 00000**** | ||
| 000000*** | ||
| 0000000** | ||
| 00000000* |
10 changes: 10 additions & 0 deletions
10
src/sage/ext_data/matroids/database/all_matroids/allr1n10.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,10 @@ | ||
| ********** | ||
| 0********* | ||
| 00******** | ||
| 000******* | ||
| 0000****** | ||
| 00000***** | ||
| 000000**** | ||
| 0000000*** | ||
| 00000000** | ||
| 000000000* |
11 changes: 11 additions & 0 deletions
11
src/sage/ext_data/matroids/database/all_matroids/allr1n11.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,11 @@ | ||
| *********** | ||
| 0********** | ||
| 00********* | ||
| 000******** | ||
| 0000******* | ||
| 00000****** | ||
| 000000***** | ||
| 0000000**** | ||
| 00000000*** | ||
| 000000000** | ||
| 0000000000* |
12 changes: 12 additions & 0 deletions
12
src/sage/ext_data/matroids/database/all_matroids/allr1n12.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,12 @@ | ||
| ************ | ||
| 0*********** | ||
| 00********** | ||
| 000********* | ||
| 0000******** | ||
| 00000******* | ||
| 000000****** | ||
| 0000000***** | ||
| 00000000**** | ||
| 000000000*** | ||
| 0000000000** | ||
| 00000000000* |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1 @@ | ||
| * |
3 changes: 3 additions & 0 deletions
3
src/sage/ext_data/matroids/database/all_matroids/allr2n03.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,3 @@ | ||
| *** | ||
| 0** | ||
| 00* |
7 changes: 7 additions & 0 deletions
7
src/sage/ext_data/matroids/database/all_matroids/allr2n04.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,7 @@ | ||
| ****** | ||
| 0***** | ||
| 0****0 | ||
| 00*0** | ||
| 000*** | ||
| 0000** | ||
| 00000* |
13 changes: 13 additions & 0 deletions
13
src/sage/ext_data/matroids/database/all_matroids/allr2n05.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,13 @@ | ||
| ********** | ||
| 0********* | ||
| 0****0**** | ||
| 00*0**0*** | ||
| 000******* | ||
| 000******0 | ||
| 0000**0*** | ||
| 0000**0**0 | ||
| 00000*00** | ||
| 000000**** | ||
| 0000000*** | ||
| 00000000** | ||
| 000000000* |
23 changes: 23 additions & 0 deletions
23
src/sage/ext_data/matroids/database/all_matroids/allr2n06.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,23 @@ | ||
| *************** | ||
| 0************** | ||
| 0****0********* | ||
| 0****0********0 | ||
| 00*0**0***0**** | ||
| 000************ | ||
| 000******0***** | ||
| 000******0***00 | ||
| 0000**0***0**** | ||
| 0000**0**00**** | ||
| 00000*00**00*** | ||
| 000000********* | ||
| 000000********0 | ||
| 0000000***0**** | ||
| 0000000***0***0 | ||
| 00000000**00*** | ||
| 00000000**00**0 | ||
| 000000000*000** | ||
| 0000000000***** | ||
| 00000000000**** | ||
| 000000000000*** | ||
| 0000000000000** | ||
| 00000000000000* |
37 changes: 37 additions & 0 deletions
37
src/sage/ext_data/matroids/database/all_matroids/allr2n07.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,37 @@ | ||
| ********************* | ||
| 0******************** | ||
| 0****0*************** | ||
| 0****0********0****** | ||
| 00*0**0***0****0***** | ||
| 000****************** | ||
| 000******0*********** | ||
| 000******0**********0 | ||
| 000******0***00****** | ||
| 0000**0***0****0***** | ||
| 0000**0**00****0***** | ||
| 0000**0**00****0****0 | ||
| 00000*00**00***00**** | ||
| 000000*************** | ||
| 000000********0****** | ||
| 000000********0****00 | ||
| 0000000***0****0***** | ||
| 0000000***0***00***** | ||
| 0000000***0***00***00 | ||
| 00000000**00***00**** | ||
| 00000000**00**000**** | ||
| 000000000*000**000*** | ||
| 0000000000*********** | ||
| 0000000000**********0 | ||
| 00000000000****0***** | ||
| 00000000000****0****0 | ||
| 000000000000***00**** | ||
| 000000000000***00***0 | ||
| 0000000000000**000*** | ||
| 0000000000000**000**0 | ||
| 00000000000000*0000** | ||
| 000000000000000****** | ||
| 0000000000000000***** | ||
| 00000000000000000**** | ||
| 000000000000000000*** | ||
| 0000000000000000000** | ||
| 00000000000000000000* |
58 changes: 58 additions & 0 deletions
58
src/sage/ext_data/matroids/database/all_matroids/allr2n08.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,58 @@ | ||
| **************************** | ||
| 0*************************** | ||
| 0****0********************** | ||
| 0****0********0************* | ||
| 0****0********0************0 | ||
| 00*0**0***0****0*****0****** | ||
| 000************************* | ||
| 000******0****************** | ||
| 000******0**********0******* | ||
| 000******0***00************* | ||
| 000******0***00************0 | ||
| 0000**0***0****0*****0****** | ||
| 0000**0**00****0*****0****** | ||
| 0000**0**00****0****00****** | ||
| 00000*00**00***00****00***** | ||
| 000000********************** | ||
| 000000********0************* | ||
| 000000********0************0 | ||
| 000000********0****00******* | ||
| 000000********0****00****000 | ||
| 0000000***0****0*****0****** | ||
| 0000000***0***00*****0****** | ||
| 0000000***0***00*****0*****0 | ||
| 0000000***0***00***000****** | ||
| 00000000**00***00****00***** | ||
| 00000000**00**000****00***** | ||
| 00000000**00**000****00****0 | ||
| 000000000*000**000***000**** | ||
| 0000000000****************** | ||
| 0000000000**********0******* | ||
| 0000000000**********0*****00 | ||
| 00000000000****0*****0****** | ||
| 00000000000****0****00****** | ||
| 00000000000****0****00****00 | ||
| 000000000000***00****00***** | ||
| 000000000000***00***000***** | ||
| 000000000000***00***000***00 | ||
| 0000000000000**000***000**** | ||
| 0000000000000**000**0000**** | ||
| 00000000000000*0000**0000*** | ||
| 000000000000000************* | ||
| 000000000000000************0 | ||
| 0000000000000000*****0****** | ||
| 0000000000000000*****0*****0 | ||
| 00000000000000000****00***** | ||
| 00000000000000000****00****0 | ||
| 000000000000000000***000**** | ||
| 000000000000000000***000***0 | ||
| 0000000000000000000**0000*** | ||
| 0000000000000000000**0000**0 | ||
| 00000000000000000000*00000** | ||
| 000000000000000000000******* | ||
| 0000000000000000000000****** | ||
| 00000000000000000000000***** | ||
| 000000000000000000000000**** | ||
| 0000000000000000000000000*** | ||
| 00000000000000000000000000** | ||
| 000000000000000000000000000* |
87 changes: 87 additions & 0 deletions
87
src/sage/ext_data/matroids/database/all_matroids/allr2n09.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,87 @@ | ||
| ************************************ | ||
| 0*********************************** | ||
| 0****0****************************** | ||
| 0****0********0********************* | ||
| 0****0********0************0******** | ||
| 00*0**0***0****0*****0******0******* | ||
| 000********************************* | ||
| 000******0************************** | ||
| 000******0**********0*************** | ||
| 000******0**********0**************0 | ||
| 000******0***00********************* | ||
| 000******0***00************0******** | ||
| 000******0***00************0******00 | ||
| 0000**0***0****0*****0******0******* | ||
| 0000**0**00****0*****0******0******* | ||
| 0000**0**00****0****00******0******* | ||
| 0000**0**00****0****00******0******0 | ||
| 00000*00**00***00****00*****00****** | ||
| 000000****************************** | ||
| 000000********0********************* | ||
| 000000********0************0******** | ||
| 000000********0****00*************** | ||
| 000000********0****00**************0 | ||
| 000000********0****00****000******** | ||
| 0000000***0****0*****0******0******* | ||
| 0000000***0***00*****0******0******* | ||
| 0000000***0***00*****0*****00******* | ||
| 0000000***0***00***000******0******* | ||
| 0000000***0***00***000******0******0 | ||
| 00000000**00***00****00*****00****** | ||
| 00000000**00**000****00*****00****** | ||
| 00000000**00**000****00****000****** | ||
| 000000000*000**000***000****000***** | ||
| 0000000000************************** | ||
| 0000000000**********0*************** | ||
| 0000000000**********0**************0 | ||
| 0000000000**********0*****00******** | ||
| 0000000000**********0*****00*****000 | ||
| 00000000000****0*****0******0******* | ||
| 00000000000****0****00******0******* | ||
| 00000000000****0****00******0******0 | ||
| 00000000000****0****00****000******* | ||
| 00000000000****0****00****000****000 | ||
| 000000000000***00****00*****00****** | ||
| 000000000000***00***000*****00****** | ||
| 000000000000***00***000*****00*****0 | ||
| 000000000000***00***000***0000****** | ||
| 0000000000000**000***000****000***** | ||
| 0000000000000**000**0000****000***** | ||
| 0000000000000**000**0000****000****0 | ||
| 00000000000000*0000**0000***0000**** | ||
| 000000000000000********************* | ||
| 000000000000000************0******** | ||
| 000000000000000************0******00 | ||
| 0000000000000000*****0******0******* | ||
| 0000000000000000*****0*****00******* | ||
| 0000000000000000*****0*****00*****00 | ||
| 00000000000000000****00*****00****** | ||
| 00000000000000000****00****000****** | ||
| 00000000000000000****00****000****00 | ||
| 000000000000000000***000****000***** | ||
| 000000000000000000***000***0000***** | ||
| 000000000000000000***000***0000***00 | ||
| 0000000000000000000**0000***0000**** | ||
| 0000000000000000000**0000**00000**** | ||
| 00000000000000000000*00000**00000*** | ||
| 000000000000000000000*************** | ||
| 000000000000000000000**************0 | ||
| 0000000000000000000000******0******* | ||
| 0000000000000000000000******0******0 | ||
| 00000000000000000000000*****00****** | ||
| 00000000000000000000000*****00*****0 | ||
| 000000000000000000000000****000***** | ||
| 000000000000000000000000****000****0 | ||
| 0000000000000000000000000***0000**** | ||
| 0000000000000000000000000***0000***0 | ||
| 00000000000000000000000000**00000*** | ||
| 00000000000000000000000000**00000**0 | ||
| 000000000000000000000000000*000000** | ||
| 0000000000000000000000000000******** | ||
| 00000000000000000000000000000******* | ||
| 000000000000000000000000000000****** | ||
| 0000000000000000000000000000000***** | ||
| 00000000000000000000000000000000**** | ||
| 000000000000000000000000000000000*** | ||
| 0000000000000000000000000000000000** | ||
| 00000000000000000000000000000000000* |
Oops, something went wrong.