Opened 5 years ago

Last modified 4 years ago

#24469 new enhancement

Make extracting information about a PARI group less painful

Reported by: Samuel Lelièvre Owned by:
Priority: major Milestone: sage-wishlist
Component: packages: standard Keywords: PARI group, Galois group
Cc: John Cremona, Samuel Lelièvre Merged in:
Authors: Reviewers:
Report Upstream: Reported upstream. Developers acknowledge bug. Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Change History (5)

comment:1 Changed 5 years ago by Vincent Delecroix

I think this should be addressed by upstream cypari2. The point is that GP provides shortcut to access some members

$ gp
? K = bnfinit(x^3 - 2);
? bnf = bnfinit(x^3 - 2);
?     /* = bnf[7] */
%3 = [x^3 - 2, [1, 1], -108, 1, ...]
? bnf.clgp   /* = bnf[8][1] */
%4 = [1, [], []]

(these do not exist in the PARI library). The same shortcuts should be available on the Gen types

sage: K = pari.bnfinit('x^3 - 2')
Traceback (most recent call last):
AttributeError: 'cypari2.gen.Gen' object has no attribute 'nf'
Version 0, edited 5 years ago by Vincent Delecroix (next)

comment:2 Changed 5 years ago by Vincent Delecroix

Description: modified (diff)
Report Upstream: N/AReported upstream. Developers acknowledge bug.

comment:3 Changed 5 years ago by Vincent Delecroix

Component: group theorypackages: standard

comment:4 Changed 5 years ago by John Cremona

The bnf example is not quite relevant here, is it? The components of the Galois group are not currently accessible by such shortcuts (as far as I know).

comment:5 Changed 4 years ago by Samuel Lelièvre

Milestone: sage-8.2sage-wishlist

Change milestone to sage-wishlist for a few tickets whose previous milestone is closed.

Note: See TracTickets for help on using tickets.