ASKSAGE: Sage Q&A Forum - Latest question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Wed, 27 May 2020 16:21:45 -0500How to make objects execute their operations in a specific field/ring?http://ask.sagemath.org/question/51593/how-to-make-objects-execute-their-operations-in-a-specific-fieldring/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?JGCWed, 27 May 2020 16:21:45 -0500http://ask.sagemath.org/question/51593/Twisted Polynomial Ring(Construct new Class)http://ask.sagemath.org/question/31584/twisted-polynomial-ringconstruct-new-class/ I would like to implement a class of twisted polynomial rings, which assigns to ring $K$ in characterstic $p$ a ring $K[\tau]$, whose underlying additive structure is just an ordinary polynomial ring in $\tau$, but with the multiplication defined by $\tau x=x^p \tau$.
Is it possible to construct this as a usual polynomial ring and modify the multiplication in some way?
I am totally new to Sage and Python, and I couldn't even figure out the parent/element dynamics, i.e. what exactly I have to specify for my object to fit with the usual Sage classes. The thematic tutorials on the documentation page don't really specify a general way to deal with this, so I am lost where to start. Nick123Tue, 15 Dec 2015 08:06:27 -0600http://ask.sagemath.org/question/31584/