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
| File | Mode | Size |
|---|---|---|
| AffineToricVarieties.gd | -rw-r--r-- | 4.0 KB |
| AffineToricVarieties.gi | -rw-r--r-- | 10.2 KB |
| Cohomology.gd | -rw-r--r-- | 15.2 KB |
| Cohomology.gi | -rw-r--r-- | 42.0 KB |
| FunctorsTorVar.gd | -rw-r--r-- | 871 bytes |
| FunctorsTorVar.gi | -rw-r--r-- | 6.3 KB |
| GroebnerBasisOfToricIdeal.gd | -rw-r--r-- | 1.4 KB |
| GroebnerBasisOfToricIdeal.gi | -rw-r--r-- | 5.0 KB |
| LITorDiv.gi | -rw-r--r-- | 2.5 KB |
| LITorSubvar.gi | -rw-r--r-- | 604 bytes |
| LITorVar.gi | -rw-r--r-- | 6.6 KB |
| ProjectiveToricVarieties.gd | -rw-r--r-- | 2.6 KB |
| ProjectiveToricVarieties.gi | -rw-r--r-- | 4.0 KB |
| Tools.gd | -rw-r--r-- | 1.6 KB |
| Tools.gi | -rw-r--r-- | 2.7 KB |
| ToricDivisors.gd | -rw-r--r-- | 16.1 KB |
| ToricDivisors.gi | -rw-r--r-- | 26.0 KB |
| ToricMorphisms.gd | -rw-r--r-- | 6.7 KB |
| ToricMorphisms.gi | -rw-r--r-- | 12.4 KB |
| ToricSubvarieties.gd | -rw-r--r-- | 4.8 KB |
| ToricSubvarieties.gi | -rw-r--r-- | 4.2 KB |
| ToricVarieties.gd | -rw-r--r-- | 17.0 KB |
| ToricVarieties.gi | -rw-r--r-- | 44.0 KB |
Computing file changes ...
