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
ProjectiveToricVarieties.gd 
#############################################################################
##
##  ProjectiveToricVariety.gd         ToricVarieties package         Sebastian Gutsche
##
##  Copyright 2011 Lehrstuhl B für Mathematik, RWTH Aachen
##
##  The Category of projective toric Varieties
##
#############################################################################

##  <#GAPDoc Label="IsProjectiveToricVariety">
##  <ManSection>
##    <Filt Type="Category" Arg="M" Name="IsProjectiveToricVariety"/>
##    <Returns><C>true</C> or <C>false</C></Returns>
##    <Description>
##      The &GAP; category of a projective toric variety.
##    </Description>
##  </ManSection>
##  <#/GAPDoc>
##
DeclareCategory( "IsProjectiveToricVariety",
                 IsToricVariety );

###################################
##
## Attribute
##
###################################


##  <#GAPDoc Label="PolytopeOfVariety">
##  <ManSection>
##    <Attr Arg="vari" Name="PolytopeOfVariety"/>
##    <Returns>a polytope</Returns>
##    <Description>
##      Returns the polytope corresponding to the projective toric variety <A>vari</A>, if it exists.
##    </Description>
##  </ManSection>
##  <#/GAPDoc>
##
DeclareAttribute( "PolytopeOfVariety",
                  IsToricVariety );

##  <#GAPDoc Label="AffineCone">
##  <ManSection>
##    <Attr Arg="vari" Name="AffineCone"/>
##    <Returns>a variety</Returns>
##    <Description>
##      Returns the affine cone of the projective toric variety <A>vari</A>.
##    </Description>
##  </ManSection>
##  <#/GAPDoc>
##
DeclareAttribute( "AffineCone",
                  IsToricVariety );

##  <#GAPDoc Label="ProjectiveEmbedding">
##  <ManSection>
##    <Attr Arg="vari" Name="ProjectiveEmbedding"/>
##    <Returns>a list</Returns>
##    <Description>
##      Returns characters for a closed embedding in an projective space for the projective toric variety <A>vari</A>.
##    </Description>
##  </ManSection>
##  <#/GAPDoc>
##
DeclareAttribute( "ProjectiveEmbedding",
                  IsToricVariety );

###################################
##
## Methods
##
###################################

##  <#GAPDoc Label="PolytopeMethod">
##  <ManSection>
##    <Oper Arg="vari" Name="Polytope"/>
##    <Returns>a polytope</Returns>
##    <Description>
##      Returns the polytope of the variety <A>vari</A>. Another name for PolytopeOfVariety for compatibility and shortness.
##    </Description>
##  </ManSection>
##  <#/GAPDoc>
##
DeclareOperation( "Polytope",
                  [ IsToricVariety ] );

###################################
##
## Constructors
##
###################################
back to top