39 Commits

Author	SHA1	Message	Date
zero	c9d2b280d5	ec: fix small typos	2024-01-09 10:33:50 +01:00
x	339a6605ff	dlog stuff	2023-03-09 12:59:12 +01:00
x	708e6916e9	weil reciprocity	2023-03-09 12:59:12 +01:00
x	e87590815d	dlog calculations	2023-03-06 15:48:46 +01:00
x	5a34c7bd2d	ec: add random math stuff	2022-10-25 11:15:08 +00:00
mohab metwally	df690f54b8	[blockchain/epoch] remove EpochItem from EpochConsensus	2022-09-29 17:29:53 +02:00
x	491181c41a	ec: add example of using sage valuation ring	2022-09-17 13:12:57 +00:00
narodnik	4e923775f1	bls sage code	2022-08-15 20:02:43 +02:00
narodnik	d90139c9bb	unfinished poly congruence stuff	2022-08-15 20:01:14 +02:00
narodnik	6c6a0dc3f8	ec: small repr() divisor improvements	2022-08-11 09:15:09 +02:00
narodnik	98a0402bfb	ec: divisor sage stuff	2022-08-10 14:32:22 +02:00
narodnik	2eb1bcaeb1	ec: simple intersection method	2022-08-07 11:02:26 +02:00
narodnik	74e7fa76ed	show more stuff in jupyter	2022-08-04 09:58:24 +02:00
narodnik	23d87f4f3f	update jupyter worksheet with algebraic valuation function	2022-08-04 09:39:53 +02:00
narodnik	3fabb8bbfc	perform reduction on a divisor	2022-07-31 10:44:20 +02:00
narodnik	4aae54743e	riemann roch basis	2022-07-31 10:43:56 +02:00
narodnik	ff2d1b3b9b	visual heatmap of an elliptic curve	2022-07-31 09:58:04 +02:00
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