search

KisaraBlue / ec-tate-lean

Separate project from mathib4
3 stars 2 forks source link

Add a type for quadratic rings and define operations #5

Open alexjbest opened 1 year ago

alexjbest commented 1 year ago

so we can do LMFDB test cases