14 commits

Author	SHA1	Message	Date
monula95 dutta	fe64034b11	Added standard graded assumption	2023-06-15 04:59:31 +00:00
chelseaandmadrid	804fd57037	a little standard graded	2023-06-14 21:53:35 -07:00
chelseaandmadrid	82a4ded17c	Ultimate version of HilbertFunction	2023-06-14 21:30:17 -07:00
chelseaandmadrid	f9e7942a60	Add statements for the reduced case M=R/p	2023-06-14 21:13:11 -07:00
chelseaandmadrid	191e02e984	Updated PolyType	2023-06-14 20:51:45 -07:00
chelseaandmadrid	ac0a660641	add shifting-inv lemma for PolyType	2023-06-14 15:35:15 -07:00
chelseaandmadrid	900bf12da2	Added comments to everything	2023-06-14 14:44:43 -07:00
chelseaandmadrid	08b1fd3e7a	clean some import	2023-06-14 13:48:21 -07:00
chelseaandmadrid	58140e01a9	quotient of a graded	2023-06-14 13:44:23 -07:00
chelseaandmadrid	06e0227828	is there a def of graded submodule?	2023-06-14 12:57:33 -07:00
chelseaandmadrid	d4fef9c0e6	Finish all the statements!!!	2023-06-14 11:23:01 -07:00
chelseaandmadrid	51b2589327	finish all the statements except homogeneous ideal	2023-06-14 10:41:50 -07:00
chelseaandmadrid	3e4a8a5fca	add statements	2023-06-14 09:14:47 -07:00
chelseaandmadrid	4299cafebc	clean some notations	2023-06-14 00:23:01 -07:00