Revision 66031d5da1579950542857d7fd87288b3d6fe116 authored by Mohamed Barakat on 30 September 2015, 13:56:13 UTC, committed by Mohamed Barakat on 30 September 2015, 14:08:55 UTC
From: Sebastian Posur <sebastian.posur@rwth-aachen.de>
Subject: Re: Skalarmultiplikation in MatricesForHomalg
Date: 30. September 2015 10:20:29 MESZ
To: Mohamed Barakat <mohamed.barakat@rwth-aachen.de>
Cc: Sebastian Gutsche <gutsche@momo.math.rwth-aachen.de>

Ein weiterer Bug in diesem Zusammenhang: Die Linksmultiplikation
mit einem Weylalgebra Element wird als Rechtsmultiplikation ausgeführt.

LoadPackage( "RingsForHomalg" );;

LoadPackage( "Modules" );;

Qx := HomalgFieldOfRationalsInDefaultCAS( ) * "x";;
A1 := RingOfDerivations( Qx, "d" );;

x := IndeterminateCoordinatesOfRingOfDerivations( A1 )[1];;
d := IndeterminateDerivationsOfRingOfDerivations( A1 )[1];;

M := HomalgMatrix( [ [ d ] ], 1, 1, A1 );;

gap> x*d;
x*d
gap> Display( x * M );
x*d+1
1 parent ba74531
History
File Mode Size
Example10_H7CoxRing.g -rw-r--r-- 3.2 KB
Example11_P1P1CoxRing.g -rw-r--r-- 2.5 KB
Example12_H7Divisors.g -rw-r--r-- 4.1 KB
Example13_P1P1Divisors.g -rw-r--r-- 4.8 KB
Example14_P3DivisorsLI.g -rw-r--r-- 1.1 KB
Example1_C3.g -rw-r--r-- 2.4 KB
Example2_H7.g -rw-r--r-- 960 bytes
Example3_H7AsPolytope.g -rw-r--r-- 3.1 KB
Example4_P1P3.g -rw-r--r-- 2.6 KB
Example5_C15.g -rw-r--r-- 1.5 KB
Example6_H7ForDivisors.g -rw-r--r-- 800 bytes
Example7_P1P2.g -rw-r--r-- 2.4 KB
Example8_CoxRingP2.g -rw-r--r-- 2.8 KB
example9_C2.g -rw-r--r-- 1.8 KB

back to top