Oh. That makes sense. Thank you very much! On Tuesday, May 1, 2018 at 3:14:53 PM UTC, David Roe wrote: > > Take a look at the docstring for galois_group. You need to include a > keyword argument for the variable name of the Galois closure: > > K.galois_group(name='b') > > On Tue, May 1, 2018 at 11:10 AM, Sanketh Menda <[email protected] > <javascript:>> wrote: > >> I was trying to do the example in Adjoining a root of the cubic >> <https://doc.sagemath.org/html/en/thematic_tutorials/explicit_methods_in_number_theory/nf_introduction.html#adjoining-a-root-of-the-cubic> >> >> in Three Lectures about Explicit Methods in Number Theory Using Sage. >> Specifically, I created a field like this: >> >> sage: K.<b> = QQ[a] >>> sage: K >>> Number Field in a with defining >>> polynomial x^6 + 10*x^3 - 2*x^2 + 25 >>> sage: a.minpoly() >>> x^6 + 10*x^3 - 2*x^2 + 25 >>> sage: b.minpoly() >>> x^6 + 10*x^3 - 2*x^2 + 25 >>> >> >> and then tried to compute the order of the Galois group: >> >>> K.galois_group().order() >>> >> >> This returned a TypeError so I tried to just compute the Galois group: >> K.galois_group(), and even this returns: >> >>> >>> --------------------------------------------------------------------------- >>> TypeError Traceback (most recent call >>> last) >>> <ipython-input-41-53b0dca27e76> in <module>() >>> ----> 1 K.galois_group() >>> >>> /Applications/SageMath-8.1.app/Contents/Resources/sage/src/sage/misc/cachefunc.pyx >>> >>> in sage.misc.cachefunc.CachedMethodCaller.__call__ >>> (build/cythonized/sage/misc/cachefunc.c:10855)() >>> 2014 return cache[k] >>> 2015 except KeyError: >>> -> 2016 w = self._instance_call(*args, **kwds) >>> 2017 cache[k] = w >>> 2018 return w >>> >>> /Applications/SageMath-8.1.app/Contents/Resources/sage/src/sage/misc/cachefunc.pyx >>> >>> in sage.misc.cachefunc.CachedMethodCaller._instance_call >>> (build/cythonized/sage/misc/cachefunc.c:10306)() >>> 1890 True >>> 1891 """ >>> -> 1892 return self.f(self._instance, *args, **kwds) >>> 1893 >>> 1894 cdef fix_args_kwds(self, tuple args, dict kwds): >>> >>> /Applications/SageMath-8.1.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/rings/number_field/number_field.pyc >>> >>> in galois_group(self, type, algorithm, names) >>> 5396 >>> 5397 if type is None: >>> -> 5398 return GaloisGroup_v2(self, names) >>> 5399 >>> 5400 elif type=="pari": >>> >>> /Applications/SageMath-8.1.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/rings/number_field/galois_group.pyc >>> >>> in __init__(self, number_field, names) >>> 203 >>> 204 if not number_field.is_galois(): >>> --> 205 self._galois_closure, self._gc_map = >>> number_field.galois_closure(names=names, map=True) >>> 206 else: >>> 207 self._galois_closure, self._gc_map = (number_field, >>> number_field.hom(number_field.gen(), number_field)) >>> >>> /Applications/SageMath-8.1.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/rings/number_field/number_field.pyc >>> >>> in galois_closure(self, names, map) >>> 8006 Defn: a |--> 1/240*cc^5 - 41/120*cc >>> 8007 """ >>> -> 8008 L, self_into_L = >>> self._galois_closure_and_embedding(names) >>> 8009 if map: >>> 8010 return (L, self_into_L) >>> >>> /Applications/SageMath-8.1.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/rings/number_field/number_field.pyc >>> >>> in _galois_closure_and_embedding(self, names) >>> 7923 """ >>> 7924 if names is None: >>> -> 7925 raise TypeError("You must specify the name of the >>> generator.") >>> 7926 >>> 7927 try: >>> >>> TypeError: You must specify the name of the generator. >>> >> >> On the other hand, K.galois_group(type='gap').order() and >> K.galois_group(type='pari').order() work perfectly. >> >> I am not sure what the error is. It seems to have something to do with >> the new galois_group_v2. >> >> Thanks in advance. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-nt" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected] <javascript:>. >> To post to this group, send email to [email protected] >> <javascript:>. >> Visit this group at https://groups.google.com/group/sage-nt. >> For more options, visit https://groups.google.com/d/optout. >> > >
-- You received this message because you are subscribed to the Google Groups "sage-nt" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-nt. For more options, visit https://groups.google.com/d/optout.
