Avoid using InstallValue

For some background, see gap-system/gap#1637
fingolfin · Aug 1, 2022 · ef832ab · ef832ab
1 parent 385d88a
commit ef832ab
Show file tree

Hide file tree

Showing 60 changed files with 102 additions and 282 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/doc/_main.xml b/RingsForHomalg/doc/_main.xml
@@ -0,0 +1,58 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<!-- This is an automatically generated file. -->
+<!DOCTYPE Book SYSTEM "gapdoc.dtd"
+[
+<!ENTITY Version '2020.04.19'>
+<!ENTITY alexander '<Package>alexander</Package>'>
+<!ENTITY see '<Alt Only="LaTeX">$\to$</Alt><Alt Not="LaTeX">--&gt;</Alt>'>
+<!ENTITY GAP4 '<Package>GAP4</Package>'>
+<!ENTITY Maple '<Package>Maple</Package>'>
+<!ENTITY Mathematica '<Package>Mathematica</Package>'>
+<!ENTITY Singular '<Package>Singular</Package>'>
+<!ENTITY Plural '<Package>Plural</Package>'>
+<!ENTITY Sage '<Package>Sage</Package>'>
+<!ENTITY python '<Package>python</Package>'>
+<!ENTITY cython '<Package>cython</Package>'>
+<!ENTITY C '<Package>C</Package>'>
+<!ENTITY MAGMA '<Package>MAGMA</Package>'>
+<!ENTITY Macaulay2 '<Package>Macaulay2</Package>'>
+<!ENTITY IO '<Package>IO</Package>'>
+<!ENTITY MatricesForHomalg '<Package>MatricesForHomalg</Package>'>
+<!ENTITY homalg '<Package>homalg</Package>'>
+<!ENTITY Modules '<Package>Modules</Package>'>
+<!ENTITY ResidueClassRingForHomalg '<Package>ResidueClassRingForHomalg</Package>'>
+<!ENTITY LIRNG '<Package>LIRNG</Package>'>
+<!ENTITY LIMAP '<Package>LIMAP</Package>'>
+<!ENTITY LIMAT '<Package>LIMAT</Package>'>
+<!ENTITY COLEM '<Package>COLEM</Package>'>
+<!ENTITY LIOBJ '<Package>LIOBJ</Package>'>
+<!ENTITY LIMOR '<Package>LIMOR</Package>'>
+<!ENTITY LICPX '<Package>LICPX</Package>'>
+<!ENTITY ExamplesForHomalg '<Package>ExamplesForHomalg</Package>'>
+<!ENTITY Gauss '<Package>Gauss</Package>'>
+<!ENTITY GaussForHomalg '<Package>GaussForHomalg</Package>'>
+<!ENTITY HomalgToCAS '<Package>HomalgToCAS</Package>'>
+<!ENTITY IO_ForHomalg '<Package>IO_ForHomalg</Package>'>
+<!ENTITY MapleForHomalg '<Package>MapleForHomalg</Package>'>
+<!ENTITY RingsForHomalg '<Package>RingsForHomalg</Package>'>
+<!ENTITY LessGenerators '<Package>LessGenerators</Package>'>
+<!ENTITY Yoneda '<Package>Yoneda</Package>'>
+<!ENTITY Sheaves '<Package>Sheaves</Package>'>
+<!ENTITY SCO '<Package>SCO</Package>'>
+<!ENTITY LocalizeRingForHomalg '<Package>LocalizeRingForHomalg</Package>'>
+<!ENTITY GAPDoc '<Package>GAPDoc</Package>'>
+<!ENTITY LIMOD '<Package>LIMOD</Package>'>
+]
+>
+<Book Name="RingsForHomalg">
+<#Include SYSTEM "title.xml">
+<TableOfContents/>
+<Body>
+<#Include SYSTEM "intro.xml">
+<#Include SYSTEM "install.xml">
+<#Include SYSTEM "ringtable.xml">
+</Body>
+<Bibliography Databases="RingsForHomalg.bib"/>
+<TheIndex/>
+</Book>
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",
@@ -76,7 +76,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",
@@ -131,7 +131,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",
@@ -99,7 +99,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: