Skip to main content

Browse the archive

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 
fixed CommonHomalgTableForSingularTools.MulMat bug for nonconstant ring elements
 
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
Raw File
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" );
back to top