Ask Your Question

Computing Galois group of a polynomial?

asked 2014-09-26 01:41:20 -0500

Alasdair gravatar image

Here's my attempt so far:

x = polygen(QQ, 'x');
K.<z> = NumberField(x^4+x^2+2*x+1)
G = K.galois_group(type='gap')

And now I get several pages of error messages beginning with

verbose 0 (1780:, cardinality) Warning: TransitiveGroups requires the GAP database package. Please install it with ``sage -i database_gap``.

However! - I have installed this:



Anybody got any ideas on where I can go from here?

edit retag flag offensive close merge delete


It woks for me (with Sage 6.4.beta3 and database_gap-4.7.5), i got : Galois group Transitive group number 3 of degree 4 of the Number Field in z with defining polynomial x^4 + x^2 + 2*x + 1 What is your configuration ?

tmonteil gravatar imagetmonteil ( 2014-09-26 03:28:03 -0500 )edit

1 answer

Sort by ยป oldest newest most voted

answered 2014-09-26 03:24:03 -0500

install_package() might be slightly broken at the moment, in the course of transition to git. Did you try running sage -i database_gap, as the error message says?

(your example works for me just fine).

edit flag offensive delete link more


Whenever I try to reinstall database_gap, either with `sage -i database_gap` or with 'install_package('databse_gap') from within Sage, I get an error that it's already installed. I tried also with `install_package('database_gap, force=True)` but that gave a different error: ValueError: There is no package name starting with 'database_gap'. I'll try again later in case there's a network issue.

Alasdair gravatar imageAlasdair ( 2014-09-26 06:30:14 -0500 )edit

`sage -f database_gap` will force a reinstall.

Dima gravatar imageDima ( 2014-09-26 07:19:55 -0500 )edit

if this doesn't work, what is the output of `gap_console()` at your Sage prompt?

Dima gravatar imageDima ( 2014-09-26 07:28:19 -0500 )edit

I reinstalled it (as root) using 'sage -f database_gap' as Dima suggests, and then it works fine if I run Sage as root. However, if I run Sage as an ordinary user, I still receive errors that the GAP database package is not installed. But trying to run 'sage -f database_gap' as an ordinary user gives me the error that I can't write to the /opt/sage-6.2 directory. However, gap_console() from both root and ordinary user gives the same output; that the Components are: trans 1.0, prim 2.1, small* 1.0, id* 1.0. Maybe there's some file ownership issue by which an ordinary user can't access the GAP packages installed by root?

Alasdair gravatar imageAlasdair ( 2014-09-26 08:13:37 -0500 )edit

It's not that - I've adjusted the ownership and still it doesn't work. So I'm installing the package again...wait a bit... yes - now it works!

Alasdair gravatar imageAlasdair ( 2014-09-26 09:19:43 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2014-09-26 01:41:20 -0500

Seen: 293 times

Last updated: Sep 26 '14