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
GroebnerBasisOfToricIdeal.gd
#############################################################################
##
## GroebnerBasisOfToricIdeal.gd ToricVarieties Sebastian Gutsche
##
## Copyright 2012 Lehrstuhl B für Mathematik, RWTH Aachen
##
## Functors for toric varieties.
##
#############################################################################
# DeclareOperationWithDocumentation( "GeneratingSetOfToricIdealGivenByHilbertBasis",
# [ IsMatrix ],
# [ "Computes the generating set of a toric ideal given by the",
# "Hilbert basis of a cone" ],
# "a Matrix",
# "a",
# [ "Groebner_Basis", "Groebner_Basis_of_a_toric_ideal" ] );
DeclareOperation( "GeneratingSetOfToricIdealGivenByHilbertBasis",
[ IsList ] );
DeclareGlobalFunction( "cmp_forGeneratingSetOfToricIdealGivenByHilbertBasis" );
DeclareGlobalFunction( "normalize_forGeneratingSetOfToricIdealGivenByHilbertBasis" );
DeclareGlobalFunction( "prepareIdeal_forGeneratingSetOfToricIdealGivenByHilbertBasis" );
DeclareGlobalFunction( "divides_forGeneratingSetOfToricIdealGivenByHilbertBasis" );
DeclareGlobalFunction( "findDivisor_forGeneratingSetOfToricIdealGivenByHilbertBasis" );
DeclareGlobalFunction( "reduce_forGeneratingSetOfToricIdealGivenByHilbertBasis" );
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...