SinTan1729/comm_alg
1
0
Fork 0
mirror of https://github.com/GTBarkley/comm_alg.git synced 2024-12-25 23:28:36 -06:00
Code Issues Projects Releases Packages Wiki Activity

Commit graph

  • 502f06e871
         Merge pull request #16 from GTBarkley/grant GTBarkley 2023-06-11 21:15:54 -0700
  • 6528571d32 adjusted height definition GTBarkley 2023-06-12 04:15:30 +0000
  • 1f6dd08dd4
         Merge pull request #15 from GTBarkley/grant GTBarkley 2023-06-11 21:11:15 -0700
  • 2f126ef800
         Merge pull request #14 from GTBarkley/HEAD Leo Mayer 2023-06-11 21:06:57 -0700
  • 12fd019113 added to resources leopoldmayer 2023-06-11 21:03:13 -0700
  • a8b295fa0e corrected definition of height, krull dim leopoldmayer 2023-06-11 21:02:46 -0700
  • dcc9925882 wrote some characterizations of bounding krull GTBarkley 2023-06-12 04:02:16 +0000
  • dc034c2b09 added preliminary def of krullDimGE GTBarkley 2023-06-11 12:33:18 +0000
  • e65513322c function relating the offbrand notions of chain GTBarkley 2023-06-11 06:49:28 +0000
  • 8b28694f0e comparing definitions of height GTBarkley 2023-06-11 06:00:13 +0000
  • 8c0b286765 delete test poincare-duality 2023-06-10 21:26:45 -0700
  • 17bc8ade26
         Merge pull request #13 from GTBarkley/Jayden Jidong Wang 2023-06-10 21:14:35 -0700
  • 53ce99993e test poincare-duality 2023-06-10 21:10:36 -0700
  • 29ed7e5038 test poincare-duality 2023-06-10 21:10:01 -0700
  • d0071924df add stuff poincare-duality 2023-06-10 21:04:25 -0700
  • 193afadecb add things in gitignore poincare-duality 2023-06-10 20:58:29 -0700
  • b91c8392bd Merge branch 'main' of https://github.com/GTBarkley/comm_alg poincare-duality 2023-06-10 20:46:36 -0700
  • d1c10a2d3a
         Merge pull request #12 from GTBarkley/grant GTBarkley 2023-06-10 17:37:21 -0700
  • 868f098749 checked preliminary definition of Krull dimension GTBarkley 2023-06-11 00:36:27 +0000
  • ca451e5ba6
         Merge pull request #11 from GTBarkley/HEAD Leo Mayer 2023-06-10 17:19:35 -0700
  • 37307ecb3e merge leopoldmayer 2023-06-10 17:14:48 -0700
  • f89eaefb89
         Merge pull request #10 from GTBarkley/Jayden GTBarkley 2023-06-10 16:32:40 -0700
  • 23758e5162
         Merge branch 'main' into Jayden GTBarkley 2023-06-10 16:32:29 -0700
  • c2a362500f add things to do poincare-duality 2023-06-10 16:09:51 -0700
  • dab1195317 Merge branch 'main' of https://github.com/GTBarkley/comm_alg poincare-duality 2023-06-10 15:59:27 -0700
  • d28fcc1b57
         Merge pull request #9 from GTBarkley/grant GTBarkley 2023-06-10 15:54:44 -0700
  • 506fd9b4d6
         added more references to mathlib to readme GTBarkley 2023-06-10 18:53:44 -0400
  • 9a08a59274
         added more references to readme GTBarkley 2023-06-10 18:40:48 -0400
  • 59a056f82f
         Merge pull request #8 from GTBarkley/grant GTBarkley 2023-06-10 15:20:06 -0700
  • c95b28d69c
         add more mathlib refs to readme GTBarkley 2023-06-10 18:19:33 -0400
  • 73a1edf070
         Merge pull request #7 from GTBarkley/grant GTBarkley 2023-06-10 12:22:29 -0700
  • 223660606b
         added bullets and the definition of an ideal from mathlib GTBarkley 2023-06-10 15:21:22 -0400
  • da84257eb1
         Merge pull request #6 from GTBarkley/monula95-patch-3 Monalisa Dutta 2023-06-10 11:48:49 -0700
  • 56880e2c26
         Update README.md Monalisa Dutta 2023-06-10 11:48:40 -0700
  • ae42ad8809
         Merge pull request #5 from GTBarkley/monula95-patch-2 Monalisa Dutta 2023-06-10 10:27:16 -0700
  • 36fbac8502
         Update README.md Monalisa Dutta 2023-06-10 10:27:04 -0700
  • e82236bb2c
         Merge pull request #4 from GTBarkley/monula95-patch-2 monula95 2023-06-10 10:19:01 -0700
  • 094826ab42
         Update README.md monula95 2023-06-10 10:18:47 -0700
  • 6de8e44cf1
         Update README.md monula95-patch-1 monula95 2023-06-10 10:17:58 -0700
  • 1fd4e29c87 added statements of lemmas we'd like to prove leopoldmayer 2023-06-10 08:13:10 -0700
  • 97d219fe21 added resources file to dump useful links leopoldmayer 2023-06-10 07:27:37 -0700
  • b0b3bdceb3 removed unnecessary file leopoldmayer 2023-06-10 06:58:23 -0700
  • d736cf81b3 merged readme files GTBarkley 2023-06-10 04:27:40 +0000
  • f2270a009e
         Merge pull request #3 from GTBarkley/ssavkar1-patch-2 ssavkar1 2023-06-09 21:05:21 -0700
  • accf75c663
         Update README.md ssavkar1 2023-06-09 21:05:03 -0700
  • 73d36c2514
         Merge pull request #2 from GTBarkley/ssavkar1-patch-1 ssavkar1 2023-06-09 20:51:47 -0700
  • 3a45dc52d7
         Create README.md ssavkar1 2023-06-09 20:51:11 -0700
  • deab6dde8b
         Merge pull request #1 from GTBarkley/grant GTBarkley 2023-06-09 20:16:56 -0700
  • 48a7a31ec3 add readme GTBarkley 2023-06-10 03:13:59 +0000
  • 5bbb84f5f1 Give it a try poincare-duality 2023-06-09 17:40:22 -0700
  • 3ed659a6ad test push monula95 dutta 2023-06-10 00:21:01 +0000
  • fc37344614 my great change monula95 dutta 2023-06-10 00:13:24 +0000
  • 724c6e3009 added gitpod files gbarkley 2023-06-09 16:55:01 -0700
  • 646f1f9732 initial commit GTBarkley 2023-06-09 23:35:49 +0000