Commit graph

Select branches

Hide pull requests

bobby

grant

jayden

main

monalisa

monalisa3

monalisa4

monula95-patch-1

sayantan

#1

#10

#100

#101

#102

#103

#104

#105

#106

#107

#108

#11

#12

#13

#14

#15

#16

#17

#18

#19

#2

#20

#21

#22

#23

#24

#25

#26

#27

#28

#29

#3

#30

#31

#32

#33

#34

#35

#36

#37

#38

#39

#4

#40

#41

#42

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#53

#54

#55

#56

#57

#58

#59

#6

#60

#61

#62

#63

#64

#65

#66

#67

#68

#69

#7

#70

#71

#72

#73

#74

#75

#76

#77

#78

#79

#8

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#97

#98

#99

Mono Color

• aec1beb809 testing api for StrictSeries grant GTBarkley 2023-07-11 04:41:48 +0000
• bd6e66e539
  Merge pull request #102 from GTBarkley/monalisa main Sayantan Santra 2023-06-23 11:33:31 -0700
• 03391a83dd
  Merge pull request #108 from SinTan1729/main Sayantan Santra 2023-06-23 11:33:16 -0700
• 4e2e837926
  Merge branch 'GTBarkley:main' into main Sayantan Santra 2023-06-23 11:32:51 -0700
• c6fa30cdf0
  Merge pull request #107 from GTBarkley/grant GTBarkley 2023-06-22 19:39:12 -0400
• 1b199d244a added eraseBot and API for it GTBarkley 2023-06-22 05:30:47 +0000
• 1c29411906 fixed copyright GTBarkley 2023-06-21 22:02:50 +0000
• 0e00338f99 API for StrictSeries of length 0 GTBarkley 2023-06-21 20:19:04 +0000
• d96a4c2110 fixed copyright statement GTBarkley 2023-06-19 18:49:38 +0000
• b4b8c895c0 defined StrictSeries, copied API from JordanHolder GTBarkley 2023-06-19 18:42:50 +0000
• 9331874498
  
  new: Added minimalPrimes.toPrimeSpectrum SinTan1729 2023-06-18 23:29:12 -0500
• 4f2005ca08
  
  change: Removed one unneeded line SinTan1729 2023-06-17 20:04:04 -0500
• 9f0ed8cee3
  
  change : Improved singleton_chainHeight_le_one to singleton_chainHeight_one SinTan1729 2023-06-17 15:13:53 -0700
• b61c864d52
  Merge pull request #106 from GTBarkley/main monalisa4 ah1112 2023-06-16 19:21:27 -0400
• 3b9a47ac6f
  Merge pull request #105 from GTBarkley/monalisa4 ah1112 2023-06-16 19:19:10 -0400
• 404943e45e white space Andre 2023-06-16 19:15:46 -0400
• 316ee97033
  Merge pull request #104 from GTBarkley/jayden jayden Jidong Wang 2023-06-16 15:34:28 -0700
• 24f6994a65 more stuff poincare-duality 2023-06-16 15:33:58 -0700
• 0a9d0736d2
  Merge pull request #103 from GTBarkley/monalisa4 ah1112 2023-06-16 18:30:24 -0400
• 2698d9f917
  Add files via upload ah1112 2023-06-16 18:29:58 -0400
• 19ef96ef49 added final_hil_pol monalisa Andre 2023-06-16 18:22:23 -0400
• 8402ffe56b
  Merge pull request #101 from GTBarkley/grant GTBarkley 2023-06-16 15:14:54 -0700
• 0c4558243c proved principle ideal theorem mod sorries GTBarkley 2023-06-16 22:14:09 +0000
• e1263e6fcf Merge branch 'monalisa3' GTBarkley 2023-06-16 22:08:07 +0000
• e85ea6b119 rearranged defs monalisa3 monula95 dutta 2023-06-16 22:00:43 +0000
• a74c07421a
  Merge pull request #100 from GTBarkley/leo Leo Mayer 2023-06-16 14:56:14 -0700
• 0e184caf23 Merge branch 'main' of github.com:GTBarkley/comm_alg into main leopoldmayer 2023-06-16 14:54:43 -0700
• 4c17c4c903 removed sorried lemmas that are now proved elsewhe leopoldmayer 2023-06-16 14:54:36 -0700
• d896e75633 Complete proof that dim (R/I) <= dim R leopoldmayer 2023-06-16 14:53:24 -0700
• aac88adc02
  Merge pull request #99 from GTBarkley/main ah1112 2023-06-16 17:48:07 -0400
