Changeset d59666c in git

Timestamp:

Feb 16, 2009, 5:16:21 PM (15 years ago)

Author:

Martin Monerjan

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

48573c96465cc2e4b9543dbc76760559e4288405

Parents:

416ea2bc9e1b72d15cc10ae59eb6997e0a9e9355

Message:

dd_MatrixCanonicalize - remove redundant rows from ddineq


git-svn-id: file:///usr/local/Singular/svn/trunk@11402 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/gfan.cc (modified) (5 diffs)

kernel/gfan.cc

@@ -2 +2 @@
 Compute the Groebner fan of an ideal
 Author: $Author: monerjan $
-Date: $Date: 2009-02-13 15:17:40 $
-Header: $Header: /exports/cvsroot-2/cvsroot/kernel/gfan.cc,v 1.12 2009-02-13 15:17:40 monerjan Exp $
-Id: $Id: gfan.cc,v 1.12 2009-02-13 15:17:40 monerjan Exp $
+Date: $Date: 2009-02-16 16:16:21 $
+Header: $Header: /exports/cvsroot-2/cvsroot/kernel/gfan.cc,v 1.13 2009-02-16 16:16:21 monerjan Exp $
+Id: $Id: gfan.cc,v 1.13 2009-02-16 16:16:21 monerjan Exp $
 */
 
@@ -11 +11 @@
 //A hack that hopefully will make compiler happy. Workaround only
 //do the same in extra.cc and remove it befor committing!
-//#ifndef HAVE_GFAN
-//#define HAVE_GFAN
-//#endif
+#ifndef HAVE_GFAN
+#define HAVE_GFAN
+#endif
 
 #ifdef HAVE_GFAN
@@ -63 +63 @@
         dd_colrange ddcols;
         dd_rowset ddredrows;            // # of redundant rows in ddineq
+        dd_rowset ddlinset;             // the opposite
+        dd_rowindex ddnewpos;           // all to make dd_Canonicalize happy
         dd_NumberType ddnumb=dd_Real;   //Number type
         dd_ErrorType dderr=dd_NoError;  //
@@ -126 +128 @@
         } //for
 
+        //Maybe add another row to contain the constraints of the standard simplex?
+
         #ifdef gfan_DEBUG
         printf("The inequality matrix is:\n");
@@ -144 +148 @@
 
         //Remove reduntant rows here!
+        dd_MatrixCanonicalize(&ddineq, &ddlinset, &ddredrows, &ddnewpos, &dderr);
+        #ifdef gfan_DEBUG
+        printf("Having removed redundant rows, the inequalities now read:\n");
+        dd_WriteMatrix(stdout,ddineq);
+        #endif
 
-        ddineq->representation=dd_Inequality;           //We want our LP to be Ax>=0
+        //ddineq->representation=dd_Inequality;         //We want our LP to be Ax>=0
 
-        //Clean up but don't delete the return value!
+        //Clean up but don't delete the return value! (Whatever it will turn out to be)
         dd_FreeMatrix(ddineq);
-        //dd_clear(ddrows);
-        //dd_clear(ddcols);
-        //dd_clear(ddredrows);
-        //dd_clear(ddnumb);
-        //dd_clear(dderr);
+        //set_free(ddrows);
+        //set_free(ddcols);
+        set_free(ddredrows);
+        //set_free(ddnumb);
+        //set_free(dderr);
+        free(ddnewpos);
+        //set_free(ddlinset);
         dd_free_global_constants();