|
# From: viktor.levandovskyy@rwth-aachen.de
# Subject: wieder double Ext
# Date: February 6, 2008 11:22:12 PM GMT+01:00
#
# ein interessantes Phenomen: betrachten wir I \subset J,
# wobei I = <xd - n> und J = <xd-n, d^{n+1}> in der
# ersten Weyl Algebra und n \in \N (n=1,2,3).
# Dann double Ext von I ist I selbst, aber
# double Ext von J ist <d> (was natuerlich holonom ist).
LoadPackage( "RingsForHomalg" );
LoadPackage( "Modules" );
Qx := HomalgFieldOfRationalsInDefaultCAS( ) * "x";
A1 := RingOfDerivations( Qx, "d" );
V := HomalgMatrix( "[ \
x*d-3, \
d^4 \
]", 2, 1, A1 );
V := LeftPresentation( V );
SetAsOriginalPresentation( V );
[ Dauer der Verarbeitung: 0.3 Sekunden
(vorverarbeitet)
]
|
