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
README 
    README file for the `Gauss' GAP4 package
        
To get the newest version of this GAP 4 package download the archive
file
    Gauss.tar.gz
and unpack it using 
    gunzip Gauss.tar.gz; tar xvf Gauss.tar

(Note that if you use a browser like `netscape' for downloading the
archive file the `gunzip' step above may already be done by the browser,
although the name of your file may still have the misleading `.gz'
extension.)

Do this preferably (but not necessarily) inside the `pkg' subdirectory
of your GAP 4 installation. It creates a subdirectory called `Gauss'.

The Gauss package utilizes some C-code by Max Neunhoeffer that has to
be compiled before you can load Gauss. To compile the code, first run

    ./configure

If the package is not installed in the pkg/ subdirectory of GAP's root
directory you will need to provide the correct path to the latter. This will
create a makefile. Complete the installation of the package by running

    make

Testing the package is possible by invoking

ReadPackage( "Gauss", "maketest.g" );

from within GAP.

E-mail me if there are any questions, remarks, suggestions. Also, I
would like to hear about applications of this package.


Simon Goertzen, e-mail: simon.goertzen@rwth-aachen.de
back to top