M4GB implementation

.dockerignore

@@ -0,0 +1,14 @@
+.stack-work
+.DS_Store
+Dockerfile
+.git
+**/.stack-work
+profiling-results
+bench-results
+_site
+_cache
+gh-pages-devel
+*.aux
+*.hp
+*.pdf
+*.ps

.ghci

@@ -4,7 +4,7 @@
 :set -XFlexibleContexts -XFlexibleInstances
 :set -XUndecidableInstances -XRebindableSyntax
 :set -XOverloadedLabels -XNoImplicitPrelude
-:set -XQuasiQuotes -XScopedTypeVariables
-:l Algebra.Prelude
+:set -XQuasiQuotes -XScopedTypeVariables -XTypeApplications
+import Algebra.Prelude
 :set -ishare -itests -ibench
 :set prompt "ghci> "

.gitattributes

@@ -1,2 +0,0 @@
-**/*.pdf filter=lfs diff=lfs merge=lfs -text
-**/*.ps filter=lfs diff=lfs merge=lfs -text

.gitignore

@@ -92,3 +92,12 @@ profiling-results
 **/*-prof.ps
 stack*.yaml.lock
 **/*.cabal
+### https://raw.github.com/github/gitignore/f9291de89f5f7dc0d3d87f9eb111b839f81d5dbc/Global/VisualStudioCode.gitignore
+
+.vscode/*
+!.vscode/settings.json
+!.vscode/tasks.json
+!.vscode/launch.json
+!.vscode/extensions.json
+
+

.gitlab-ci.yml

@@ -1,4 +1,7 @@
-image: fpco/stack-build:lts-12.2
+image: registry.gitlab.com/konn/computational-algebra/build-pre:0.6.0.0-p1
+
+variables:
+  GIT_STRATEGY: fetch
 
 stages:
 - build
@@ -7,141 +10,100 @@ stages:
 
 .cached_dirs: &cached-dirs
   paths:
-  - .stack-work/
-  - .stack-root/
-  - .apt/
-  - .hspec-failures
-
-.header-ghc-80: &header-ghc-80
-  variables:
-    STACK_YAML: "stack-800.yaml"
-  cache: 
-    key: ghc-8.0
-    <<: *cached-dirs
-
-.header-ghc-82: &header-ghc-82
-  variables:
-    STACK_YAML: "stack-802.yaml"
-  cache: 
-    key: ghc-8.2
-    <<: *cached-dirs
+  - '.stack-work/'
+  - '.stack-root/'
+  - '*/.stack-work'
+  - '.apt/'
+  - '.hspec-failures'
 
 .header-ghc-84: &header-ghc-84
+  image: registry.gitlab.com/konn/computational-algebra/build/ghc-8.4:0.6.0.0-p3
+  allow_failure: true
   variables:
     STACK_YAML: "stack-804.yaml"
+    GHC: 804
   cache: 
-    key: ghc-8.4
+    key: "${CI_COMMIT_REF_SLUG}-ghc-8.4"
     <<: *cached-dirs
 
 .header-ghc-86: &header-ghc-86
+  image: registry.gitlab.com/konn/computational-algebra/build/ghc-8.6:0.6.0.0-p2
   variables:
     STACK_YAML: "stack-806.yaml"
-  allow_failure: true
+    GHC: 806
+  cache: 
+    key: "${CI_COMMIT_REF_SLUG}-ghc-8.6"
+    <<: *cached-dirs
+
+.header-ghc-88: &header-ghc-88
+  image: registry.gitlab.com/konn/computational-algebra/build/ghc-8.8:0.6.0.0-p2
+  variables:
+    STACK_YAML: "stack-808.yaml"
+    GHC: 808
   cache: 
-    key: ghc-8.6
+    key: "${CI_COMMIT_REF_SLUG}-ghc-8.8"
     <<: *cached-dirs
 
 before_script:
 - echo $CI_PROJECT_DIR
-- export STACK_ROOT="${CI_PROJECT_DIR}/.stack-root"
 - export PATH="$HOME/.local/bin:$PATH"
