22 Commits

Author	SHA1	Message	Date
narodnik	2c8643d653	sage: minor improvements and document some stuff	2022-07-30 20:33:59 +02:00
narodnik	1badb54ac1	add P = (0, 0) case for curve	2022-07-30 19:48:14 +02:00
narodnik	380acebf95	zeros and poles of a function, and calculate orders for them too	2022-07-30 11:28:51 +02:00
narodnik	6535dbe5e8	cleanup ordp.sage code	2022-07-30 11:00:48 +02:00
narodnik	9998b1da55	add working ordp function	2022-07-30 10:49:52 +02:00
narodnik	dca1d95eb6	jupyter notebook showing calculation of the valuation	2022-07-30 10:30:16 +02:00
narodnik	a98f710217	add verification of computed valuation	2022-07-30 08:54:42 +02:00
narodnik	6b33d672aa	cleanup and fix mistake in math	2022-07-28 13:18:19 +02:00
narodnik	2f22233519	valuation of function at a local ring for elliptic curve	2022-07-28 12:08:55 +02:00
narodnik	633a62deb0	add explicit homogenization step	2022-07-20 13:00:09 +02:00
narodnik	f75d02cf16	show how to calculate intersection_multiplicity of point on elliptic curve: otherwise known as the order of vanishing - ord_P(f)	2022-07-20 12:56:12 +02:00
narodnik	6b2cb4380b	divisors: add note how to use code for reducing [P] - [Q]	2022-07-20 12:49:29 +02:00
narodnik	cd030a3c69	show how to compute divisor functions for divisors with effective size 1	2022-07-20 12:40:21 +02:00
narodnik	154fbc81da	calculate function divisor for adding 2 points	2022-07-20 12:18:38 +02:00
narodnik	ba4213f75e	modified tate lichenbaum pairing	2022-07-18 19:21:29 +02:00
narodnik	6b47bcf7b2	add small note to pairing code	2022-07-17 21:17:59 +02:00
narodnik	5382a76eac	use div(f) instead of <f> for divisor of f	2022-07-09 09:54:58 +02:00
narodnik	2bcf9e3b58	ec pairing class group divisors in sage	2022-07-09 09:45:23 +02:00
narodnik	978028f741	incomplete pairings in sage	2022-07-01 17:58:34 +02:00
narodnik	18ed156e65	ec endomorphism tests	2022-03-15 14:12:01 +01:00
narodnik	9a6a22137a	ec: frobenius map	2022-03-15 11:35:35 +01:00
narodnik	41855cd4a3	rename script/research/elliptic_curves/ to script/research/ec/	2022-03-15 10:35:35 +01:00