Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

How to make objects execute their operations in a specific field/ring?

Providing some context: i want to create a class to operate on isogeny graphs of elliptic curves. So it should have the $j$-invariants (integers modulo $p$) as nodes and the existence of $l$-isogenies as edges.

To compute the edges i need to do some calculations on GF(p) and some others on the ring PolynomialRing(GF(p), ['X', 'Y']).

How do i make sure the operations happen on their specific rings and don't change the field outside of the class?