-- export APT_DIR=$CI_PROJECT_DIR/.apt
-- export APT_STATE_LISTS=$APT_DIR/lists 
-- export APT_CACHE_ARCHIVES=$APT_DIR/archives
-- printf "dir::state::lists    ${APT_STATE_LISTS};\ndir::cache::archives    ${APT_CACHE_ARCHIVES};\n" > /etc/apt/apt.conf
-- mkdir -p "${APT_STATE_LISTS}/partial" && mkdir -p "${APT_CACHE_ARCHIVES}/partial"
-- apt-get update -y -qq && apt-get install -y -qq wget
-- wget ftp://jim.mathematik.uni-kl.de/repo/extra/gpg && apt-key add gpg && rm gpg
-- echo "deb ftp://jim.mathematik.uni-kl.de/repo/ubuntu16 xenial main" >> /etc/apt/sources.list
-- apt-get update -y -qq
-- apt-get install -y -qq singular41 libgmp3-dev libgsl0-dev liblapack-dev
-- stack upgrade
-- stack setup
 - export LD_LIBRARY_PATH="$(dirname $(stack path --global-pkg-db))/rts:$LD_LIBRARY_PATH"
 
 .build-script: &build-script
   stage:  build
   script: 
-  - |
-    if [ -d ${STACK_ROOT} ]; then
-      echo "Already exists: ${STACK_ROOT}";
-      ls "$STACK_ROOT";
-    else
-      echo "No stack-root. copying fpco..."
-      cp -r /root/.stack $STACK_ROOT;
-    fi
   - stack --version
   - echo "$STACK_YAML"
   - stack setup
-  - stack build --no-terminal --only-dependencies
-  - stack build --no-terminal
-  - stack build --no-terminal --test --no-run-tests --only-dependencies --coverage
+  - stack build --no-terminal --test --no-run-tests --coverage
 
 .test-script: &test-script
   stage:  test
   script:
   - stack setup
   - stack --no-terminal test --no-rerun-tests --coverage
 
-build:ghc-8.0:
-  image: fpco/stack-build:lts-9.5
-  <<:    *header-ghc-80
-  <<:    *build-script
-
-build:ghc-8.2:
-  image: fpco/stack-build:lts-11.4
-  <<:    *header-ghc-82
-  <<:    *build-script
-
 build:ghc-8.4:
-  image: fpco/stack-build:lts-12.2
   <<:    *header-ghc-84
   <<:    *build-script
 
 build:ghc-8.6:
-  image: fpco/stack-build:lts-12.10
   <<:    *header-ghc-86
   <<:    *build-script
 
-test:ghc-8.0:
-  image: fpco/stack-build:lts-9.5
-  dependencies:
-  - build:ghc-8.0
-  <<:    *header-ghc-80
-  <<:    *test-script
-
-test:ghc-8.2:
-  image: fpco/stack-build:lts-11.4
-  dependencies:
-  - build:ghc-8.2
-  <<:    *header-ghc-82
-  <<:    *test-script
+build:ghc-8.8:
+  <<:    *header-ghc-88
+  <<:    *build-script
 
 test:ghc-8.4:
-  image: fpco/stack-build:lts-12.2
   dependencies:
   - build:ghc-8.4
   <<:    *header-ghc-84
   <<:    *test-script
   coverage: '/^\s*(\d+\s*%)\s*top-level declarations used/'
 
 test:ghc-8.6:
-  image: fpco/stack-build:lts-12.10
   dependencies:
   - build:ghc-8.6
   <<:    *header-ghc-86
   <<:    *test-script
 
+test:ghc-8.8:
+  dependencies:
+  - build:ghc-8.8
+  <<:    *header-ghc-88
+  <<:    *test-script
+
 deploy_documents:
   only:
   - master@konn/computational-algebra
-  image: fpco/stack-build:lts-12.2
+  image: registry.gitlab.com/konn/computational-algebra/build/ghc-8.6:0.6.0.0-p2
   stage: deploy
   allow_failure: true
   dependencies:
-  - test:ghc-8.4
+  - test:ghc-8.6
   cache: 
