passagemath-gap-pkg-normalizinterface 10.6.23__cp311-cp311-macosx_13_0_x86_64.whl

gap/pkg/normalizinterface/Makefile.gappkg

@@ -0,0 +1,220 @@
+########################################################################
+#
+# The build rules in this file are intended for use by GAP packages that
+# want to build a simple GAP kernel extensions. They are based on the
+# GAP build system, and require GNU make. To use this in your GAP
+# package, `include` this file from your primary Makefile. You must also
+# set several variables beforehand:
+#
+# - GAPPATH must be set to the location of the GAP installation against
+#   which to build your package.
+# - KEXT_NAME should be the name of your kernel extension (without
+#   file extensions like .so or .dll)
+# - KEXT_SOURCES must contain a list of .c or .cc files to be linked
+#   into your kernel extension
+# - optionally, you can set KEXT_CFLAGS, KEXT_CXXFLAGS, KEXT_LDFLAGS
+# - if you are using autoconf to produce your configure script, set
+#   KEXT_USE_AUTOCONF to 1 to enable dependency rules that enable
+#   regenerating the configure script etc. when necessary
+#
+# The contents of this file are released into the public domain; hence
+# you may edit this file as you wish, bundle and distribute it with your
+# package, etc.
+#
+# If you bundle this file with your package, please try not to edit it,
+# so that we can keep it identical across all GAP packages. Instead, if
+# you find that you must edit it, please submit your changes back to
+# the GAP team, so that a future version of this file can be adjusted
+# to cover your usecase without modifications, thus ensuring you can
+# always easily update to newer version of it.
+#
+########################################################################
+
+# read GAP's build settings
+include $(GAPPATH)/sysinfo.gap
+
+# hack to support GAP <= 4.9
+ifndef GAP_KERNEL_MAJOR_VERSION
+  KEXT_CFLAGS += -I$(GAP_LIB_DIR)/src
+  KEXT_CXXFLAGS += -I$(GAP_LIB_DIR)/src
+endif
+
+# honor user supplied flags
+KEXT_CFLAGS += $(CPPFLAGS)
+KEXT_CFLAGS += $(CFLAGS)
+KEXT_CXXFLAGS += $(CPPFLAGS)
+KEXT_CXXFLAGS += $(CXXFLAGS)
+KEXT_LDFLAGS += $(LDFLAGS)
+
+# various derived settings
+KEXT_BINARCHDIR = bin/$(GAParch)
+KEXT_SO = $(KEXT_BINARCHDIR)/$(KEXT_NAME).so
+
+# the following settings are provided by sysinfo.gap in GAP >= 4.12;
+# for compatibility with older GAP version (at least 4.9, 4.10, 4.11)
+# we try to "guess" suitable values here
+GAP ?= $(GAPPATH)/gap
+GAC ?= $(GAPPATH)/gac
+GAP_OBJEXT ?= lo
+
+# override KEXT_RECONF if your package needs a different invocation
+# for reconfiguring (e.g. `./config.status --recheck` for autoconf)
+ifdef KEXT_USE_AUTOCONF
+KEXT_RECONF ?= ./config.status Makefile
+else
+KEXT_RECONF ?= ./configure "$(GAPPATH)"
+endif
+
+# default target
+all: $(KEXT_SO)
+.PHONY: all
+
+########################################################################
+# Object files
+# For each file FOO.c in SOURCES, add gen/FOO.$(GAP_OBJEXT) to KEXT_OBJS
+# and similar for .cc files
+########################################################################
+KEXT_OBJS = $(patsubst %.s,gen/%.$(GAP_OBJEXT), \
+            $(patsubst %.cc,gen/%.$(GAP_OBJEXT), \
+            $(patsubst %.c,gen/%.$(GAP_OBJEXT), \
+                $(KEXT_SOURCES))))
+
+########################################################################
+# Quiet rules.
+#
+# Replace regular output with quiet messages, unless V is set,
+# e.g. "make V=1"
+########################################################################
+ifneq ($(findstring $(MAKEFLAGS),s),s)
+ifndef V
+QUIET_GAC     = @echo "   GAC     $< => $@";>/dev/null # keep the trailing space!
+endif
+endif
+
+########################################################################
+# Rules for automatic header dependency tracking.
+# This is based on the GAP build system.
+########################################################################
+
+# List of all (potential) dependency files, derived from KEXT_OBJS
+KEXT_DEPFILES = $(patsubst %.$(GAP_OBJEXT),%.d,$(KEXT_OBJS))
+
+# Include the dependency tracking files
+-include $(KEXT_DEPFILES)
+
+# Mark *.d files as PHONY. This stops make from trying to recreate them
+# (which it can't), and in particular from looking for potential source
+# files. This can save quite a bit of disk access time.
+.PHONY: $(KEXT_DEPFILES)
+
+# The following flags instruct the compiler to enable advanced
+# dependency tracking. Supported by GCC 3 and newer; clang; Intel C
+# compiler; and more.
+KEXT_DEPFLAGS = -MQ "$@" -MMD -MP -MF $(@D)/$(*F).d
+
+# build rule for C code
+# The dependency on Makefile ensures that re-running configure recompiles everything
+gen/%.$(GAP_OBJEXT): %.c Makefile
+	@mkdir -p $(@D)
+	$(QUIET_GAC)$(GAC) -d -p "$(KEXT_DEPFLAGS)" -p "$(KEXT_CFLAGS)" -c $< -o $@
+
+# build rule for C++ code
+# The dependency on Makefile ensures that re-running configure recompiles everything
+gen/%.$(GAP_OBJEXT): %.cc Makefile
+	@mkdir -p $(@D)
+	$(QUIET_GAC)$(GAC) -d -p "$(KEXT_DEPFLAGS)" -p "$(KEXT_CXXFLAGS)" -c $< -o $@
+
+# build rule for assembler code
+# The dependency on Makefile ensures that re-running configure recompiles everything
+gen/%.$(GAP_OBJEXT): %.s Makefile
+	@mkdir -p $(@D)
+	$(QUIET_GAC)$(GAC) -d -p "$(KEXT_DEPFLAGS)" -p "$(KEXT_CFLAGS)" -c $< -o $@
+
+# build rule for linking all object files together into a kernel extension
+$(KEXT_SO): $(KEXT_OBJS)
+	@mkdir -p $(@D)
+	$(QUIET_GAC)$(GAC) -d -p "$(KEXT_DEPFLAGS)" -P "$(KEXT_LDFLAGS)" $(KEXT_OBJS) -o $@
+
+# hook into `make clean`
+clean: clean-kext
+clean-kext:
+	rm -rf $(KEXT_BINARCHDIR) gen
+
+# hook into `make distclean`
+distclean: distclean-kext
+distclean-kext:
+	rm -rf bin gen Makefile
+	rm -rf doc/_*.xml
+	rm -rf doc/*.aux doc/*.bbl doc/*.blg doc/*.brf doc/*.idx doc/*.idx
+	rm -rf doc/*.ilg doc/*.ind doc/*.log doc/*.out doc/*.pnr doc/*.toc
+
+# hook into `make doc`
+doc: doc-kext
+doc-kext:
+	$(GAP) --quitonbreak -b -q < makedoc.g
+
+# hook into `make check`
+check: check-kext
+check-kext:
+	$(GAP) tst/testall.g
+
+# re-run configure if configure, Makefile.in or GAP itself changed
+Makefile: configure Makefile.in $(GAPPATH)/sysinfo.gap
+	$(KEXT_RECONF)
+
+ifdef KEXT_USE_AUTOCONF
+
+# react to modifications of the build system
+configure_deps = configure.ac $(wildcard m4/*.m4)
+
+ifneq ($(MAINTAINER_MODE),no)
+configure: $(configure_deps)
+	@if command -v autoconf >/dev/null 2>&1 ; then \
+	   echo "running autoconf" ; \
+	   autoconf ; \
+	 else \
+	   echo "autoconf not available, proceeding with stale configure" ; \
+	 fi
+endif # MAINTAINER_MODE
+
+# re-run configure if configure, Makefile.in or GAP itself changed
+config.status: configure $(GAPPATH)/sysinfo.gap
+	./config.status --recheck
+
+# update Makefile if config.status changed
+Makefile: config.status
+
+gen/pkgconfig.h: gen/pkgconfig.h.stamp
+	@if test ! -f $@; then rm -f $<; else :; fi
+	@if test ! -f $@; then $(MAKE) $<; else :; fi
+
+gen/pkgconfig.h.stamp: src/pkgconfig.h.in config.status
+	@rm -f $@
+	@mkdir -p $(@D)
+	./config.status gen/pkgconfig.h
+	echo > $@
+
+ifneq ($(MAINTAINER_MODE),no)
+src/pkgconfig.h.in: $(configure_deps)
+	@if command -v autoheader >/dev/null 2>&1 ; then \
+	   mkdir -p $(@D) ; \
+	   echo "running autoheader" ; \
+	   autoheader ; \
+	   rm -f gen/pkgconfig.h.stamp ; \
+	 else \
+	   echo "autoheader not available, proceeding with stale config.h" ; \
+	 fi
+	touch $@
+endif # MAINTAINER_MODE
+
+endif # KEXT_USE_AUTOCONF
+
+.PHONY: check clean distclean doc
+.PHONY: check-kext clean-kext distclean-kext doc-kext
+
+########################################################################
+# Makefile debugging trick:
+# call print-VARIABLE to see the runtime value of any variable
+########################################################################
+print-%:
+	@echo '$*=$($*)'

gap/pkg/normalizinterface/Makefile.in

@@ -0,0 +1,19 @@
+#
+# Makefile rules for the NormalizInterface package
+#
+KEXT_NAME = NormalizInterface
+KEXT_SOURCES = src/normaliz.cc
+
+# Normaliz requires C++11; but some of its dependencies (well at least
+# e-Antic) requires C++14. Since that's been in compilers for a decade
+# now, just always request C++14 support. Note: we use gnu++14 instead
+# of std++14 only for compatibility with GAP versions before 4.12 on
+# Cygwin, see <https://github.com/gap-packages/NormalizInterface/pull/91>.
+KEXT_CXXFLAGS = @CPPFLAGS@ @NORMALIZ_CPPFLAGS@  @GMP_CPPFLAGS@ -std=gnu++14
+KEXT_LDFLAGS = @LDFLAGS@ @GMP_LDFLAGS@ -lgmp @NORMALIZ_LDFLAGS@ -lnormaliz -lstdc++
+
+KEXT_USE_AUTOCONF = 1
+
+# include shared GAP package build system
+GAPPATH = @GAPROOT@
+include Makefile.gappkg

gap/pkg/normalizinterface/PackageInfo.g

@@ -0,0 +1,122 @@
+SetPackageInfo( rec(
+
+PackageName := "NormalizInterface",
+Subtitle := "GAP wrapper for Normaliz",
+Version := "1.3.7",
+Date    := "07/07/2024", # dd/mm/yyyy format
+License := "GPL-2.0-or-later",
+
+Persons := [
+  rec(
+    LastName      := "Gutsche",
+    FirstNames    := "Sebastian",
+    IsAuthor      := true,
+    IsMaintainer  := false,
+    Email         := "gutsche@mathematik.uni-siegen.de",
+  ),
+
+  rec(
+    LastName      := "Horn",
+    FirstNames    := "Max",
+    IsAuthor      := true,
+    IsMaintainer  := true,
+    Email         := "mhorn@rptu.de",
+    WWWHome       := "https://www.quendi.de/math",
+    PostalAddress := Concatenation(
+                       "Fachbereich Mathematik\n",
+                       "RPTU Kaiserslautern-Landau\n",
+                       "Gottlieb-Daimler-Straße 48\n",
+                       "67663 Kaiserslautern\n",
+                       "Germany" ),
+    Place         := "Kaiserslautern, Germany",
+    Institution   := "RPTU Kaiserslautern-Landau"
+  ),
+
+  rec(
+    LastName      := "Söger",
+    FirstNames    := "Christof",
+    IsAuthor      := true,
+    IsMaintainer  := false,
+    Email         := "csoeger@uos.de",
+  ),
+],
+
+Status         := "deposited",
+#CommunicatedBy := "name (place)",
+#AcceptDate     := "mm/yyyy",
+
+SourceRepository := rec(
+    Type := "git",
+    URL := Concatenation( "https://github.com/gap-packages/", ~.PackageName ),
+),
+IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
+PackageWWWHome  := Concatenation( "https://gap-packages.github.io/", ~.PackageName ),
+README_URL      := Concatenation( ~.PackageWWWHome, "/README.md" ),
+PackageInfoURL  := Concatenation( ~.PackageWWWHome, "/PackageInfo.g" ),
+ArchiveURL      := Concatenation( ~.SourceRepository.URL,
+                                 "/releases/download/v", ~.Version,
+                                 "/", ~.PackageName, "-", ~.Version ),
+ArchiveFormats  := ".tar.gz .tar.bz2",
+
+AbstractHTML :=
+  "The <span class='pkgname'>NormalizInterface</span> package provides\
+  a GAP interface to <a href='https://www.normaliz.uni-osnabrueck.de'>Normaliz</a>,\
+  enabling direct access to the complete functionality of Normaliz, such as\
+  computations in affine monoids, vector configurations, lattice polytopes, and rational cones.\
+  ",
+
+
+PackageDoc := rec(
+  BookName  := "NormalizInterface",
+  ArchiveURLSubset := [ "doc" ],
+  HTMLStart := "doc/chap0_mj.html",
+  PDFFile   := "doc/manual.pdf",
+  SixFile   := "doc/manual.six",
+  LongTitle := "GAP wrapper for Normaliz",
+  Autoload  := true
+),
+
+Dependencies := rec(
+  GAP                    := ">= 4.12.1",
+  NeededOtherPackages    := [ ],
+  SuggestedOtherPackages := [ ],
+  ExternalConditions     := [ ]
+),
+
+AvailabilityTest := function()
+    local path;
+    # test for existence of the compiled binary
+    if not IsKernelExtensionAvailable("NormalizInterface") then
+       LogPackageLoadingMessage( PACKAGE_WARNING,
+           [ "kernel functions for NormalizInterface not available." ] );
+      return fail;
+    fi;
+    return true;
+  end,
+
+
+# Show the Normaliz version number in the banner string.
+# (We assume that this function gets called *after* the package has been
+# loaded, in particular after libnormaliz has been loaded.)
+BannerFunction := function( info )
+  local str, version;
+
+  str := DefaultPackageBannerString( info );
+  if not IsBoundGlobal( "_NmzVersion" ) then
+    return str;
+  fi;
+  version := ValueGlobal( "_NmzVersion" )();
+  version := JoinStringsWithSeparator(version, ".");
+
+  return ReplacedString( str, "by Sebastian",
+             Concatenation( "(Normaliz version is ", version, ")\n", "by Sebastian" ) );
+end,
+
+Keywords := [
+  "normaliz",
+  "cones"
+],
+
+TestFile := "tst/testall.g",
+
+));

gap/pkg/normalizinterface/README.md

@@ -0,0 +1,96 @@
+[![Build Status](https://github.com/gap-packages/NormalizInterface/workflows/CI/badge.svg?branch=master)](https://github.com/gap-packages/NormalizInterface/actions?query=workflow%3ACI+branch%3Amaster)
+[![Code Coverage](https://codecov.io/github/gap-packages/NormalizInterface/coverage.svg?branch=master&token=)](https://codecov.io/gh/gap-packages/NormalizInterface)
+
+# The GAP 4 package 'NormalizInterface'
+
+## Package description
+
+Normaliz is a software for computations with rational cones and affine
+monoids. It pursues two main computational goals: finding the Hilbert
+basis, a minimal generating system of the monoid of lattice points of a
+cone; and counting elements degree-wise in a generating function, the
+Hilbert series.
+As a recent extension, Normaliz can handle unbounded polyhedra. The
+Hilbert basis computation can be considered as solving a linear
+diophantine system of inhomogeneous equations, inequalities and
+congruences.
+
+This package allows creating libnormaliz cone objects from within GAP,
+and gives access to it in the GAP environment. In this way GAP can be
+used as interactive interface to libnormaliz.
+
+For more information on Normaliz visit
+<https://www.normaliz.uni-osnabrueck.de/>
+and especially have a look at the manual.
+
+
+## Installation
+
+NormalizInterface supports GAP 4.9 or later, and Normaliz 3.5.4 or later.
+However, we recommend using the most recent versions -- at the time this
+is written, that means GAP 4.11.1 and Normaliz 3.9.1.
+
+Assuming you have a suitable version installed, you still need to
+compile Normaliz. There is a complicating factor, however: Normaliz
+must be compiled against the exact same version of the GMP library
+as GAP. The easiest way to do that is to run the script we provide
+to you for just that.  This requires the presence of several further
+system software packages, which you could for example install via
+your system's package manager. At least the following are required,
+in addition to a C++11 compiler:
+
+ * curl OR wget for downloading the source code
+
+Once you have installed these, you can build Normaliz by using the
+`prerequisites.sh` script provided by us. If NormalizInterface is
+installed inside the `pkg` directory of your GAP installation, you
+can simply invoke it from inside the NormalizInterface directory as
+follows:
+
+    ./prerequisites.sh
+
+Otherwise, you have to tell the script where your GAP directory is,
+by passing it as an argument:
+
+    ./prerequisites.sh GAPDIR
+
+Not specifying GAPDIR is equivalent to passing `../..` as GAPDIR. If
+more than one argument is specified, then any arguments beyond the
+first are passed on to the Normaliz `configure` script.
+
+Once the script completed successfully, you can build NormalizInterface
+like this:
+
+    ./configure --with-gaproot=GAPDIR
+    make
+
+The ` --with-gaproot=GAPDIR` parameter is actually optional, and if omitted,
+the package will search for GAP in `../..`.
+
+
+## Documentation and tests
+
+Generate the documentation:
+
+    gap makedoc.g
+
+run automatic tests:
+
+    gap tst/testall.g
+
+
+## Bug reports and feature requests
+
+Please submit bug reports and feature requests via our GitHub issue tracker:
+
+  <https://github.com/gap-packages/NormalizInterface/issues>
+
+
+## License
+
+NormalizInterface is free software; you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation; either version 2 of the License, or
+(at your option) any later version.
+
+For details see the file LICENSE.

gap/pkg/normalizinterface/autogen.sh

@@ -0,0 +1,5 @@
+#!/bin/sh
+#
+# Regenerate configure from configure.ac. Requires GNU autoconf.
+set -ex
+autoconf -Wall -f