Add files via upload

Author: margollo

PackageInfo.g

@@ -13,7 +13,7 @@ PackageName    := "HeLP",
 Subtitle       := Concatenation( [
                   "Hertweck-Luthar-Passi method." ] ),
 Version        := "4.1",
-Date           := "12/09/2025", # dd/mm/yyyy format
+Date           := "22/12/2025", # dd/mm/yyyy format
 License        := "GPL-2.0-or-later",
 
 SourceRepository := rec(
@@ -91,6 +91,16 @@ Dependencies := rec(
   ],
   ExternalConditions     := [[ "zsolve", "https://4ti2.github.io" ] ]
 ),
+Extensions := [
+    rec( needed:= [
+             [ "4ti2Interface", ">= 2015.04.29" ],
+           ],
+         filename:= "lib/HeLP_internal_4ti2.gi" ),
+    rec( needed:= [
+             [ "NormalizInterface", ">= 0.9.6" ],
+           ],
+         filename:= "lib/HeLP_internal_normaliz.gi" ),
+  ], # the order of loading implies that if both solvers work, then normaliz is the active by default
 
 TestFile := "tst/testall.g",
 

read.g

@@ -7,21 +7,11 @@
 ##
 #############################################################################
 
-ReadPackage( "HeLP", "lib/HeLP_internal_functions_no_solving.gi" );
+ReadPackage( "HeLP", "lib/HeLP_internal_no_solving.gi" );
 ReadPackage( "HeLP", "lib/HeLP_no_solving.gi" );
 
-if not TestPackageAvailability("4ti2Interface") = true and not TestPackageAvailability("NormalizInterface") = true then
-  Print("WARNING: Neither 4ti2Interface nor NormalizInterface could be loaded. No functions which need to solve a system of inquealities will work. Please install one of the solvers in case you want to use these.\n");
-elif not TestPackageAvailability("4ti2Interface") = true and TestPackageAvailability("NormalizInterface") = true then
-  Print("Only NormalizInterface could be loaded, so normaliz will be used as a solver. \n");
-  ReadPackage( "HeLP", "lib/HeLP_internal_functions_solving_normaliz.gi");
-  ReadPackage( "HeLP", "lib/HeLP_solving.gi");
-elif TestPackageAvailability("4ti2Interface") = true and not TestPackageAvailability("NormalizInterface") = true then
-  Print("Only 4ti2Interface could be loaded, so 4ti2 will be used as a solver. \n");
-  ReadPackage( "HeLP", "lib/HeLP_internal_functions_solving_4ti2.gi");
-  ReadPackage( "HeLP", "lib/HeLP_solving.gi");
-elif TestPackageAvailability("4ti2Interface") = true and TestPackageAvailability("NormalizInterface") = true then
-  ReadPackage( "HeLP", "lib/HeLP_internal_functions_solving_two_solvers.gi");
-  ReadPackage( "HeLP", "lib/HeLP_solving.gi");
-fi;
+ReadPackage( "HeLP", "lib/HeLP_internal_solving.gi" );
+ReadPackage( "HeLP", "lib/HeLP_solving.gi" );
+
+