-    key: ghc-8.4
+    key: "${CI_COMMIT_REF_SLUG}-ghc-8.6"
     policy: pull
     <<: *cached-dirs
   script:

.vscode/settings.json

@@ -1,3 +1,6 @@
 {
-  "editor.tabCompletion": "onlySnippets"
+  "editor.tabCompletion": "onlySnippets",
+  "files.exclude": {
+    "heap-poly": true
+  }
 }

README.md

@@ -56,4 +56,11 @@ $ stack build
 In addition, you may need to install GSL and LAPACK (for matrix computation) beforehand.
 You can install them via Homebrew (OS X), `apt-get`, or other major package management systems.
 
+Paper
+-----
+* Hiromi Ishii, _A Purely Functional Computer Algebra System Embedded in Haskell_.
+  Computer Algebra in Scientific Computing, pp. 288-303. 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings ([arXiv][arXiv]).
+
 ### [Read More in Official Project Site](http://konn.github.io/computational-algebra/)
+
+[arXiv]: https://arxiv.org/abs/1807.01456

computational-algebra/package.yaml

@@ -11,15 +11,14 @@ extra-source-files:
 - ChangeLog.md
 
 tested-with: |
-  GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.3
+  GHC == 8.4.3, GHC == 8.6.5, GHC == 8.8.2
 
 # Metadata used when publishing your package
 # synopsis:            Short description of your package
 category:            Math
 
 description:         Please see the project Web Site at <https://konn.github.io/computational-algebra>
 
-github: konn/computational-algebra
 
 flags:
   examples:

dockerfiles/build-pre/Dockerfile

@@ -0,0 +1,15 @@
+FROM fpco/stack-build:lts-14.20
+ARG LTS=lts-14.20
+ARG GHC_LLVM_LLC_PATH=llc-6.0
+ARG GHC_LLVM_OPT_PATH=opt-6.0
+
+ENV PATH /root/.local/bin:$PATH
+ENV LD_LIBRARY_PATH $MPI/lib:$LD_LIBRARY_PATH
+
+RUN apt-get update -y -qq && apt-get install -y -qq wget
+RUN wget ftp://jim.mathematik.uni-kl.de/repo/extra/gpg && apt-key add gpg && rm gpg
+RUN echo "deb ftp://jim.mathematik.uni-kl.de/repo/ubuntu18 bionic main" >> /etc/apt/sources.list
+RUN apt-get update -y -qq
+RUN apt-get install -y -qq singular41 libgmp3-dev libgsl0-dev liblapack-dev
+RUN stack upgrade
+

dockerfiles/build/ghc-8.4/Dockerfile

@@ -0,0 +1,29 @@
+FROM registry.gitlab.com/konn/computational-algebra/build-pre:0.6.0.0
+
+RUN mkdir /skeleton
+COPY computational-algebra/ /skeleton/computational-algebra
+COPY algebraic-prelude/ /skeleton/algebraic-prelude
+COPY halg-algebraic/ /skeleton/halg-algebraic
+COPY halg-algorithms/ /skeleton/halg-algorithms
+COPY halg-bridge-singular/ /skeleton/halg-bridge-singular
+COPY halg-core/ /skeleton/halg-core
+COPY halg-core-test/ /skeleton/halg-core-test
+COPY halg-factor/ /skeleton/halg-factor
+COPY halg-galois-fields/ /skeleton/halg-galois-fields
+COPY halg-heaps/ /skeleton/halg-heaps
+COPY halg-matrices/ /skeleton/halg-matrices
+COPY halg-polyn-parser/ /skeleton/halg-polyn-parser
+COPY halg-polynomials/ /skeleton/halg-polynomials
+
+ENV GHC=804
+COPY stack-${GHC}.yaml /skeleton
+
+WORKDIR /skeleton
+ENV STACK_YAML=stack-${GHC}.yaml
+RUN stack setup
+RUN stack build --only-dependencies --test --no-run-tests
+
+ENV GHC_LLVM_LLC_PATH=llc-5.0
+ENV GHC_LLVM_OPT_PATH=opt-5.0
+
+RUN echo "deb http://apt.llvm.org/xenial/ llvm-toolchain-xenial-5.0 main" >> /etc/apt/sources.list && wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add - && apt-get update && apt-get -y install clang-5.0 lld-5.0

