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
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
##
###################################
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...