Avoid using InstallValue

For some background, see gap-system/gap#1637
fingolfin · Aug 1, 2022 · 37c7808 · 37c7808
1 parent d8007ec
commit 37c7808
Show file tree

Hide file tree

Showing 59 changed files with 45 additions and 291 deletions.
diff --git a/4ti2Interface/gap/4ti2Interface.gd b/4ti2Interface/gap/4ti2Interface.gd
@@ -27,8 +27,6 @@
 #!  Copy it in your GAP pkg-directory.
 #!  After this, the package can be loaded via LoadPackage( "4ti2Interface" );
 
-DeclareGlobalVariable( "4ti2Interface_BINARIES" );
-
 #! @Chapter 4ti2 functions
 
 #! @Section Groebner

diff --git a/4ti2Interface/gap/4ti2Interface.gi b/4ti2Interface/gap/4ti2Interface.gi
@@ -8,7 +8,7 @@
 ##
 #############################################################################
 
-InstallValue( 4ti2Interface_BINARIES,
+BindGlobal( "4ti2Interface_BINARIES",
         rec(
             required_binaries := [ "groebner", "hilbert", "zsolve", "graver" ],
             ) );

diff --git a/ExamplesForHomalg/gap/ExamplesForHomalg.gd b/ExamplesForHomalg/gap/ExamplesForHomalg.gd
@@ -15,9 +15,6 @@
 DeclareInfoClass( "InfoExamplesForHomalg" );
 SetInfoLevel( InfoExamplesForHomalg, 1 );
 
-# a central place for configurations:
-DeclareGlobalVariable( "HOMALG_EXAMPLES" );
-
 ####################################
 #
 # global functions and operations:

diff --git a/ExamplesForHomalg/gap/ExamplesForHomalg.gi b/ExamplesForHomalg/gap/ExamplesForHomalg.gi
@@ -18,7 +18,7 @@
 
 # a central place for configuration variables:
 
-InstallValue( HOMALG_EXAMPLES,
+BindGlobal( "HOMALG_EXAMPLES",
         rec(
             OwnRingOrReadFile := 1
             )

diff --git a/RingsForHomalg/gap/GAPHomalg.gd b/RingsForHomalg/gap/GAPHomalg.gd
@@ -8,16 +8,6 @@
 ##
 #############################################################################
 
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "HOMALG_IO_GAP" );
-
-DeclareGlobalVariable( "GAPHomalgMacros" );
-
 ####################################
 #
 # global functions and operations:

diff --git a/RingsForHomalg/gap/GAPHomalg.gi b/RingsForHomalg/gap/GAPHomalg.gi
@@ -14,7 +14,7 @@
 #
 ####################################
 
-InstallValue( HOMALG_IO_GAP,
+BindGlobal( "HOMALG_IO_GAP",
         rec(
             cas := "gap",		## normalized name on which the user should have no control
             name := "GAP",
@@ -92,7 +92,7 @@ InstallGlobalFunction( _ExternalGAP_multiple_delete,
 end );
 
 ##
-InstallValue( GAPHomalgMacros,
+BindGlobal( "GAPHomalgMacros",
         rec(
 
             )

diff --git a/RingsForHomalg/gap/GAPHomalgBasic.gd b/RingsForHomalg/gap/GAPHomalgBasic.gd
@@ -7,12 +7,3 @@
 ##  Declarations for the external rings provided by the GAP package homalg.
 ##
 #############################################################################
-
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "CommonHomalgTableForGAPHomalgBasic" );
-
diff --git a/RingsForHomalg/gap/GAPHomalgBasic.gi b/RingsForHomalg/gap/GAPHomalgBasic.gi
@@ -14,7 +14,7 @@
 #
 ####################################
 
-InstallValue( CommonHomalgTableForGAPHomalgBasic,
+BindGlobal( "CommonHomalgTableForGAPHomalgBasic",
 
         rec(
                ## Must only then be provided by the RingPackage in case the default

diff --git a/RingsForHomalg/gap/GAPHomalgBestBasis.gd b/RingsForHomalg/gap/GAPHomalgBestBasis.gd
@@ -8,12 +8,3 @@
 ##  of the GAP implementation of homalg.
 ##
 #############################################################################
-
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "CommonHomalgTableForGAPHomalgBestBasis" );
-
diff --git a/RingsForHomalg/gap/GAPHomalgBestBasis.gi b/RingsForHomalg/gap/GAPHomalgBestBasis.gi
@@ -15,7 +15,7 @@
 #
 ####################################
 
-InstallValue( CommonHomalgTableForGAPHomalgBestBasis,
+BindGlobal( "CommonHomalgTableForGAPHomalgBestBasis",
 
         rec(
                ## Can optionally be provided by the RingPackage

diff --git a/RingsForHomalg/gap/GAPHomalgTools.gd b/RingsForHomalg/gap/GAPHomalgTools.gd
@@ -8,12 +8,3 @@
 ##  of the Maple implementation of homalg.
 ##
 #############################################################################
-
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "CommonHomalgTableForGAPHomalgTools" );
-
diff --git a/RingsForHomalg/gap/GAPHomalgTools.gi b/RingsForHomalg/gap/GAPHomalgTools.gi
@@ -15,7 +15,7 @@
 #
 ####################################
 
-InstallValue( CommonHomalgTableForGAPHomalgTools,
+BindGlobal( "CommonHomalgTableForGAPHomalgTools",
 
         rec(
                Zero := HomalgExternalRingElement( R -> homalgSendBlocking( [ "Zero( ", R, " )" ], "Zero" ), "GAP", IsZero ),

diff --git a/RingsForHomalg/gap/MAGMA.gd b/RingsForHomalg/gap/MAGMA.gd
@@ -9,16 +9,6 @@
 ##
 #############################################################################
 
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "HOMALG_IO_MAGMA" );
-
-DeclareGlobalVariable( "MAGMAMacros" );
-
 ####################################
 #
 # global functions and operations:

diff --git a/RingsForHomalg/gap/MAGMA.gi b/RingsForHomalg/gap/MAGMA.gi
@@ -16,7 +16,7 @@
 #
 ####################################
 
-InstallValue( HOMALG_IO_MAGMA,
+BindGlobal( "HOMALG_IO_MAGMA",
         rec(
             cas := "magma",		## normalized name on which the user should have no control
             name := "MAGMA",
@@ -147,7 +147,7 @@ InstallGlobalFunction( _MAGMA_multiple_delete,
 end );
 
 ##
-InstallValue( MAGMAMacros,
+BindGlobal( "MAGMAMacros",
         rec(
 
     _order := [

diff --git a/RingsForHomalg/gap/MAGMABasic.gd b/RingsForHomalg/gap/MAGMABasic.gd
@@ -7,12 +7,3 @@
 ##  Declarations for the rings provided by MAGMA.
 ##
 #############################################################################
-
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "CommonHomalgTableForMAGMABasic" );
-
diff --git a/RingsForHomalg/gap/MAGMABasic.gi b/RingsForHomalg/gap/MAGMABasic.gi
@@ -14,7 +14,7 @@
 #
 ####################################
 
-InstallValue( CommonHomalgTableForMAGMABasic,
+BindGlobal( "CommonHomalgTableForMAGMABasic",
 
         rec(
                ## Must only then be provided by the RingPackage in case the default

diff --git a/RingsForHomalg/gap/MAGMABestBasis.gd b/RingsForHomalg/gap/MAGMABestBasis.gd
@@ -7,12 +7,3 @@
 ##  Declarations for the rings with BestBasis provided by MAGMA.
 ##
 #############################################################################
-
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "CommonHomalgTableForMAGMABestBasis" );
-
diff --git a/RingsForHomalg/gap/MAGMABestBasis.gi b/RingsForHomalg/gap/MAGMABestBasis.gi
@@ -14,7 +14,7 @@
 #
 ####################################
 
-InstallValue( CommonHomalgTableForMAGMABestBasis,
+BindGlobal( "CommonHomalgTableForMAGMABestBasis",
 
         rec(
                ## Can optionally be provided by the RingPackage

diff --git a/RingsForHomalg/gap/MAGMATools.gd b/RingsForHomalg/gap/MAGMATools.gd
@@ -7,12 +7,3 @@
 ##  Declarations for the rings provided by MAGMA.
 ##
 #############################################################################
-
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "CommonHomalgTableForMAGMATools" );
-
diff --git a/RingsForHomalg/gap/MAGMATools.gi b/RingsForHomalg/gap/MAGMATools.gi
@@ -14,7 +14,7 @@
 #
 ####################################
 
-InstallValue( CommonHomalgTableForMAGMATools,
+BindGlobal( "CommonHomalgTableForMAGMATools",
 
         rec(
                Zero := HomalgExternalRingElement( R -> homalgSendBlocking( [ "Zero(", R, ")" ], "Zero" ), "MAGMA", IsZero ),

diff --git a/RingsForHomalg/gap/Macaulay2.gd b/RingsForHomalg/gap/Macaulay2.gd
@@ -8,16 +8,6 @@
 ##
 #############################################################################
 
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "HOMALG_IO_Macaulay2" );
-
-DeclareGlobalVariable( "Macaulay2Macros" );
-
 ####################################
 #
 # global functions and operations:

diff --git a/RingsForHomalg/gap/Macaulay2.gi b/RingsForHomalg/gap/Macaulay2.gi
@@ -14,7 +14,7 @@
 #
 ####################################
 
-InstallValue( HOMALG_IO_Macaulay2,
+BindGlobal( "HOMALG_IO_Macaulay2",
         rec(
             cas := "macaulay2",		## normalized name on which the user should have no control
             name := "Macaulay2",
@@ -115,7 +115,7 @@ InstallGlobalFunction( _Macaulay2_SetInvolution,
 end );
 
 ##
-InstallValue( Macaulay2Macros,
+BindGlobal( "Macaulay2Macros",
         rec(
 
     IsIdentityMatrix := "\n\

diff --git a/RingsForHomalg/gap/Macaulay2Basic.gd b/RingsForHomalg/gap/Macaulay2Basic.gd
@@ -7,12 +7,3 @@
 ##  Declarations for the rings provided by Macaulay2.
 ##
 #############################################################################
-
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "CommonHomalgTableForMacaulay2Basic" );
-
diff --git a/RingsForHomalg/gap/Macaulay2Basic.gi b/RingsForHomalg/gap/Macaulay2Basic.gi
@@ -14,7 +14,7 @@
 #
 ####################################
 
-InstallValue( CommonHomalgTableForMacaulay2Basic,
+BindGlobal( "CommonHomalgTableForMacaulay2Basic",
 
         rec(
                ## Must only then be provided by the RingPackage in case the default

diff --git a/RingsForHomalg/gap/Macaulay2Tools.gd b/RingsForHomalg/gap/Macaulay2Tools.gd
@@ -8,12 +8,3 @@
 ##  of the Maple implementation of homalg.
 ##
 #############################################################################
-
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "CommonHomalgTableForMacaulay2Tools" );
-
diff --git a/RingsForHomalg/gap/Macaulay2Tools.gi b/RingsForHomalg/gap/Macaulay2Tools.gi
@@ -15,7 +15,7 @@
 #
 ####################################
 
-InstallValue( CommonHomalgTableForMacaulay2Tools,
+BindGlobal( "CommonHomalgTableForMacaulay2Tools",
 
         rec(
                Zero := HomalgExternalRingElement( R -> homalgSendBlocking( [ R, "#0" ], "Zero" ), "Macaulay2", IsZero ),

diff --git a/RingsForHomalg/gap/MapleHomalg.gd b/RingsForHomalg/gap/MapleHomalg.gd
@@ -8,16 +8,6 @@
 ##
 #############################################################################
 
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "HOMALG_IO_Maple" );
-
-DeclareGlobalVariable( "MapleMacros" );
-
 ####################################
 #
 # global functions and operations:

diff --git a/RingsForHomalg/gap/MapleHomalg.gi b/RingsForHomalg/gap/MapleHomalg.gi
@@ -15,7 +15,7 @@
 #
 ####################################
 
-InstallValue( HOMALG_IO_Maple,
+BindGlobal( "HOMALG_IO_Maple",
         rec(
             cas := "maple",		## normalized name on which the user should have no control
             name := "Maple",
@@ -189,7 +189,7 @@ InstallGlobalFunction( _Maple_multiple_delete,
 end );
 
 ##
-InstallValue( MapleMacros,
+BindGlobal( "MapleMacros",
         rec(
 
     Eliminate := "\n\

diff --git a/RingsForHomalg/gap/MapleHomalgBasic.gd b/RingsForHomalg/gap/MapleHomalgBasic.gd
@@ -9,11 +9,3 @@
 ##
 #############################################################################
 
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "CommonHomalgTableForMapleHomalgBasic" );
-
diff --git a/RingsForHomalg/gap/MapleHomalgBasic.gi b/RingsForHomalg/gap/MapleHomalgBasic.gi
@@ -15,7 +15,7 @@
 #
 ####################################
 
-InstallValue( CommonHomalgTableForMapleHomalgBasic,
+BindGlobal( "CommonHomalgTableForMapleHomalgBasic",
 
         rec(
                ## Must only then be provided by the RingPackage in case the default

diff --git a/RingsForHomalg/gap/MapleHomalgBestBasis.gd b/RingsForHomalg/gap/MapleHomalgBestBasis.gd
@@ -8,12 +8,3 @@
 ##  of the Maple implementation of homalg.
 ##
 #############################################################################
-
-####################################
-#
-# global variables:
-#
-####################################
-
-DeclareGlobalVariable( "CommonHomalgTableForMapleHomalgBestBasis" );
-
diff --git a/RingsForHomalg/gap/MapleHomalgBestBasis.gi b/RingsForHomalg/gap/MapleHomalgBestBasis.gi
@@ -15,7 +15,7 @@
 #
 ####################################
 
-InstallValue( CommonHomalgTableForMapleHomalgBestBasis,
+BindGlobal( "CommonHomalgTableForMapleHomalgBestBasis",
 
         rec(
                ## Can optionally be provided by the RingPackage