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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
------------------------
New marked abelian group
------------------------
Group: Z + Z_6 (Z^3 -> Z^5 -> Z^1)
Free generators:
0: ( -1 0 0 0 1 )
Torsion generators:
0: ( 3 -1 -1 0 -1 )
------------------------
New marked abelian group
------------------------
Group: 2 Z + 2 Z_2 (Z^2 -> Z^5 -> Z^1)
Free generators:
0: ( -1 0 0 1 0 )
1: ( -1 0 0 0 1 )
Torsion generators:
0: ( -1 1 0 0 0 )
1: ( -3 0 1 1 1 )
----------------
New homomorphism
----------------
Hom: 2 Z + 2 Z_2 (Z^2 -> Z^5 -> Z^1) --> Z + Z_6 (Z^3 -> Z^5 -> Z^1)
Kernel: Z + Z_2
Cokernel: Z_5
Image: Z + Z_6
Reduced Matrix (torsion coordinates appear first):
0 3 0 2
0 0 5 0
----------------
New homomorphism
----------------
Hom: 2 Z + 2 Z_2 (Z^2 -> Z^5 -> Z^1) --> Z + Z_6 (Z^3 -> Z^5 -> Z^1)
Kernel: Z + Z_2
Cokernel: Z_15
Image: Z + Z_2
Reduced Matrix (torsion coordinates appear first):
0 3 0 0
0 0 10 15
----------------
New homomorphism
----------------
Hom: 2 Z + 2 Z_2 (Z^2 -> Z^5 -> Z^1) --> Z + Z_6 (Z^3 -> Z^5 -> Z^1)
Kernel: 2 Z + Z_2
Cokernel: Z
Image: Z_6
Reduced Matrix (torsion coordinates appear first):
3 3 2 4
0 0 0 0
------------------------------------
Miscellaneous vector representations
------------------------------------
Not in kernel
( 0 6 )
( 2 6 )
( 4 6 )
( 0 6 )
Not in kernel
( 1 1 4 2 )
( 0 1 4 2 )
|
