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 |
 Sayantan Santra
|
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 |
Sayantan Santra
|
65d6e05f08
|
Merge pull request #90 from SinTan1729/main
Completed polynomial_over_field_dim_one and move to main file
|
2023-06-16 13:15:38 -05:00 |
|
Sayantan Santra
|
56fc9aefb2
|
Added polynomial_over_field_dim_one to the main file
|
2023-06-16 11:12:41 -07:00 |
|
Sayantan Santra
|
efbeadc4ce
|
Completed polynomial_over_field_dim_one
|
2023-06-16 11:11:13 -07:00 |
|
Sayantan Santra
|
3cf5665126
|
Merge pull request #89 from SinTan1729/main
Completed polynomial_over_field_dim_one
|
2023-06-16 12:43:17 -05:00 |
|
Sayantan Santra
|
0bda9dea5b
|
Merge branch 'GTBarkley:main' into main
|
2023-06-16 12:42:43 -05:00 |
|
Sayantan Santra
|
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
|
bcb867258a
|
Merge pull request #87 from SinTan1729/main
Almost completed polynomial_over_field_dim_one
|
2023-06-16 02:23:31 -05:00 |
|
Sayantan Santra
|
f788d4541b
|
Merge branch 'GTBarkley:main' into main
|
2023-06-16 02:23:13 -05:00 |
|
Sayantan Santra
|
d2836ad8f8
|
Almost completed polynomial_over_field_dim_one
|
2023-06-16 00:22:40 -07:00 |
Leo Mayer
|
253ac17bb6
|
Merge pull request #86 from GTBarkley/leo
removed dependency on false sorried lemma
|
2023-06-16 00:08:04 -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 |
|
Sayantan Santra
|
d4a2a416f5
|
Some cleanup and added height_bot_iff_bot
|
2023-06-15 22:45:43 -07:00 |
|
Leo Mayer
|
b470c027b0
|
Merge pull request #85 from GTBarkley/leo
Leo
|
2023-06-15 22:14:24 -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 |
|
GTBarkley
|
c2f3d77323
|
added WF_interval_of_no_primes
|
2023-06-16 05:05:39 +00:00 |
GTBarkley
|
4cd9bdee41
|
Merge pull request #84 from GTBarkley/grant
added WF_interval_le_prime
|
2023-06-15 21:58:00 -07:00 |
|
GTBarkley
|
9c4f129a56
|
added WF_interval_le_prime
|
2023-06-16 04:57:28 +00:00 |
|
ah1112
|
04849a931f
|
Merge pull request #83 from GTBarkley/main
update with main
|
2023-06-16 00:50:26 -04:00 |
|
ah1112
|
c92b111565
|
Merge pull request #82 from GTBarkley/monalisa
Monalisa
|
2023-06-16 00:48:58 -04:00 |
|
Andre
|
0089e927e1
|
fixed merge conflics
|
2023-06-16 00:44:03 -04:00 |
Jidong Wang
|
fc5d177176
|
Merge pull request #81 from GTBarkley/jayden
need to add more
|
2023-06-15 21:38:47 -07:00 |
|
Andre
|
f225a9e262
|
Merge branch 'monalisa' of github.com:GTBarkley/comm_alg into monalisa
|
2023-06-16 00:38:41 -04:00 |
poincare-duality
|
8eff058565
|
more stuff
|
2023-06-15 21:34:38 -07:00 |
|
Andre
|
de995bf2f3
|
fixed some formatting
|
2023-06-16 00:28:44 -04:00 |
chelseaandmadrid
|
72296bbbc9
|
Merge branch 'monalisa' of github.com:GTBarkley/comm_alg into monalisa
|
2023-06-15 21:27:57 -07:00 |
|
chelseaandmadrid
|
04bda915d1
|
change statement of PolyType_0
|
2023-06-15 21:27:52 -07:00 |
|
Andre
|
85263016c1
|
fixed indentation for PolyType_0
|
2023-06-16 00:00:20 -04:00 |
|
GTBarkley
|
37e9cf46de
|
Merge pull request #80 from GTBarkley/grant
swapped inequalities in lt_height_iff
|
2023-06-15 20:54:39 -07:00 |
|
GTBarkley
|
7cc1079f7d
|
swapped inequalities in lt_height_iff
|
2023-06-16 03:53:29 +00:00 |
|
Jidong Wang
|
fa3e410777
|
Merge pull request #79 from GTBarkley/jayden
proved one direction
|
2023-06-15 20:46:04 -07:00 |
|
poincare-duality
|
37d8991879
|
proved one direction
|
2023-06-15 20:45:29 -07:00 |
|
chelseaandmadrid
|
01f628cf98
|
kind of finish \Delta of d times lemma
|
2023-06-15 20:43:52 -07:00 |
|
chelseaandmadrid
|
a3c376de01
|
merge two files
|
2023-06-15 20:28:30 -07:00 |
|
chelseaandmadrid
|
5da3b52dde
|
Merge branch 'monalisa' of github.com:GTBarkley/comm_alg into monalisa
|
2023-06-15 20:27:35 -07:00 |
|
chelseaandmadrid
|
31210a9bf5
|
add foo and foofoo
|
2023-06-15 20:27:29 -07:00 |
|
Sayantan Santra
|
54c76464bc
|
Added some comments
|
2023-06-15 20:06:08 -07:00 |
|
Sayantan Santra
|
1cf31c2590
|
Merge pull request #78 from SinTan1729/main
Proved one side of poly_over_field
|
2023-06-15 21:45:48 -05:00 |
|
Sayantan Santra
|
a7055d64e3
|
Merge branch 'GTBarkley:main' into main
|
2023-06-15 21:43:09 -05:00 |