• 431f188882
  Merge pull request #98 from GTBarkley/monalisa ah1112 2023-06-16 17:47:09 -0400
• dbdb06fb58 removed a comment Andre 2023-06-16 17:42:48 -0400
• dd45702fca Merge branch 'monalisa' of github.com:GTBarkley/comm_alg into monalisa Andre 2023-06-16 17:42:17 -0400
• 96d1b2d83c almost finished base case monula95 dutta 2023-06-16 21:38:52 +0000
• cf2cedb093
  Merge pull request #97 from GTBarkley/jayden Jidong Wang 2023-06-16 14:38:29 -0700
• fc6fac87a2 Is it too late to say sorry poincare-duality 2023-06-16 14:37:06 -0700
• 01fb5fbd8b finished refactoring Andre 2023-06-16 17:37:02 -0400
• 3588faa23c add something in Polynomial_shifting chelseaandmadrid 2023-06-16 14:34:28 -0700
• cb4e0ead26 trivial change chelseaandmadrid 2023-06-16 13:16:46 -0700
• e1bc05b05f
  Merge pull request #96 from SinTan1729/main sayantan Sayantan Santra 2023-06-16 15:04:34 -0500
• cb24531aa2
  
  Merge branch 'main' of https://github.com/SinTan1729/comm_alg SinTan1729 2023-06-16 13:03:09 -0700
• db3bf05878
  
  Some minor renames and changes SinTan1729 2023-06-16 13:02:25 -0700
• 9e8e2860ca Merge branch 'monalisa' of github.com:GTBarkley/comm_alg into monalisa chelseaandmadrid 2023-06-16 12:20:32 -0700
• 24d2f8e1f0 finish poly_shifting chelseaandmadrid 2023-06-16 12:20:24 -0700
• 3e8aafd23d golfed delta_ Andre 2023-06-16 15:17:43 -0400
• c8797956ab golfed foo Andre 2023-06-16 15:11:07 -0400
• 6859c0b83f
  Merge pull request #95 from GTBarkley/leo Leo Mayer 2023-06-16 11:48:01 -0700
• 50ed3f1de9 Merge branch 'main' of github.com:GTBarkley/comm_alg into main leopoldmayer 2023-06-16 11:43:12 -0700
• 19b490ab9e some golfing, one new lemma leopoldmayer 2023-06-16 11:43:00 -0700
• 0d54454ffd
  Merge pull request #93 from GTBarkley/main ah1112 2023-06-16 14:38:55 -0400
• 9a8111be4a
  Merge pull request #92 from GTBarkley/monalisa ah1112 2023-06-16 14:38:04 -0400
• c5f0eb2081
  
  Add the whole proof back since I just noticed that I had replaced them by sorried statements SinTan1729 2023-06-16 11:37:19 -0700
• 5f0bf3b066 Filled in proofs for Delta_1_ Andre 2023-06-16 14:36:28 -0400
• 55c492ebce
  Merge pull request #91 from GTBarkley/monalisa ah1112 2023-06-16 14:23:48 -0400
• f76ff450e7
  
  Modified some types to make them implicit SinTan1729 2023-06-16 11:22:21 -0700
• 6421277092 proved foo, added polynomial_shifting Andre 2023-06-16 14:22:13 -0400
• b3332d77d7 06/16 version bobby chelseaandmadrid 2023-06-16 11:16:41 -0700
• 65d6e05f08
  Merge pull request #90 from SinTan1729/main Sayantan Santra 2023-06-16 13:15:38 -0500
• 56fc9aefb2
  
  Added polynomial_over_field_dim_one to the main file SinTan1729 2023-06-16 11:12:41 -0700
• efbeadc4ce
  
  Completed polynomial_over_field_dim_one SinTan1729 2023-06-16 11:11:13 -0700
• 3cf5665126
  Merge pull request #89 from SinTan1729/main Sayantan Santra 2023-06-16 12:43:17 -0500
• 0bda9dea5b
  Merge branch 'GTBarkley:main' into main Sayantan Santra 2023-06-16 12:42:43 -0500
• e735a5254f
  
  Completed polynomial_over_field_dim_one SinTan1729 2023-06-16 10:42:02 -0700
