Commit graph

188 commits

Author SHA1 Message Date
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
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
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
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
cb24531aa2
Merge branch 'main' of https://github.com/SinTan1729/comm_alg 2023-06-16 13:03:09 -07:00
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
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
9a8111be4a
Merge pull request #92 from GTBarkley/monalisa
Filled in proofs for Delta_1_
2023-06-16 14:38:04 -04:00
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
Andre
5f0bf3b066 Filled in proofs for Delta_1_ 2023-06-16 14:36:28 -04:00
ah1112
55c492ebce
Merge pull request #91 from GTBarkley/monalisa
proved foo, added polynomial_shifting
2023-06-16 14:23:48 -04:00
f76ff450e7
Modified some types to make them implicit 2023-06-16 11:22:21 -07:00
Andre
6421277092 proved foo, added polynomial_shifting 2023-06-16 14:22:13 -04:00
56fc9aefb2
Added polynomial_over_field_dim_one to the main file 2023-06-16 11:12:41 -07:00
efbeadc4ce
Completed polynomial_over_field_dim_one 2023-06-16 11:11:13 -07:00
Sayantan Santra
0bda9dea5b
Merge branch 'GTBarkley:main' into main 2023-06-16 12:42:43 -05:00
e735a5254f
Completed polynomial_over_field_dim_one 2023-06-16 10:42:02 -07:00
leopoldmayer
c9d02bbf59 Merge branch 'main' of github.com:GTBarkley/comm_alg into main 2023-06-16 10:12:11 -07:00
ah1112
17f6d2ab85
Merge pull request #88 from GTBarkley/monalisa
Monalisa
2023-06-16 13:01:24 -04:00
Andre
a8753a10f3 Updated formatting 2023-06-16 13:00:46 -04:00
leopoldmayer
d0a6d8605e golfed imports 2023-06-16 09:54:07 -07:00
Sayantan Santra
f788d4541b
Merge branch 'GTBarkley:main' into main 2023-06-16 02:23:13 -05:00
d2836ad8f8
Almost completed polynomial_over_field_dim_one 2023-06-16 00:22:40 -07:00
leopoldmayer
2402dd93b2 removed dependency on false sorried lemma 2023-06-16 00:07:32 -07:00
Andre
95ddb3c1ff golfed foofoo 2023-06-16 02:29:33 -04:00
GTBarkley
fe9d9ab71f delete WF_interval_of_no_primes 2023-06-16 05:59:28 +00:00
d4a2a416f5
Some cleanup and added height_bot_iff_bot 2023-06-15 22:45:43 -07:00
leopoldmayer
a2f28b85f8 Merge branch 'main' of github.com:GTBarkley/comm_alg into main 2023-06-15 22:13:25 -07:00
leopoldmayer
c702c535b5 golf attempt 2023-06-15 22:13:11 -07:00
leopoldmayer
4b9f84f7c1 new file for complete proof of adjoining a var 2023-06-15 22:10:39 -07:00