Sayantan Santra
|
bd6e66e539
|
Merge pull request #102 from GTBarkley/monalisa
Monalisa
|
2023-06-23 11:33:31 -07:00 |
|
Sayantan Santra
|
03391a83dd
|
Merge pull request #108 from SinTan1729/main
Some refinements
|
2023-06-23 11:33:16 -07:00 |
|
Sayantan Santra
|
4e2e837926
|
Merge branch 'GTBarkley:main' into main
|
2023-06-23 11:32:51 -07:00 |
GTBarkley
|
c6fa30cdf0
|
Merge pull request #107 from GTBarkley/grant
added strict series
|
2023-06-22 19:39:12 -04:00 |
GTBarkley
|
1b199d244a
|
added eraseBot and API for it
|
2023-06-22 05:30:47 +00:00 |
|
GTBarkley
|
1c29411906
|
fixed copyright
|
2023-06-21 22:02:50 +00:00 |
|
GTBarkley
|
0e00338f99
|
API for StrictSeries of length 0
|
2023-06-21 20:19:04 +00:00 |
|
GTBarkley
|
d96a4c2110
|
fixed copyright statement
|
2023-06-19 18:49:38 +00:00 |
|
GTBarkley
|
b4b8c895c0
|
defined StrictSeries, copied API from JordanHolder
|
2023-06-19 18:42:50 +00:00 |
 Sayantan Santra
|
9331874498
|
new: Added minimalPrimes.toPrimeSpectrum
|
2023-06-18 23:29:12 -05:00 |
|
Sayantan Santra
|
4f2005ca08
|
change: Removed one unneeded line
|
2023-06-17 20:04:04 -05:00 |
|
Sayantan Santra
|
9f0ed8cee3
|
change : Improved singleton_chainHeight_le_one to singleton_chainHeight_one
|
2023-06-17 15:13:53 -07:00 |
ah1112
|
3b9a47ac6f
|
Merge pull request #105 from GTBarkley/monalisa4
white space
|
2023-06-16 19:19:10 -04:00 |
Andre
|
404943e45e
|
white space
|
2023-06-16 19:15:46 -04:00 |
Jidong Wang
|
316ee97033
|
Merge pull request #104 from GTBarkley/jayden
more stuff
|
2023-06-16 15:34:28 -07:00 |
poincare-duality
|
24f6994a65
|
more stuff
|
2023-06-16 15:33:58 -07:00 |
|
ah1112
|
0a9d0736d2
|
Merge pull request #103 from GTBarkley/monalisa4
Add files via upload
|
2023-06-16 18:30:24 -04:00 |
|
ah1112
|
2698d9f917
|
Add files via upload
|
2023-06-16 18:29:58 -04:00 |
|
Andre
|
19ef96ef49
|
added final_hil_pol
|
2023-06-16 18:22:23 -04:00 |
|
GTBarkley
|
8402ffe56b
|
Merge pull request #101 from GTBarkley/grant
work on principle ideal theorem
|
2023-06-16 15:14:54 -07:00 |
|
GTBarkley
|
0c4558243c
|
proved principle ideal theorem mod sorries
|
2023-06-16 22:14:09 +00:00 |
|
GTBarkley
|
e1263e6fcf
|
Merge branch 'monalisa3'
|
2023-06-16 22:08:07 +00:00 |
monula95 dutta
|
e85ea6b119
|
rearranged defs
|
2023-06-16 22:00:43 +00:00 |
Leo Mayer
|
a74c07421a
|
Merge pull request #100 from GTBarkley/leo
Leo
|
2023-06-16 14:56:14 -07:00 |
leopoldmayer
|
0e184caf23
|
Merge branch 'main' of github.com:GTBarkley/comm_alg into main
|
2023-06-16 14:54:43 -07:00 |
|
leopoldmayer
|
4c17c4c903
|
removed sorried lemmas that are now proved elsewhe
|
2023-06-16 14:54:36 -07:00 |
|
leopoldmayer
|
d896e75633
|
Complete proof that dim (R/I) <= dim R
|
2023-06-16 14:53:24 -07:00 |
|
ah1112
|
aac88adc02
|
Merge pull request #99 from GTBarkley/main
unify with main
|
2023-06-16 17:48:07 -04:00 |
|
ah1112
|
431f188882
|
Merge pull request #98 from GTBarkley/monalisa
Monalisa
|
2023-06-16 17:47:09 -04:00 |
|
Andre
|
dbdb06fb58
|
removed a comment
|
2023-06-16 17:42:48 -04:00 |
|
Andre
|
dd45702fca
|
Merge branch 'monalisa' of github.com:GTBarkley/comm_alg into monalisa
|
2023-06-16 17:42:17 -04:00 |
|
monula95 dutta
|
96d1b2d83c
|
almost finished base case
|
2023-06-16 21:38:52 +00:00 |
|
Jidong Wang
|
cf2cedb093
|
Merge pull request #97 from GTBarkley/jayden
Is it too late to say sorry
|
2023-06-16 14:38:29 -07:00 |
|
poincare-duality
|
fc6fac87a2
|
Is it too late to say sorry
|
2023-06-16 14:37:06 -07:00 |
|
Andre
|
01fb5fbd8b
|
finished refactoring
|
2023-06-16 17:37:02 -04:00 |
chelseaandmadrid
|
3588faa23c
|
add something in Polynomial_shifting
|
2023-06-16 14:34:28 -07:00 |
|
chelseaandmadrid
|
cb4e0ead26
|
trivial change
|
2023-06-16 13:16:46 -07:00 |
|
Sayantan Santra
|
e1bc05b05f
|
Merge pull request #96 from SinTan1729/main
Mostly minor changes
|
2023-06-16 15:04:34 -05:00 |
|
Sayantan Santra
|
cb24531aa2
|
Merge branch 'main' of https://github.com/SinTan1729/comm_alg
|
2023-06-16 13:03:09 -07:00 |
|
Sayantan Santra
|
db3bf05878
|
Some minor renames and changes
|
2023-06-16 13:02:25 -07:00 |
|
chelseaandmadrid
|
9e8e2860ca
|
Merge branch 'monalisa' of github.com:GTBarkley/comm_alg into monalisa
|
2023-06-16 12:20:32 -07:00 |
|
chelseaandmadrid
|
24d2f8e1f0
|
finish poly_shifting
|
2023-06-16 12:20:24 -07:00 |
|
Andre
|
3e8aafd23d
|
golfed delta_
|
2023-06-16 15:17:43 -04:00 |
|
Andre
|
c8797956ab
|
golfed foo
|
2023-06-16 15:11:07 -04:00 |
|
Leo Mayer
|
6859c0b83f
|
Merge pull request #95 from GTBarkley/leo
Leo
|
2023-06-16 11:48:01 -07:00 |
|
leopoldmayer
|
50ed3f1de9
|
Merge branch 'main' of github.com:GTBarkley/comm_alg into main
|
2023-06-16 11:43:12 -07:00 |
|
leopoldmayer
|
19b490ab9e
|
some golfing, one new lemma
|
2023-06-16 11:43:00 -07:00 |
|
ah1112
|
0d54454ffd
|
Merge pull request #93 from GTBarkley/main
Unify with main
|
2023-06-16 14:38:55 -04:00 |
|
ah1112
|
9a8111be4a
|
Merge pull request #92 from GTBarkley/monalisa
Filled in proofs for Delta_1_
|
2023-06-16 14:38:04 -04:00 |
|
Sayantan Santra
|
c5f0eb2081
|
Add the whole proof back since I just noticed that I had replaced them by sorried statements
|
2023-06-16 11:37:19 -07:00 |