• c9d02bbf59 Merge branch 'main' of github.com:GTBarkley/comm_alg into main leopoldmayer 2023-06-16 10:12:11 -0700
• 17f6d2ab85
  Merge pull request #88 from GTBarkley/monalisa ah1112 2023-06-16 13:01:24 -0400
• a8753a10f3 Updated formatting Andre 2023-06-16 13:00:46 -0400
• d0a6d8605e golfed imports leopoldmayer 2023-06-16 09:54:07 -0700
• bcb867258a
  Merge pull request #87 from SinTan1729/main Sayantan Santra 2023-06-16 02:23:31 -0500
• f788d4541b
  Merge branch 'GTBarkley:main' into main Sayantan Santra 2023-06-16 02:23:13 -0500
• d2836ad8f8
  
  Almost completed polynomial_over_field_dim_one SinTan1729 2023-06-16 00:22:40 -0700
• 253ac17bb6
  Merge pull request #86 from GTBarkley/leo Leo Mayer 2023-06-16 00:08:04 -0700
• 2402dd93b2 removed dependency on false sorried lemma leopoldmayer 2023-06-16 00:07:32 -0700
• ed83762764 version of 06/15 chelseaandmadrid 2023-06-15 23:29:40 -0700
• 95ddb3c1ff golfed foofoo Andre 2023-06-16 02:29:33 -0400
• fe9d9ab71f delete WF_interval_of_no_primes GTBarkley 2023-06-16 05:59:28 +0000
• 25b85edbea finish a => b except some other lemmas chelseaandmadrid 2023-06-15 22:54:11 -0700
• d4a2a416f5
  
  Some cleanup and added height_bot_iff_bot SinTan1729 2023-06-15 22:45:43 -0700
• b470c027b0
  Merge pull request #85 from GTBarkley/leo Leo Mayer 2023-06-15 22:14:24 -0700
• a2f28b85f8 Merge branch 'main' of github.com:GTBarkley/comm_alg into main leopoldmayer 2023-06-15 22:13:25 -0700
• c702c535b5 golf attempt leopoldmayer 2023-06-15 22:13:11 -0700
• 4b9f84f7c1 new file for complete proof of adjoining a var leopoldmayer 2023-06-15 22:10:39 -0700
• c2f3d77323 added WF_interval_of_no_primes GTBarkley 2023-06-16 05:05:39 +0000
• 4cd9bdee41
  Merge pull request #84 from GTBarkley/grant GTBarkley 2023-06-15 21:58:00 -0700
• 9c4f129a56 added WF_interval_le_prime GTBarkley 2023-06-16 04:57:28 +0000
• 04849a931f
  Merge pull request #83 from GTBarkley/main ah1112 2023-06-16 00:50:26 -0400
• c92b111565
  Merge pull request #82 from GTBarkley/monalisa ah1112 2023-06-16 00:48:58 -0400
• 0089e927e1 fixed merge conflics Andre 2023-06-16 00:44:03 -0400
• fc5d177176
  Merge pull request #81 from GTBarkley/jayden Jidong Wang 2023-06-15 21:38:47 -0700
• f225a9e262 Merge branch 'monalisa' of github.com:GTBarkley/comm_alg into monalisa Andre 2023-06-16 00:38:41 -0400
• 8eff058565 more stuff poincare-duality 2023-06-15 21:34:38 -0700
• de995bf2f3 fixed some formatting Andre 2023-06-16 00:28:44 -0400
• 72296bbbc9 Merge branch 'monalisa' of github.com:GTBarkley/comm_alg into monalisa chelseaandmadrid 2023-06-15 21:27:57 -0700
• 04bda915d1 change statement of PolyType_0 chelseaandmadrid 2023-06-15 21:27:52 -0700
• 85263016c1 fixed indentation for PolyType_0 Andre 2023-06-16 00:00:20 -0400
• 37e9cf46de
  Merge pull request #80 from GTBarkley/grant GTBarkley 2023-06-15 20:54:39 -0700
• 7cc1079f7d swapped inequalities in lt_height_iff GTBarkley 2023-06-16 03:53:29 +0000
• fa3e410777
  Merge pull request #79 from GTBarkley/jayden Jidong Wang 2023-06-15 20:46:04 -0700
• 37d8991879 proved one direction poincare-duality 2023-06-15 20:45:29 -0700
• 01f628cf98 kind of finish \Delta of d times lemma chelseaandmadrid 2023-06-15 20:43:52 -0700
• a3c376de01 merge two files chelseaandmadrid 2023-06-15 20:28:30 -0700