5 Commits

Author	SHA1	Message	Date
narodnik	2c8643d653	sage: minor improvements and document some stuff	2022-07-30 20:33:59 +02:00
narodnik	9998b1da55	add working ordp function	2022-07-30 10:49:52 +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