File: 2018-01-30-triv-aff-space.tst

package info (click to toggle)
gap 4.15.1-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 110,212 kB
  • sloc: ansic: 97,261; xml: 48,343; cpp: 13,946; sh: 4,900; perl: 1,650; javascript: 255; makefile: 252; ruby: 9
file content (16 lines) | stat: -rw-r--r-- 685 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
# Verify that enumerating "extended" vectors" over a trivial vector space
# works as intended (this used to fail, because testing whether the empty
# list [] is contained in the vector space V defined below, which is
# collection, by definition always fails in GAP, even though [] is e.g. equal
# to Zero(V). This is a major problem by itself, but difficult to resolve.
#
# In any case, we sidestep this larger issue, and just worry about the
# particular case of "extended" vectors.
gap> V:=GF(3)^0;;
gap> A:=ExtendedVectors(V);;
gap> [Z(3)^0] in A;
true

# test the original example from issue #2117
gap> g:= DirectProduct( AlternatingGroup(5), SymmetricGroup(3) );;
gap> Irr( g );;