Skip to content

Use (dp,c) as default ordering for Singular rings #318

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mohamed-barakat merged 4 commits into from
Apr 17, 2020
Merged

Use (dp,c) as default ordering for Singular rings #318

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
d9842a3
Use (dp,c) as default ordering for Singular rings
zickgraf Oct 15, 2019
8b88936
Fix tests
zickgraf Apr 9, 2020
607c231
Add Singular C vs c test
zickgraf Apr 9, 2020
d9ae399
Bump versions
zickgraf Apr 17, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions ExamplesForHomalg/PackageInfo.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ PackageName := "ExamplesForHomalg",

Subtitle := "Examples for the GAP Package homalg",

Version := "2019.09.02",
Version := "2020.04.17",

Date := ~.Version{[ 1 .. 10 ]},
Date := Concatenation( ~.Date{[ 9, 10 ]}, "/", ~.Date{[ 6, 7 ]}, "/", ~.Date{[ 1 .. 4 ]} ),
Expand Down Expand Up @@ -92,7 +92,7 @@ Dependencies := rec(
NeededOtherPackages := [
[ "MatricesForHomalg", ">= 2019.01.07" ],
[ "HomalgToCAS", ">= 2011.08.25" ],
[ "RingsForHomalg", ">= 2017.05.25" ],
[ "RingsForHomalg", ">= 2020.04.17" ],
[ "Modules", ">= 2019.01.07" ],
[ "homalg", ">= 2015.06.01" ],
[ "GaussForHomalg", ">=2019.09.01" ],
Expand Down
51 changes: 27 additions & 24 deletions ExamplesForHomalg/examples/A3_Purity.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,73 +36,76 @@
## <A non-pure grade 1 left module presented by 8 relations for 2 generators>>
## gap> II_E := SpectralSequence( filt );
## <A stable homological spectral sequence with sheets at levels
## [ 0 .. 2 ] each consisting of left modules at bidegrees [ -3 .. 0 ]x
## [ 0 .. 2 ] each consisting of left modules at bidegrees [ -4 .. 0 ]x
## [ 0 .. 3 ]>
## gap> Display( II_E );
## The associated transposed spectral sequence:
##
## a homological spectral sequence at bidegrees
## [ [ 0 .. 3 ], [ -3 .. 0 ] ]
## [ [ 0 .. 3 ], [ -4 .. 0 ] ]
## ---------
## Level 0:
##
## * * * *
## . * * *
## . . * *
## . . . *
## . . . *
## ---------
## Level 1:
##
## * * * *
## . . . .
## . . . .
## . . . .
## . . . .
## ---------
## Level 2:
##
## s . . .
## . . . .
## . . . .
## . . . .
## . . . .
##
## Now the spectral sequence of the bicomplex:
##
## a homological spectral sequence at bidegrees
## [ [ -3 .. 0 ], [ 0 .. 3 ] ]
## [ [ -4 .. 0 ], [ 0 .. 3 ] ]
## ---------
## Level 0:
##
## * * * *
## . * * *
## . . * *
## . . . *
## * * * * *
## . . * * *
## . . . * *
## . . . . *
## ---------
## Level 1:
##
## * * * *
## . * * *
## . . * *
## . . . .
## * * * * *
## . . * * *
## . . . * *
## . . . . .
## ---------
## Level 2:
##
## s . . .
## . s . .
## . . s .
## . . . .
## . s . . .
## . . s . .
## . . . s .
## . . . . .
## gap> m := IsomorphismOfFiltration( filt );
## <A non-zero isomorphism of left modules>
## gap> IsIdenticalObj( Range( m ), N );
## true
## gap> Source( m );
## <A left module presented by 6 relations for 3 generators (locked)>
## gap> Display( last );
## Dx,1/3,-1/9*x,
## 0, Dy, 1/6,
## 0, Dx, -1/2,
## 0, 0, Dz,
## 0, 0, Dy,
## 0, 0, Dx
## Dx,1/3,1/216*x,
## 0, Dy, -1/144,
## 0, Dx, 1/48,
## 0, 0, Dz,
## 0, 0, Dy,
## 0, 0, Dx
##
## Cokernel of the map
##
Expand All @@ -126,9 +129,9 @@
##
## Q[x,y,z]<Dx,Dy,Dz>/< Dz, Dy, Dx >
## gap> Display( m );
## 1, 1,
## 3*Dz+3, 3*Dz,
## -6*Dz^2+6*Dx-6*Dz,-6*Dz^2
## 1, 1,
## 3*Dz+3, 3*Dz,
## 144*Dz^2-144*Dx+144*Dz,144*Dz^2
##
## the map is currently represented by the above 3 x 2 matrix
## ]]></Example>
Expand Down
8 changes: 4 additions & 4 deletions ExamplesForHomalg/examples/ExtExt.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -97,13 +97,13 @@
## 0: <A non-zero left module presented by yet unknown relations for 23 generator\
## s>
## -1: <A non-zero left module presented by 37 relations for 22 generators>
## -2: <A non-zero left module presented by 31 relations for 10 generators>
## -3: <A non-zero left module presented by 32 relations for 5 generators>
## -2: <A non-zero left module presented by 32 relations for 10 generators>
## -3: <A non-zero left module presented by 33 relations for 5 generators>
## of
## <A non-zero left module presented by 111 relations for 37 generators>>
## <A non-zero left module presented by 117 relations for 37 generators>>
## gap> ByASmallerPresentation( filt );
## <An ascending filtration with degrees [ -3 .. 0 ] and graded parts:
## 0: <A non-zero left module presented by 25 relations for 16 generators>
## 0: <A non-zero left module presented by 26 relations for 16 generators>
## -1: <A non-zero left module presented by 30 relations for 14 generators>
## -2: <A non-zero left module presented by 18 relations for 7 generators>
## -3: <A non-zero left module presented by 12 relations for 4 generators>
Expand Down
48 changes: 24 additions & 24 deletions ExamplesForHomalg/examples/Purity.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -112,18 +112,18 @@
## gap> Source( m );
## <A left module presented by 12 relations for 9 generators (locked)>
## gap> Display( last );
## 0, 0, x, -y,0,1, 0, 0, 0,
## x*y,-y*z,-z,0, 0,0, 0, 0, 0,
## x^2,-x*z,0, -z,1,0, 0, 0, 0,
## 0, 0, 0, 0, y,-z,0, 0, 0,
## 0, 0, 0, 0, x,0, -z, 0, -1,
## 0, 0, 0, 0, 0,x, -y, -1, 0,
## 0, 0, 0, 0, 0,-y,x^2-1,0, 0,
## 0, 0, 0, 0, 0,0, 0, z, 0,
## 0, 0, 0, 0, 0,0, 0, y-1,0,
## 0, 0, 0, 0, 0,0, 0, 0, z,
## 0, 0, 0, 0, 0,0, 0, 0, y,
## 0, 0, 0, 0, 0,0, 0, 0, x
## 0, 0,x, -y,0,1, 0, 0, 0,
## x*y,0,-z,0, 0,0, 0, 0, 0,
## x^2,0,0, -z,1,0, 0, 0, 0,
## 0, 0,0, 0, y,-z,0, 0, 0,
## 0, 0,0, 0, 0,x, -y, -1, 0,
## 0, 0,0, 0, x,0, -z, 0, -1,
## 0, 0,0, 0, 0,-y,x^2-1,0, 0,
## 0, 0,0, 0, 0,0, 0, z, 0,
## 0, 0,0, 0, 0,0, 0, y-1,0,
## 0, 0,0, 0, 0,0, 0, 0, z,
## 0, 0,0, 0, 0,0, 0, 0, y,
## 0, 0,0, 0, 0,0, 0, 0, x
##
## Cokernel of the map
##
Expand All @@ -133,9 +133,9 @@
## gap> Display( filt );
## Degree 0:
##
## 0, 0, x, -y,
## x*y,-y*z,-z,0,
## x^2,-x*z,0, -z
## 0, 0,x, -y,
## x*y,0,-z,0,
## x^2,0,0, -z
##
## Cokernel of the map
##
Expand All @@ -146,8 +146,8 @@
## Degree -1:
##
## y,-z,0,
## x,0, -z,
## 0,x, -y,
## x,0, -z,
## 0,-y,x^2-1
##
## Cokernel of the map
Expand All @@ -164,15 +164,15 @@
##
## Q[x,y,z]/< z, y, x >
## gap> Display( m );
## 1, 0, 0, 0, 0,
## 0, -1, 0, 0, 0,
## 0, 0, -1, 0, 0,
## 0, 0, 0, -1, 0,
## -x^2,-x*z, 0, -z, 0,
## 0, 0, x, -y, 0,
## 1, 0, 0, 0, 0,
## 0, 1, 0, 0, 0,
## 0, -y, -1, 0, 0,
## 0, -x, 0, -1, 0,
## -x^2,-x*z, 0, -z, 0,
## 0, 0, x, -y, 0,
## 0, 0, 0, 0, -1,
## 0, 0, x^2,-x*y,y,
## -x^3,-x^2*z,0, -x*z,z
## 0, 0, x^2,-x*y,y,
## -x^3,-x^2*z,0, -x*z,z
##
## the map is currently represented by the above 9 x 5 matrix
## ]]></Example>
Expand Down
10 changes: 5 additions & 5 deletions ExamplesForHomalg/examples/TorExt.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -102,21 +102,21 @@
##
## -3: <A non-zero cyclic torsion left module presented by yet unknown relations \
## for a cyclic generator>
## -2: <A non-zero left module presented by 17 relations for 7 generators>
## -2: <A non-zero left module presented by 15 relations for 6 generators>
## -1: <A non-zero left module presented by 29 relations for 13 generators>
## 0: <A non-zero left module presented by 13 relations for 10 generators>
## of
## <A left module presented by yet unknown relations for 24 generators>>
## <A left module presented by yet unknown relations for 31 generators>>
## gap> ByASmallerPresentation( filt );
## <A descending filtration with degrees [ -3 .. 0 ] and graded parts:
##
## -3: <A non-zero cyclic torsion left module presented by 3 relations for a cycl\
## ic generator>
## -2: <A non-zero left module presented by 12 relations for 4 generators>
## -1: <A non-zero left module presented by 21 relations for 8 generators>
## -2: <A non-zero left module presented by 11 relations for 4 generators>
## -1: <A non-zero left module presented by 22 relations for 8 generators>
## 0: <A non-zero left module presented by 11 relations for 10 generators>
## of
## <A non-zero left module presented by 23 relations for 12 generators>>
## <A non-zero left module presented by 24 relations for 12 generators>>
## gap> m := IsomorphismOfFiltration( filt );
## <A non-zero isomorphism of left modules>
## ]]></Example>
Expand Down
8 changes: 4 additions & 4 deletions ExamplesForHomalg/examples/TorExt_Grothendieck.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -95,20 +95,20 @@
## -3: <A non-zero cyclic torsion left module presented by yet unknown relations \
## for a cyclic generator>
## -2: <A non-zero left module presented by 17 relations for 6 generators>
## -1: <A non-zero left module presented by 23 relations for 10 generators>
## -1: <A non-zero left module presented by 28 relations for 12 generators>
## 0: <A non-zero left module presented by 13 relations for 10 generators>
## of
## <A left module presented by yet unknown relations for 41 generators>>
## <A left module presented by yet unknown relations for 49 generators>>
## gap> ByASmallerPresentation( filt );
## <A descending filtration with degrees [ -3 .. 0 ] and graded parts:
##
## -3: <A non-zero cyclic torsion left module presented by 3 relations for a cycl\
## ic generator>
## -2: <A non-zero left module presented by 12 relations for 4 generators>
## -1: <A non-zero left module presented by 18 relations for 8 generators>
## -1: <A non-zero left module presented by 21 relations for 8 generators>
## 0: <A non-zero left module presented by 11 relations for 10 generators>
## of
## <A non-zero left module presented by 21 relations for 12 generators>>
## <A non-zero left module presented by 27 relations for 14 generators>>
## gap> m := IsomorphismOfFiltration( filt );
## <A non-zero isomorphism of left modules>
## ]]></Example>
Expand Down
4 changes: 3 additions & 1 deletion GradedModules/PackageInfo.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,8 @@ Version := Maximum( [
"2015.12.04", ## Sebas' version
## this line prevents merge conflicts
"2014.04.09", ## Max' version
## this line prevents merge conflicts
"2020.04.17", ## Fabian's version
] ),

Date := ~.Version{[ 1 .. 10 ]},
Expand Down Expand Up @@ -154,7 +156,7 @@ Dependencies := rec(
[ "ToolsForHomalg", ">= 2014.12.08" ],
[ "MatricesForHomalg", ">= 2020.02.05" ],
[ "HomalgToCAS", ">= 2011.10.05" ],
[ "RingsForHomalg", ">= 2013.04.16" ],
[ "RingsForHomalg", ">= 2020.04.17" ],
[ "GradedRingForHomalg", ">= 2020.02.05" ],
[ "Modules", ">= 2020.02.05" ],
[ "homalg", ">= 2013.06.23" ],
Expand Down
2 changes: 1 addition & 1 deletion GradedModules/examples/HorrocksMumford.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@
## -------------------------------------------------------------------
## Euler: 100 35 2 -10 -10 -5 0 2 0 -5 -10 -10 2 35 100
## gap> M;
## <A graded reflexive non-projective rank 2 left module presented by 94 \
## <A graded reflexive non-projective rank 2 left module presented by 99 \
## relations for 19 generators>
## gap> P := ElementOfGrothendieckGroup( M );
## ( 2*O_{P^4} - 1*O_{P^3} - 4*O_{P^2} - 2*O_{P^1} ) -> P^4
Expand Down
12 changes: 6 additions & 6 deletions GradedModules/examples/doc/SubmoduleGeneratedByHomogeneousPart.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -33,15 +33,15 @@
## gap> N := UnderlyingObject( n );
## <A graded left module presented by yet unknown relations for 7 generators>
## gap> Display( N );
## z, 0, 0,0, 0, 0,0,
## 0, z, 0,0, 0, 0,0,
## 0, 0, z,0, 0, 0,0,
## 0, z, 0,0, 0, 0,0,
## z, 0, 0,0, 0, 0,0,
## 0, 0, 0,0, -z, y,0,
## x, 0, 0,0, y, 0,z,
## -y,x, 0,0, 0, 0,0,
## 0, -y,x,0, 0, 0,0,
## 0, 0, 0,-y, x, 0,0,
## 0, 0, 0,-z, 0, x,0,
## 0, 0, 0,-y, x, 0,0,
## 0, -y,x,0, 0, 0,0,
## -y,x, 0,0, 0, 0,0,
## x, 0, 0,0, y, 0,z,
## 0, 0, 0,0, y*z,0,z^2,
## 0, 0, 0,y^2*z,0, 0,x*z^2
##
Expand Down
12 changes: 6 additions & 6 deletions LocalizeRingForHomalg/examples/ResidueClass.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
## <Heading>ResidueClass</Heading>
## We want to show, how localization can work together with residue class rings.
## <Example><![CDATA[
## gap> LoadPackage( "RingsForHomalg" );;
## gap> LoadPackage( "RingsForHomalg", ">= 2020.04.17" );;
## gap> Qxy := HomalgFieldOfRationalsInDefaultCAS( ) * "x,y";
## Q[x,y]
## gap> wmat := HomalgMatrix(
Expand Down Expand Up @@ -77,8 +77,8 @@
## at homology degree: 1
## Q[x,y]/( x^3+x^2-2*y^2 )_< |[ x ]|, |[ y ]| >^(1 x 2)
## -------------------------
## 0, x*y^2-y^3,
## y^2,y^4-2*y^3+2*y^2
## x*y^2+y^2,2*y^2,
## y^2, y^4-2*y^3+2*y^2
##
## modulo [ x^3+x^2-2*y^2 ]
## / |[ 1 ]|
Expand Down Expand Up @@ -120,8 +120,8 @@
## at homology degree: 1
## Q[x,y]_< x, y >/( (x^3+x^2-2*y^2)/1 )^(1 x 2)
## -------------------------
## y^2, x^2,
## y^3+y^2,2*y^2
## y^3+y^2,2*y^2,
## 0, x*y^2-y^3
## / 1
##
## modulo [ (x^3+x^2-2*y^2)/1 ]
Expand All @@ -134,7 +134,7 @@
## ]]></Example>
## </Section>
## <#/GAPDoc>
LoadPackage( "RingsForHomalg" );;
LoadPackage( "RingsForHomalg", ">= 2020.04.17" );;
Qxy := HomalgFieldOfRationalsInDefaultCAS( ) * "x,y";;
wmat := HomalgMatrix(
"[ y^3-y^2 , x^3-x^2 , y^3+y^2 , x^3+x^2 ]",
Expand Down
2 changes: 2 additions & 0 deletions RingsForHomalg/PackageInfo.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,8 @@ Version := Maximum( [
"2019.09.01", ## Sebas' version
## this line prevents merge conflicts
"2013.07.16", ## Vinay's version
## this line prevents merge conflicts
"2020.04.17", ## Fabian's version
## this line prevents merge conflicts
"2015.11.06", ## Homepage update version, to be removed
] ),
Expand Down
1 change: 1 addition & 0 deletions RingsForHomalg/examples/all.g
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
Read( "../examples/homalg.g" );
Read( "../examples/singular_C_vs_c.g" );

files := [
"gap_ZZ.g",
Expand Down
13 changes: 13 additions & 0 deletions RingsForHomalg/examples/singular_C_vs_c.g
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
# This test finishes quickly with ordering (dp,c) but takes a very long time
# with ordering dp (which is equivalent to (dp,C)).

LoadPackage("RingsForHomalg");

QQ := HomalgFieldOfRationalsInSingular( );

M := HomalgIdentityMatrix( 1, QQ );
N := UnionOfColumns( ListWithIdenticalEntries( 10000, M ) );

Display( "If this test does not finish, Singular uses a bad ordering..." );

Eval( SyzygiesOfColumns( N ) );
Loading