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