1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
gap> START_TEST( "WeightOfVector.tst" );
gap> l1 := [1,2,3,4,5,6];
[ 1, 2, 3, 4, 5, 6 ]
gap> v1 := Vector(IsPlistVectorRep, Rationals, l1);
<plist vector over Rationals of length 6>
gap> WeightOfVector( v1 );
6
gap> l2 := [0,2,3,0,5,6];
[ 0, 2, 3, 0, 5, 6 ]
gap> v2 := Vector(IsPlistVectorRep, Rationals, l2);
<plist vector over Rationals of length 6>
gap> WeightOfVector( v2 );
4
gap> l3 := [0,0,0,0,0,0];
[ 0, 0, 0, 0, 0, 0 ]
gap> v3 := Vector(IsPlistVectorRep, Rationals, l3);
<plist vector over Rationals of length 6>
gap> WeightOfVector( v3 );
0
gap> v4 := Vector(GF(5), l1*One(GF(5)));
[ Z(5)^0, Z(5), Z(5)^3, Z(5)^2, 0*Z(5), Z(5)^0 ]
gap> WeightOfVector( v4 );
5
gap> v5 := Vector(GF(5), l2*One(GF(5)));
[ 0*Z(5), Z(5), Z(5)^3, 0*Z(5), 0*Z(5), Z(5)^0 ]
gap> WeightOfVector( v5 );
3
gap> v6 := Vector(GF(5), l3*One(GF(5)));
[ 0*Z(5), 0*Z(5), 0*Z(5), 0*Z(5), 0*Z(5), 0*Z(5) ]
gap> WeightOfVector( v6 );
0
gap> STOP_TEST("WeightOfVector.tst");
|
