def conjstringideal(F,stridl,g): """Given a string representing an ideal of F and an automorpism g of F, return the string representing the conjugate ideal. """ N,n,_,gen = str2ideal(F,stridl) return '[' + str(N) + ',' + str(n) + ',' + str(g(gen)) + ']'
def make_conductor(ecnfdata, hfield): _, _, I, _ = str2ideal(hfield.K(), ecnfdata['conductor_ideal']) return I
def conjstringideal(F, stridl, g): """Given a string representing an ideal of F and an automorpism g of F, return the string representing the conjugate ideal. """ N, n, _, gen = str2ideal(F, stridl) return '[' + str(N) + ',' + str(n) + ',' + str(g(gen)) + ']'