ceaf48fdb2
Adds proper tests. Also removes the "enableFactory" option because singular actually enables factory by default and explicitly disabling it breaks the build. So the option was never really available.
112 lines
4.5 KiB
Diff
112 lines
4.5 KiB
Diff
commit 9e8b044d982e132cf35a106a1cc0cf7e77b27f7c
|
|
Author: Mauricio Collares <mauricio@collares.org>
|
|
Date: Thu Apr 15 20:33:21 2021 -0300
|
|
|
|
Disable manual sections using optional packages not yet in Nixpkgs
|
|
|
|
* normaliz.lib depends on normaliz.
|
|
* polymake.lib depends on topcom.
|
|
* recover.lib depends on bertini.
|
|
* sing4ti2.lib depends on 4ti2.
|
|
* tateProdCplxNegGrad.lib uses multigrading.lib, which depends on 4ti2.
|
|
|
|
diff --git a/doc/singular.doc b/doc/singular.doc
|
|
index 64b969d39..e704f95f0 100644
|
|
--- a/doc/singular.doc
|
|
+++ b/doc/singular.doc
|
|
@@ -407,7 +407,6 @@ LIB "all.lib";
|
|
* nfmodsyz_lib:: Syzygy modules of submodules of free modules over algebraic number fields
|
|
* noether_lib:: Noether normalization of an ideal
|
|
* normal_lib:: procedure for normalization
|
|
-* normaliz_lib:: integral closure, normalization for monomial ideals, toric ideals
|
|
* pointid_lib:: factorized lex GB of the vanishing ideal of a set of points
|
|
* primdec_lib:: procedures for primary decomposition
|
|
* primdecint_lib:: primary decomposition over the integers
|
|
@@ -416,7 +415,6 @@ LIB "all.lib";
|
|
* reesclos_lib:: Rees Algebra and integral closure of an ideal
|
|
* rstandard_lib:: Janet bases and border bases for ideals
|
|
* sagbi_lib:: Subalgebras bases Analogous to Groebner bases for ideals
|
|
-* sing4ti2_lib:: interface to program 4ti2
|
|
* symodstd_lib:: Groebner bases for symmetric ideals
|
|
* toric_lib:: toric ideals
|
|
@end menu
|
|
@@ -521,10 +519,6 @@ LIB "all.lib";
|
|
@node normal_lib
|
|
@subsection normal_lib
|
|
@c lib normal.lib
|
|
-@c ---------------------------------------------------------
|
|
-@node normaliz_lib
|
|
-@subsection normaliz_lib
|
|
-@c lib normaliz.lib tag:normaliz
|
|
@c ----------------------------------------------------------
|
|
@node pointid_lib
|
|
@subsection pointid_lib
|
|
@@ -558,10 +552,6 @@ LIB "all.lib";
|
|
@subsection sagbi_lib
|
|
@c lib sagbi.lib
|
|
@c ---------------------------------------------------------
|
|
-@node sing4ti2_lib
|
|
-@subsection sing4ti2_lib
|
|
-@c lib sing4ti2.lib tag:sing4ti2
|
|
-@c ----------------------------------------------------------
|
|
@node symodstd_lib
|
|
@subsection symodstd_lib
|
|
@c lib symodstd.lib
|
|
@@ -873,7 +863,6 @@ iniD, reslist, sumlist, dividelist, createlist
|
|
* solve_lib:: procedures to solve polynomial systems
|
|
* triang_lib:: procedures for decomposing zero-dimensional ideals
|
|
* ntsolve_lib:: one real solution of polynomial systems (Newton iteration)
|
|
-* recover_lib:: Hybrid numerical/symbolical algorithms
|
|
* rootisolation_lib:: real root isolation with intervals
|
|
* signcond_lib:: computing realizable sign conditions
|
|
* zeroset_lib:: procedures for roots and factorization
|
|
@@ -904,10 +893,6 @@ iniD, reslist, sumlist, dividelist, createlist
|
|
@subsection ntsolve_lib
|
|
@c lib ntsolve.lib
|
|
@c ---------------------------------------------------------
|
|
-@node recover_lib
|
|
-@subsection recover_lib
|
|
-@c lib recover.lib tag:bertini
|
|
-@c ----------------------------------------------------------
|
|
@node rootisolation_lib
|
|
@subsection rootisolation_lib
|
|
@c lib rootisolation.lib
|
|
@@ -1108,7 +1093,6 @@ but not for serious computations.
|
|
* cimonom_lib:: complete intersection for toric ideals
|
|
* gfan_lib:: A gfanlib interface for Singular
|
|
* gitfan_lib:: Compute GIT-fans
|
|
-* polymake_lib:: interface to TOPCOM
|
|
* realizationMatroids_lib:: Realizability for Tropical Fan Curves
|
|
* tropical_lib:: interface to gfan
|
|
* tropicalNewton_lib:: Newton polygons in tropical geometry
|
|
@@ -1125,10 +1109,7 @@ but not for serious computations.
|
|
@node gitfan_lib
|
|
@subsection gitfan_lib
|
|
@c lib gitfan.lib
|
|
-@c ----------------------------------------------------------
|
|
-@node polymake_lib
|
|
-@subsection polymake_lib
|
|
-@c lib polymake.lib tag:topcom
|
|
+
|
|
@c ----------------------------------------------------------
|
|
@node realizationMatroids_lib
|
|
@subsection realizationMatroids_lib
|
|
@@ -1219,7 +1200,6 @@ Comments should be send to the author of the library directly.
|
|
* stanleyreisner_lib:: T1 and T2 for a general Stanley-Reiser ring
|
|
* swalk_lib:: Sagbi Walk Conversion Algorithm
|
|
* systhreads_lib:: multi-threaded objects
|
|
-* tateProdCplxNegGrad_lib:: sheaf cohomology on product of projective spaces
|
|
* VecField_lib:: vector fields
|
|
@end menu
|
|
@c ----------------------------------------------------------
|
|
@@ -1310,10 +1290,6 @@ Todos/Issues:
|
|
@subsection systhreads_lib
|
|
@c lib systhreads.lib
|
|
@c ---------------------------------------------------------
|
|
-@node tateProdCplxNegGrad_lib
|
|
-@subsection tateProdCplxNegGrad_lib
|
|
-@c lib tateProdCplxNegGrad.lib
|
|
-@c ---------------------------------------------------------
|
|
@node VecField_lib
|
|
@subsection VecField_lib
|
|
@c lib VecField.lib
|