id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
2348 [with patch, positive review] Teach the gap interface about field extensions SimonKing wdj "Define the following:
{{{
sage: F = CyclotomicField(8)
sage: z = F.gen()
sage: a = z+1/z
sage: MS = MatrixSpace(F, 2, 2)
sage: g1 = MS([[1/a,1/a],[1/a,-1/a]])
sage: b = z^2
sage: g2 = MS([[1,0],[0,b]])
sage: g3 = MS([[b,0],[0,1]])
sage: G = MatrixGroup([g1,g2,g3])
}}}
Then, one obtains a traceback by the attempt to see G:
{{{
sage: G
: Gap produced error output
Variable: 'zeta8' must have a value
executing Read(""/home/king/.sage//temp/mpc739/6870//interface//tmp"");
}}}
Note that in fact `zeta8` is known:
{{{
sage: G.base_ring().gen()
zeta8
}}}
" defect closed critical sage-2.10.3 interfaces invalid gap, field extension was wdj