[bug#56729] [RFC PATCH v3 10/32] gnu: Add gfan.

[vicvbcun]

* gnu/packages/algebra.scm (gfan): New variable.
---

Notes:
    gfan homepage contains an abstract

 gnu/packages/algebra.scm | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)

diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm
index 3bc8ec7ab2..92a9faa04f 100644
--- a/gnu/packages/algebra.scm
+++ b/gnu/packages/algebra.scm
@@ -130,6 +130,38 @@ (define-public gf2x
     (home-page "https://gitlab.inria.fr/gf2x/gf2x";)
     (license license:gpl3+)))
 
+(define-public gfan
+  (package
+    (name "gfan")
+    (version "0.6.2")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append
+                    "https://users-math.au.dk/jensen/software/gfan/gfan";
+                    version ".tar.gz"))
+              (sha256
+               (base32
+                "02pihqb1lb76a0xbfwjzs1cd6ay3ldfxsm8dvsbl6qs3vkjxax56"))))
+    (build-system gnu-build-system)
+    (arguments
+     (list #:make-flags #~(list (string-append "PREFIX=" #$output)
+                                (string-append "CC=" #$(cc-for-target))
+                                (string-append "CXX=" #$(cxx-for-target)))
+           #:phases #~(modify-phases %standard-phases
+                        (delete 'configure)
+                        (add-before 'build 'fix-cddlib-include
+                          (lambda _
+                            (substitute* '("src/lp_cdd.cpp"
+                                           "src/gfanlib_zcone.cpp"
+                                           "src/app_librarytest.cpp")
+                              (("^#include \"cdd/")
+                               "#include \"cddlib/")))))))
+    (inputs (list cddlib gmp))
+    (home-page "https://users-math.au.dk/jensen/software/gfan/gfan.html";)
+    (synopsis "Software package for computing Gröbner fans and tropical 
varieties")
+    (description synopsis)
+    (license license:gpl2+)))
+
 (define-public cm
   (package
    (name "cm")
-- 
2.40.1