1LoadPackage( "RingsForHomalg" );
2
3B1 := RingForHomalgInMapleUsingJanet( "[x]" );
4
5Rskl := HomalgMatrix( "[ \
6[ [[1,[x,x,x]], [a(x),[x,x]], [b(x),[x]], [c(x),[]]] ] \
7]", B1 );
8
9Rsys := HomalgMatrix( "[ \
10[  [[1,[x]]]	,	[[-1,[]]]	,	        0		], \
11[      0    	,	[[1,[x]]]	,	     [[-1,[]]]		], \
12[ [[c(x),[]]]  	,	[[b(x),[]]]	,	[[a(x),[]],[1,[x]]]	]  \
13]", B1 );
14
15LoadPackage( "Modules" );
16
17Mskl := LeftPresentation( Rskl );
18Msys := LeftPresentation( Rsys );
19
20alpha := HomalgMatrix( "[ \
21[ [[1,[]]]	,	0	,	0	] \
22]", B1 );
23
24alpha := HomalgMap( alpha, Mskl, Msys );
25
26delta := HomalgMatrix( "[ \
27[	[[1,[x]]]	] \
28]", B1 );
29
30delta := HomalgMap( delta, Mskl );
31