Merge branch 'implement-SYMcomputeSymmetryGeneratorsNode-for-sym-none' into 'master'

implemented missing method for SYM=none

See merge request integer/scip!4028

Author: Christopher Hojny

CHANGELOG

@@ -1,3 +1,29 @@
+@page RN11 Release notes for SCIP 11
+
+@section RN1100 SCIP 11.0.0
+***************************
+
+Features
+--------
+
+- adds functionality to compute symmetries of entire symmetry detection graph rather than just the restriction to variable nodes
+
+Interface changes
+-----------------
+
+### Deleted and changed API methods
+
+- SCIPcreateSymgraph() receives an additional argument to specify an epsilon value that is used for epsilon-comparisons
+
+### New API functions
+
+- added SYMcomputeSymmetryGeneratorsNode() to compute generators of the automorphism group of an entire (node set) of a symmetry detection graph
+
+### Data structures
+
+- struct SYM_Graph receives an additional field to specify an epsilon value that is used for epsilon-comparisons
+- new enum SYM_GROUPTYPE to encode which symmetry group of a symmetry detection graph is computed
+
 @page RN10 Release notes for SCIP 10
 
 @section RN1000 SCIP 10.0.0
@@ -40,7 +66,6 @@ Features
 - added support for AND-constraints to GAMS writer
 - added writing support for AMPL NL writer: currently only general and specialized linear and nonlinear constraints can be written
 - implemented columnwise Jacobian sparsity computation in the NLP oracle
-- adds functionality to compute symmetries of entire symmetry detection graph rather than just the restriction to variable nodes
 
 Performance improvements
 ------------------------
@@ -145,7 +170,6 @@ Interface changes
   SCIPcreateConsAbspower(), SCIPcreateConsBasicAbspower(), SCIPgetNlRowAbspower(),
   SCIPcreateConsSOC(), SCIPcreateConsBasicSOC(), SCIPgetNlRowSOC(),
 - removed previously deprecated NLP termination status codes SCIP_NLPTERMSTAT_TILIM, SCIP_NLPTERMSTAT_ITLIM, SCIP_NLPTERMSTAT_LOBJLIM, SCIP_NLPTERMSTAT_NUMERR, SCIP_NLPTERMSTAT_EVALERR, SCIP_NLPTERMSTAT_MEMERR, SCIP_NLPTERMSTAT_LICERR
-- SCIPcreateSymgraph() receives an additional argument to specify an epsilon value that is used for epsilon-comparisons
 
 ### New API functions
 
@@ -202,7 +226,6 @@ Interface changes
 - SCIPvarGetMinAggrCoef() and SCIPvarGetMaxAggrCoef() to get bounds on absolute aggregation coefficients for a loose variable;
   SCIPisVarAggrCoefAcceptable() to check whether bounds on aggregation coefficients would exceed thresholds when using a loose variable in another aggregation
 - SCIPgetNRootIntFixings() to retrieve the number of integer fixings at the root node
-- added SYMcomputeSymmetryGeneratorsNode() to compute generators of the automorphism group of an entire (node set) of a symmetry detection graph
 
 ### Changes in preprocessor macros
 
@@ -288,9 +311,6 @@ Interface changes
 
 - added structs SCIP_IISFINDER, SCIP_IISFINDERDATA, SCIP_IIS
 - added struct SCIP_DATATREE to model generic serializable data; new enum SCIP_DATATREE_VALUETYPE
-- struct SYM_Graph receives an additional field to specify an epsilon value that is used for epsilon-comparisons
-- new enum SYM_GROUPTYPE to encode which symmetry group of a symmetry detection graph is computed
-
 
 Deleted files
 -------------

src/symmetry/compute_symmetry_none.cpp

@@ -121,6 +121,40 @@ SCIP_RETCODE SYMcomputeSymmetryGeneratorsSDG(
    return SCIP_OKAY;
 }
 
+/** compute generators of symmetry group of the complete symmetry detection graph
+ *
+ *  If the symmetry detection graph (SDG) has k nodes, the first k entries of a generator correspond to the nodes
+ *  of the SDG. The remaining entries of the generator correspond to the variables (and possibly their negation).
+ */
+SCIP_RETCODE SYMcomputeSymmetryGeneratorsNode(
+   SCIP*                 scip,               /**< SCIP pointer */
+   int                   maxgenerators,      /**< maximal number of generators constructed (= 0 if unlimited) */
+   SYM_GRAPH*            graph,              /**< symmetry detection graph */
+   int*                  nperms,             /**< pointer to store number of permutations */
+   int*                  nmaxperms,          /**< pointer to store maximal number of permutations (needed for freeing storage) */
+   int***                perms,              /**< pointer to store permutation generators as (nperms x npermvars) matrix */
+   SCIP_Real*            log10groupsize,     /**< pointer to store log10 of size of group */
+   SCIP_Real*            symcodetime         /**< pointer to store the time for symmetry code */
+   )
+{  /*lint --e{715}*/
+   assert( scip != NULL );
+   assert( graph != NULL );
+   assert( nperms != NULL );
+   assert( nmaxperms != NULL );
+   assert( perms != NULL );
+   assert( log10groupsize != NULL );
+   assert( symcodetime != NULL );
+
+   /* init */
+   *nperms = 0;
+   *nmaxperms = 0;
+   *perms = NULL;
+   *log10groupsize = 0;
+   *symcodetime = 0.0;
+
+   return SCIP_OKAY;
+}
+
 /** returns whether two given graphs are identical */
 SCIP_Bool SYMcheckGraphsAreIdentical(
    SCIP*                 scip,               /**< SCIP pointer */