dockerfiles/build/ghc-8.6/Dockerfile

@@ -0,0 +1,24 @@
+FROM registry.gitlab.com/konn/computational-algebra/build-pre:0.6.0.0
+
+RUN mkdir /skeleton
+COPY computational-algebra/ /skeleton/computational-algebra
+COPY algebraic-prelude/ /skeleton/algebraic-prelude
+COPY halg-algebraic/ /skeleton/halg-algebraic
+COPY halg-algorithms/ /skeleton/halg-algorithms
+COPY halg-bridge-singular/ /skeleton/halg-bridge-singular
+COPY halg-core/ /skeleton/halg-core
+COPY halg-core-test/ /skeleton/halg-core-test
+COPY halg-factor/ /skeleton/halg-factor
+COPY halg-galois-fields/ /skeleton/halg-galois-fields
+COPY halg-heaps/ /skeleton/halg-heaps
+COPY halg-matrices/ /skeleton/halg-matrices
+COPY halg-polyn-parser/ /skeleton/halg-polyn-parser
+COPY halg-polynomials/ /skeleton/halg-polynomials
+
+ENV GHC=806
+COPY stack-${GHC}.yaml /skeleton
+
+WORKDIR /skeleton
+ENV STACK_YAML=stack-${GHC}.yaml
+RUN stack setup
+RUN stack build --only-dependencies --test --no-run-tests

dockerfiles/build/ghc-8.8/Dockerfile

@@ -0,0 +1,24 @@
+FROM registry.gitlab.com/konn/computational-algebra/build-pre:0.6.0.0
+
+RUN mkdir /skeleton
+COPY computational-algebra/ /skeleton/computational-algebra
+COPY algebraic-prelude/ /skeleton/algebraic-prelude
+COPY halg-algebraic/ /skeleton/halg-algebraic
+COPY halg-algorithms/ /skeleton/halg-algorithms
+COPY halg-bridge-singular/ /skeleton/halg-bridge-singular
+COPY halg-core/ /skeleton/halg-core
+COPY halg-core-test/ /skeleton/halg-core-test
+COPY halg-factor/ /skeleton/halg-factor
+COPY halg-galois-fields/ /skeleton/halg-galois-fields
+COPY halg-heaps/ /skeleton/halg-heaps
+COPY halg-matrices/ /skeleton/halg-matrices
+COPY halg-polyn-parser/ /skeleton/halg-polyn-parser
+COPY halg-polynomials/ /skeleton/halg-polynomials
+
+ENV GHC=808
+COPY stack-${GHC}.yaml /skeleton
+
+WORKDIR /skeleton
+ENV STACK_YAML=stack-${GHC}.yaml
+RUN stack setup
+RUN stack build --only-dependencies --test --no-run-tests

halg-algebraic/package.yaml

@@ -11,7 +11,7 @@ extra-source-files:
 - ChangeLog.md
 
 tested-with: |
-  GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.3
+  GHC == 8.4.3, GHC == 8.6.5, GHC == 8.8.2
 
 # Metadata used when publishing your package
 synopsis:            Algebraic reals, part of halg computational algebra suite.

halg-algorithms/package.yaml

@@ -11,7 +11,7 @@ extra-source-files:
 - ChangeLog.md
 
 tested-with: |
-  GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.3
+  GHC == 8.4.3, GHC == 8.6.5, GHC == 8.8.2
 
 # Metadata used when publishing your package
 synopsis:            Algorithms related to Gröbner basis, part of halg computational algebra suite.
@@ -112,7 +112,7 @@ executables:
     <<: *prof-settings
 
 tests:
-  spec:
+  halg-algorithms-specs:
     main:                Spec.hs
     source-dirs:         test
     ghc-options:
@@ -128,6 +128,8 @@ tests:
     - ghc-typelits-knownnat
     - halg-core-test
     - halg-polynomials
+    - singletons-presburger
+    - singletons
     - halg-algorithms
     - halg-bridge-singular
     - QuickCheck