source: trunk/Clp/src/unitTest.cpp @ 798

Last change on this file since 798 was 798, checked in by ladanyi, 14 years ago

finished switch to subversion

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 68.9 KB
Line 
1// Copyright (C) 2002, International Business Machines
2// Corporation and others.  All Rights Reserved.
3
4#include "ClpConfig.h"
5#include "CoinPragma.hpp"
6#include <cassert>
7#include <cstdio>
8#include <cmath>
9#include <cfloat>
10#include <string>
11#include <iostream>
12
13#include "CoinMpsIO.hpp"
14#include "CoinPackedMatrix.hpp"
15#include "CoinPackedVector.hpp"
16#include "CoinHelperFunctions.hpp"
17#include "CoinTime.hpp"
18
19#include "ClpFactorization.hpp"
20#include "ClpSimplex.hpp"
21#include "ClpSimplexOther.hpp"
22#include "ClpSimplexNonlinear.hpp"
23#include "ClpInterior.hpp"
24#include "ClpLinearObjective.hpp"
25#include "ClpDualRowSteepest.hpp"
26#include "ClpDualRowDantzig.hpp"
27#include "ClpPrimalColumnSteepest.hpp"
28#include "ClpPrimalColumnDantzig.hpp"
29#include "ClpParameters.hpp"
30#include "ClpNetworkMatrix.hpp"
31#include "ClpPlusMinusOneMatrix.hpp"
32#include "MyMessageHandler.hpp"
33#include "MyEventHandler.hpp"
34
35#include "ClpPresolve.hpp"
36#include "Idiot.hpp"
37
38
39//#############################################################################
40
41#ifdef NDEBUG
42#undef NDEBUG
43#endif
44
45// Function Prototypes. Function definitions is in this file.
46void testingMessage( const char * const msg );
47#if UFL_BARRIER
48static int barrierAvailable=1;
49static std::string nameBarrier="barrier-UFL";
50#elif WSSMP_BARRIER
51static int barrierAvailable=2;
52static std::string nameBarrier="barrier-WSSMP";
53#else
54static int barrierAvailable=0;
55static std::string nameBarrier="barrier-slow";
56#endif
57#define NUMBER_ALGORITHMS 12
58// If you just want a subset then set some to 1
59static int switchOff[NUMBER_ALGORITHMS]={0,0,0,0,0,0,0,0,0,0,0,0};
60// shortName - 0 no , 1 yes
61ClpSolve setupForSolve(int algorithm, std::string & nameAlgorithm,
62                       int shortName)
63{
64  ClpSolve solveOptions;
65  /* algorithms are
66     0 barrier
67     1 dual with volumne crash
68     2,3 dual with and without crash
69     4,5 primal with and without
70     6,7 automatic with and without
71     8,9 primal with idiot 1 and 5
72     10,11 primal with 70, dual with volume
73  */
74  switch (algorithm) {
75  case 0:
76    if (shortName)
77      nameAlgorithm="ba";
78    else
79      nameAlgorithm="nameBarrier";
80    solveOptions.setSolveType(ClpSolve::useBarrier);
81    if (barrierAvailable==1) 
82      solveOptions.setSpecialOption(4,4);
83    else if (barrierAvailable==2) 
84      solveOptions.setSpecialOption(4,2);
85    break;
86  case 1:
87#ifdef COIN_HAS_VOL
88    if (shortName)
89      nameAlgorithm="du-vol-50";
90    else
91      nameAlgorithm="dual-volume-50";
92    solveOptions.setSolveType(ClpSolve::useDual);
93    solveOptions.setSpecialOption(0,2,50); // volume
94#else 
95      solveOptions.setSolveType(ClpSolve::notImplemented);
96#endif
97    break;
98  case 2:
99    if (shortName)
100      nameAlgorithm="du-cr";
101    else
102      nameAlgorithm="dual-crash";
103    solveOptions.setSolveType(ClpSolve::useDual);
104    solveOptions.setSpecialOption(0,1);
105    break;
106  case 3:
107    if (shortName)
108      nameAlgorithm="du";
109    else
110      nameAlgorithm="dual";
111    solveOptions.setSolveType(ClpSolve::useDual);
112    break;
113  case 4:
114    if (shortName)
115      nameAlgorithm="pr-cr";
116    else
117      nameAlgorithm="primal-crash";
118    solveOptions.setSolveType(ClpSolve::usePrimal);
119    solveOptions.setSpecialOption(1,1);
120    break;
121  case 5:
122    if (shortName)
123      nameAlgorithm="pr";
124    else
125      nameAlgorithm="primal";
126    solveOptions.setSolveType(ClpSolve::usePrimal);
127    break;
128  case 6:
129    if (shortName)
130      nameAlgorithm="au-cr";
131    else
132      nameAlgorithm="either-crash";
133    solveOptions.setSolveType(ClpSolve::automatic);
134    solveOptions.setSpecialOption(1,1);
135    break;
136  case 7:
137    if (shortName)
138      nameAlgorithm="au";
139    else
140      nameAlgorithm="either";
141    solveOptions.setSolveType(ClpSolve::automatic);
142    break;
143  case 8:
144    if (shortName)
145      nameAlgorithm="pr-id-1";
146    else
147      nameAlgorithm="primal-idiot-1";
148    solveOptions.setSolveType(ClpSolve::usePrimalorSprint);
149    solveOptions.setSpecialOption(1,2,1); // idiot
150    break;
151  case 9:
152    if (shortName)
153      nameAlgorithm="pr-id-5";
154    else
155      nameAlgorithm="primal-idiot-5";
156    solveOptions.setSolveType(ClpSolve::usePrimalorSprint);
157    solveOptions.setSpecialOption(1,2,5); // idiot
158    break;
159  case 10:
160    if (shortName)
161      nameAlgorithm="pr-id-70";
162    else
163      nameAlgorithm="primal-idiot-70";
164    solveOptions.setSolveType(ClpSolve::usePrimalorSprint);
165    solveOptions.setSpecialOption(1,2,70); // idiot
166    break;
167  case 11:
168#ifdef COIN_HAS_VOL
169    if (shortName)
170      nameAlgorithm="du-vol";
171    else
172      nameAlgorithm="dual-volume";
173    solveOptions.setSolveType(ClpSolve::useDual);
174    solveOptions.setSpecialOption(0,2,3000); // volume
175#else 
176      solveOptions.setSolveType(ClpSolve::notImplemented);
177#endif
178    break;
179  default:
180    abort();
181  }
182  if (shortName) {
183    // can switch off
184    if (switchOff[algorithm])
185      solveOptions.setSolveType(ClpSolve::notImplemented);
186  }
187  return solveOptions;
188}
189static void printSol(ClpSimplex & model) 
190{
191  int numberRows = model.numberRows();
192  int numberColumns = model.numberColumns();
193 
194  double * rowPrimal = model.primalRowSolution();
195  double * rowDual = model.dualRowSolution();
196  double * rowLower = model.rowLower();
197  double * rowUpper = model.rowUpper();
198 
199  int iRow;
200  double objValue = model.getObjValue();
201  printf("Objvalue %g Rows (%d)\n",objValue,numberRows);
202  for (iRow=0;iRow<numberRows;iRow++) {
203    printf("%d primal %g dual %g low %g up %g\n",
204           iRow,rowPrimal[iRow],rowDual[iRow],
205           rowLower[iRow],rowUpper[iRow]);
206  }
207  double * columnPrimal = model.primalColumnSolution();
208  double * columnDual = model.dualColumnSolution();
209  double * columnLower = model.columnLower();
210  double * columnUpper = model.columnUpper();
211  double offset;
212  //const double * gradient = model.objectiveAsObject()->gradient(&model,
213  //                                                       columnPrimal,offset,true,1);
214  const double * gradient = model.objective(columnPrimal,offset);
215  int iColumn;
216  objValue = -offset-model.objectiveOffset();
217  printf("offset %g (%g)\n",offset,model.objectiveOffset());
218  printf("Columns (%d)\n",numberColumns);
219  for (iColumn=0;iColumn<numberColumns;iColumn++) {
220    printf("%d primal %g dual %g low %g up %g\n",
221           iColumn,columnPrimal[iColumn],columnDual[iColumn],
222           columnLower[iColumn],columnUpper[iColumn]);
223    objValue += columnPrimal[iColumn]*gradient[iColumn];
224    if (fabs(columnPrimal[iColumn]*gradient[iColumn])>1.0e-8)
225      printf("obj -> %g gradient %g\n",objValue,gradient[iColumn]);
226  }
227  printf("Computed objective %g\n",objValue);
228}
229//----------------------------------------------------------------
230// unitTest [-mpsDir=V1] [-netlibDir=V2] [-test]
231//
232// where:
233//   -mpsDir: directory containing mps test files
234//       Default value V1="../../Data/Sample"   
235//   -netlibDir: directory containing netlib files
236//       Default value V2="../../Data/Netlib"
237//   -test
238//       If specified, then netlib test set run
239//
240// All parameters are optional.
241//----------------------------------------------------------------
242int mainTest (int argc, const char *argv[],int algorithm,
243              ClpSimplex empty, bool doPresolve, int switchOffValue)
244{
245  int i;
246
247  if (switchOffValue>0) {
248    // switch off some
249    int iTest;
250    for (iTest=0;iTest<NUMBER_ALGORITHMS;iTest++) {
251      int bottom = switchOffValue%10;
252      assert (bottom==0||bottom==1);
253      switchOffValue/= 10;
254      switchOff[iTest]=0;
255    }
256  }
257
258  // define valid parameter keywords
259  std::set<std::string> definedKeyWords;
260  definedKeyWords.insert("-mpsDir");
261  definedKeyWords.insert("-netlibDir");
262  definedKeyWords.insert("-netlib");
263
264  // Create a map of parameter keys and associated data
265  std::map<std::string,std::string> parms;
266  for ( i=1; i<argc; i++ ) {
267    std::string parm(argv[i]);
268    std::string key,value;
269    std::string::size_type  eqPos = parm.find('=');
270
271    // Does parm contain and '='
272    if ( eqPos==std::string::npos ) {
273      //Parm does not contain '='
274      key = parm;
275    }
276    else {
277      key=parm.substr(0,eqPos);
278      value=parm.substr(eqPos+1);
279    }
280
281    // Is specifed key valid?
282    if ( definedKeyWords.find(key) == definedKeyWords.end() ) {
283      // invalid key word.
284      // Write help text
285      std::cerr <<"Undefined parameter \"" <<key <<"\".\n";
286      std::cerr <<"Correct usage: \n";
287      std::cerr <<"  unitTest [-mpsDir=V1] [-netlibDir=V2] [-test[=V3]]\n";
288      std::cerr <<"  where:\n";
289      std::cerr <<"    -mpsDir: directory containing mps test files\n";
290      std::cerr <<"        Default value V1=\"../../Data/Sample\"\n";
291      std::cerr <<"    -netlibDir: directory containing netlib files\n";
292      std::cerr <<"        Default value V2=\"../../Data/Netlib\"\n";
293      std::cerr <<"    -test\n";
294      std::cerr <<"        If specified, then netlib testset run.\n";
295      std::cerr <<"        If V3 then taken as single file\n";
296      return 1;
297    }
298    parms[key]=value;
299  }
300 
301  const char dirsep =  CoinFindDirSeparator();
302  // Set directory containing mps data files.
303  std::string mpsDir;
304  if (parms.find("-mpsDir") != parms.end())
305    mpsDir=parms["-mpsDir"] + dirsep;
306  else 
307    mpsDir = dirsep == '/' ? "../../Data/Sample/" : "..\\..\\Data\\Sample\\";
308 
309  // Set directory containing netlib data files.
310  std::string netlibDir;
311  if (parms.find("-netlibDir") != parms.end())
312    netlibDir=parms["-netlibDir"] + dirsep;
313  else 
314    netlibDir = dirsep == '/' ? "../../Data/Netlib/" : "..\\..\\Data\\Netlib\\";
315  if (!empty.numberRows()) {
316    testingMessage( "Testing ClpSimplex\n" );
317    ClpSimplexUnitTest(mpsDir,netlibDir);
318  }
319  if (parms.find("-netlib") != parms.end()||empty.numberRows())
320  {
321    unsigned int m;
322   
323    // Define test problems:
324    //   mps names,
325    //   maximization or minimization,
326    //   Number of rows and columns in problem, and
327    //   objective function value
328    std::vector<std::string> mpsName;
329    std::vector<bool> min;
330    std::vector<int> nRows;
331    std::vector<int> nCols;
332    std::vector<double> objValue;
333    std::vector<double> objValueTol;
334    // 100 added means no presolve
335    std::vector<int> bestStrategy;
336    if(empty.numberRows()) {
337      std::string alg;
338      for (int iTest=0;iTest<NUMBER_ALGORITHMS;iTest++) {
339        ClpSolve solveOptions=setupForSolve(iTest,alg,0);
340        printf("%d %s ",iTest,alg.c_str());
341        if (switchOff[iTest]) 
342          printf("skipped by user\n");
343        else if(solveOptions.getSolveType()==ClpSolve::notImplemented)
344          printf("skipped as not available\n");
345        else
346          printf("will be tested\n");
347      }
348    }
349    if (!empty.numberRows()) {
350      mpsName.push_back("25fv47");
351      min.push_back(true);
352      nRows.push_back(822);
353      nCols.push_back(1571);
354      objValueTol.push_back(1.E-10);
355      objValue.push_back(5.5018458883E+03);
356      bestStrategy.push_back(0);
357      mpsName.push_back("80bau3b");min.push_back(true);nRows.push_back(2263);nCols.push_back(9799);objValueTol.push_back(1.e-10);objValue.push_back(9.8722419241E+05);bestStrategy.push_back(3);
358      mpsName.push_back("blend");min.push_back(true);nRows.push_back(75);nCols.push_back(83);objValueTol.push_back(1.e-10);objValue.push_back(-3.0812149846e+01);bestStrategy.push_back(3);
359      mpsName.push_back("pilotnov");min.push_back(true);nRows.push_back(976);nCols.push_back(2172);objValueTol.push_back(1.e-10);objValue.push_back(-4.4972761882e+03);bestStrategy.push_back(3);
360      mpsName.push_back("maros-r7");min.push_back(true);nRows.push_back(3137);nCols.push_back(9408);objValueTol.push_back(1.e-10);objValue.push_back(1.4971851665e+06);bestStrategy.push_back(2);
361      mpsName.push_back("pilot");min.push_back(true);nRows.push_back(1442);nCols.push_back(3652);objValueTol.push_back(1.e-5);objValue.push_back(/*-5.5740430007e+02*/-557.48972927292);bestStrategy.push_back(3);
362      mpsName.push_back("pilot4");min.push_back(true);nRows.push_back(411);nCols.push_back(1000);objValueTol.push_back(5.e-5);objValue.push_back(-2.5811392641e+03);bestStrategy.push_back(3);
363      mpsName.push_back("pilot87");min.push_back(true);nRows.push_back(2031);nCols.push_back(4883);objValueTol.push_back(1.e-4);objValue.push_back(3.0171072827e+02);bestStrategy.push_back(0);
364      mpsName.push_back("adlittle");min.push_back(true);nRows.push_back(57);nCols.push_back(97);objValueTol.push_back(1.e-10);objValue.push_back(2.2549496316e+05);bestStrategy.push_back(3);
365      mpsName.push_back("afiro");min.push_back(true);nRows.push_back(28);nCols.push_back(32);objValueTol.push_back(1.e-10);objValue.push_back(-4.6475314286e+02);bestStrategy.push_back(3);
366      mpsName.push_back("agg");min.push_back(true);nRows.push_back(489);nCols.push_back(163);objValueTol.push_back(1.e-10);objValue.push_back(-3.5991767287e+07);bestStrategy.push_back(3);
367      mpsName.push_back("agg2");min.push_back(true);nRows.push_back(517);nCols.push_back(302);objValueTol.push_back(1.e-10);objValue.push_back(-2.0239252356e+07);bestStrategy.push_back(3);
368      mpsName.push_back("agg3");min.push_back(true);nRows.push_back(517);nCols.push_back(302);objValueTol.push_back(1.e-10);objValue.push_back(1.0312115935e+07);bestStrategy.push_back(4);
369      mpsName.push_back("bandm");min.push_back(true);nRows.push_back(306);nCols.push_back(472);objValueTol.push_back(1.e-10);objValue.push_back(-1.5862801845e+02);bestStrategy.push_back(2);
370      mpsName.push_back("beaconfd");min.push_back(true);nRows.push_back(174);nCols.push_back(262);objValueTol.push_back(1.e-10);objValue.push_back(3.3592485807e+04);bestStrategy.push_back(0);
371      mpsName.push_back("bnl1");min.push_back(true);nRows.push_back(644);nCols.push_back(1175);objValueTol.push_back(1.e-10);objValue.push_back(1.9776295615E+03);bestStrategy.push_back(3);
372      mpsName.push_back("bnl2");min.push_back(true);nRows.push_back(2325);nCols.push_back(3489);objValueTol.push_back(1.e-10);objValue.push_back(1.8112365404e+03);bestStrategy.push_back(3);
373      mpsName.push_back("boeing1");min.push_back(true);nRows.push_back(/*351*/352);nCols.push_back(384);objValueTol.push_back(1.e-10);objValue.push_back(-3.3521356751e+02);bestStrategy.push_back(3);
374      mpsName.push_back("boeing2");min.push_back(true);nRows.push_back(167);nCols.push_back(143);objValueTol.push_back(1.e-10);objValue.push_back(-3.1501872802e+02);bestStrategy.push_back(3);
375      mpsName.push_back("bore3d");min.push_back(true);nRows.push_back(234);nCols.push_back(315);objValueTol.push_back(1.e-10);objValue.push_back(1.3730803942e+03);bestStrategy.push_back(3);
376      mpsName.push_back("brandy");min.push_back(true);nRows.push_back(221);nCols.push_back(249);objValueTol.push_back(1.e-10);objValue.push_back(1.5185098965e+03);bestStrategy.push_back(3);
377      mpsName.push_back("capri");min.push_back(true);nRows.push_back(272);nCols.push_back(353);objValueTol.push_back(1.e-10);objValue.push_back(2.6900129138e+03);bestStrategy.push_back(3);
378      mpsName.push_back("cycle");min.push_back(true);nRows.push_back(1904);nCols.push_back(2857);objValueTol.push_back(1.e-9);objValue.push_back(-5.2263930249e+00);bestStrategy.push_back(3);
379      mpsName.push_back("czprob");min.push_back(true);nRows.push_back(930);nCols.push_back(3523);objValueTol.push_back(1.e-10);objValue.push_back(2.1851966989e+06);bestStrategy.push_back(3);
380      mpsName.push_back("d2q06c");min.push_back(true);nRows.push_back(2172);nCols.push_back(5167);objValueTol.push_back(1.e-7);objValue.push_back(122784.21557456);bestStrategy.push_back(0);
381      mpsName.push_back("d6cube");min.push_back(true);nRows.push_back(416);nCols.push_back(6184);objValueTol.push_back(1.e-7);objValue.push_back(3.1549166667e+02);bestStrategy.push_back(3);
382      mpsName.push_back("degen2");min.push_back(true);nRows.push_back(445);nCols.push_back(534);objValueTol.push_back(1.e-10);objValue.push_back(-1.4351780000e+03);bestStrategy.push_back(3);
383      mpsName.push_back("degen3");min.push_back(true);nRows.push_back(1504);nCols.push_back(1818);objValueTol.push_back(1.e-10);objValue.push_back(-9.8729400000e+02);bestStrategy.push_back(2);
384      mpsName.push_back("dfl001");min.push_back(true);nRows.push_back(6072);nCols.push_back(12230);objValueTol.push_back(1.e-5);objValue.push_back(1.1266396047E+07);bestStrategy.push_back(5);
385      mpsName.push_back("e226");min.push_back(true);nRows.push_back(224);nCols.push_back(282);objValueTol.push_back(1.e-10);objValue.push_back(-1.8751929066e+01+7.113);bestStrategy.push_back(3); // The correct answer includes -7.113 term. This is a constant in the objective function. See line 1683 of the mps file.
386      mpsName.push_back("etamacro");min.push_back(true);nRows.push_back(401);nCols.push_back(688);objValueTol.push_back(1.e-6);objValue.push_back(-7.5571521774e+02 );bestStrategy.push_back(3);
387      mpsName.push_back("fffff800");min.push_back(true);nRows.push_back(525);nCols.push_back(854);objValueTol.push_back(1.e-6);objValue.push_back(5.5567961165e+05);bestStrategy.push_back(3);
388      mpsName.push_back("finnis");min.push_back(true);nRows.push_back(498);nCols.push_back(614);objValueTol.push_back(1.e-6);objValue.push_back(1.7279096547e+05);bestStrategy.push_back(3);
389      mpsName.push_back("fit1d");min.push_back(true);nRows.push_back(25);nCols.push_back(1026);objValueTol.push_back(1.e-10);objValue.push_back(-9.1463780924e+03);bestStrategy.push_back(3+100);
390      mpsName.push_back("fit1p");min.push_back(true);nRows.push_back(628);nCols.push_back(1677);objValueTol.push_back(1.e-10);objValue.push_back(9.1463780924e+03);bestStrategy.push_back(5+100);
391      mpsName.push_back("fit2d");min.push_back(true);nRows.push_back(26);nCols.push_back(10500);objValueTol.push_back(1.e-10);objValue.push_back(-6.8464293294e+04);bestStrategy.push_back(3+100);
392      mpsName.push_back("fit2p");min.push_back(true);nRows.push_back(3001);nCols.push_back(13525);objValueTol.push_back(1.e-9);objValue.push_back(6.8464293232e+04);bestStrategy.push_back(5+100);
393      mpsName.push_back("forplan");min.push_back(true);nRows.push_back(162);nCols.push_back(421);objValueTol.push_back(1.e-6);objValue.push_back(-6.6421873953e+02);bestStrategy.push_back(3);
394      mpsName.push_back("ganges");min.push_back(true);nRows.push_back(1310);nCols.push_back(1681);objValueTol.push_back(1.e-5);objValue.push_back(-1.0958636356e+05);bestStrategy.push_back(3);
395      mpsName.push_back("gfrd-pnc");min.push_back(true);nRows.push_back(617);nCols.push_back(1092);objValueTol.push_back(1.e-10);objValue.push_back(6.9022359995e+06);bestStrategy.push_back(3);
396      mpsName.push_back("greenbea");min.push_back(true);nRows.push_back(2393);nCols.push_back(5405);objValueTol.push_back(1.e-10);objValue.push_back(/*-7.2462405908e+07*/-72555248.129846);bestStrategy.push_back(3);
397      mpsName.push_back("greenbeb");min.push_back(true);nRows.push_back(2393);nCols.push_back(5405);objValueTol.push_back(1.e-10);objValue.push_back(/*-4.3021476065e+06*/-4302260.2612066);bestStrategy.push_back(3);
398      mpsName.push_back("grow15");min.push_back(true);nRows.push_back(301);nCols.push_back(645);objValueTol.push_back(1.e-10);objValue.push_back(-1.0687094129e+08);bestStrategy.push_back(4+100);
399      mpsName.push_back("grow22");min.push_back(true);nRows.push_back(441);nCols.push_back(946);objValueTol.push_back(1.e-10);objValue.push_back(-1.6083433648e+08);bestStrategy.push_back(4+100);
400      mpsName.push_back("grow7");min.push_back(true);nRows.push_back(141);nCols.push_back(301);objValueTol.push_back(1.e-10);objValue.push_back(-4.7787811815e+07);bestStrategy.push_back(4+100);
401      mpsName.push_back("israel");min.push_back(true);nRows.push_back(175);nCols.push_back(142);objValueTol.push_back(1.e-10);objValue.push_back(-8.9664482186e+05);bestStrategy.push_back(2);
402      mpsName.push_back("kb2");min.push_back(true);nRows.push_back(44);nCols.push_back(41);objValueTol.push_back(1.e-10);objValue.push_back(-1.7499001299e+03);bestStrategy.push_back(3);
403      mpsName.push_back("lotfi");min.push_back(true);nRows.push_back(154);nCols.push_back(308);objValueTol.push_back(1.e-10);objValue.push_back(-2.5264706062e+01);bestStrategy.push_back(3);
404      mpsName.push_back("maros");min.push_back(true);nRows.push_back(847);nCols.push_back(1443);objValueTol.push_back(1.e-10);objValue.push_back(-5.8063743701e+04);bestStrategy.push_back(3);
405      mpsName.push_back("modszk1");min.push_back(true);nRows.push_back(688);nCols.push_back(1620);objValueTol.push_back(1.e-10);objValue.push_back(3.2061972906e+02);bestStrategy.push_back(3);
406      mpsName.push_back("nesm");min.push_back(true);nRows.push_back(663);nCols.push_back(2923);objValueTol.push_back(1.e-5);objValue.push_back(1.4076073035e+07);bestStrategy.push_back(2);
407      mpsName.push_back("perold");min.push_back(true);nRows.push_back(626);nCols.push_back(1376);objValueTol.push_back(1.e-6);objValue.push_back(-9.3807580773e+03);bestStrategy.push_back(3);
408      //mpsName.push_back("qap12");min.push_back(true);nRows.push_back(3193);nCols.push_back(8856);objValueTol.push_back(1.e-6);objValue.push_back(5.2289435056e+02);bestStrategy.push_back(3);
409      //mpsName.push_back("qap15");min.push_back(true);nRows.push_back(6331);nCols.push_back(22275);objValueTol.push_back(1.e-10);objValue.push_back(1.0409940410e+03);bestStrategy.push_back(3);
410      mpsName.push_back("recipe");min.push_back(true);nRows.push_back(92);nCols.push_back(180);objValueTol.push_back(1.e-10);objValue.push_back(-2.6661600000e+02);bestStrategy.push_back(3);
411      mpsName.push_back("sc105");min.push_back(true);nRows.push_back(106);nCols.push_back(103);objValueTol.push_back(1.e-10);objValue.push_back(-5.2202061212e+01);bestStrategy.push_back(3);
412      mpsName.push_back("sc205");min.push_back(true);nRows.push_back(206);nCols.push_back(203);objValueTol.push_back(1.e-10);objValue.push_back(-5.2202061212e+01);bestStrategy.push_back(3);
413      mpsName.push_back("sc50a");min.push_back(true);nRows.push_back(51);nCols.push_back(48);objValueTol.push_back(1.e-10);objValue.push_back(-6.4575077059e+01);bestStrategy.push_back(3);
414      mpsName.push_back("sc50b");min.push_back(true);nRows.push_back(51);nCols.push_back(48);objValueTol.push_back(1.e-10);objValue.push_back(-7.0000000000e+01);bestStrategy.push_back(3);
415      mpsName.push_back("scagr25");min.push_back(true);nRows.push_back(472);nCols.push_back(500);objValueTol.push_back(1.e-10);objValue.push_back(-1.4753433061e+07);bestStrategy.push_back(3);
416      mpsName.push_back("scagr7");min.push_back(true);nRows.push_back(130);nCols.push_back(140);objValueTol.push_back(1.e-6);objValue.push_back(-2.3313892548e+06);bestStrategy.push_back(3);
417      mpsName.push_back("scfxm1");min.push_back(true);nRows.push_back(331);nCols.push_back(457);objValueTol.push_back(1.e-10);objValue.push_back(1.8416759028e+04);bestStrategy.push_back(3);
418      mpsName.push_back("scfxm2");min.push_back(true);nRows.push_back(661);nCols.push_back(914);objValueTol.push_back(1.e-10);objValue.push_back(3.6660261565e+04);bestStrategy.push_back(3);
419      mpsName.push_back("scfxm3");min.push_back(true);nRows.push_back(991);nCols.push_back(1371);objValueTol.push_back(1.e-10);objValue.push_back(5.4901254550e+04);bestStrategy.push_back(3);
420      mpsName.push_back("scorpion");min.push_back(true);nRows.push_back(389);nCols.push_back(358);objValueTol.push_back(1.e-10);objValue.push_back(1.8781248227e+03);bestStrategy.push_back(3);
421      mpsName.push_back("scrs8");min.push_back(true);nRows.push_back(491);nCols.push_back(1169);objValueTol.push_back(1.e-5);objValue.push_back(9.0429998619e+02);bestStrategy.push_back(2);
422      mpsName.push_back("scsd1");min.push_back(true);nRows.push_back(78);nCols.push_back(760);objValueTol.push_back(1.e-10);objValue.push_back(8.6666666743e+00);bestStrategy.push_back(3+100);
423      mpsName.push_back("scsd6");min.push_back(true);nRows.push_back(148);nCols.push_back(1350);objValueTol.push_back(1.e-10);objValue.push_back(5.0500000078e+01);bestStrategy.push_back(3+100);
424      mpsName.push_back("scsd8");min.push_back(true);nRows.push_back(398);nCols.push_back(2750);objValueTol.push_back(1.e-10);objValue.push_back(9.0499999993e+02);bestStrategy.push_back(1+100);
425      mpsName.push_back("sctap1");min.push_back(true);nRows.push_back(301);nCols.push_back(480);objValueTol.push_back(1.e-10);objValue.push_back(1.4122500000e+03);bestStrategy.push_back(3);
426      mpsName.push_back("sctap2");min.push_back(true);nRows.push_back(1091);nCols.push_back(1880);objValueTol.push_back(1.e-10);objValue.push_back(1.7248071429e+03);bestStrategy.push_back(3);
427      mpsName.push_back("sctap3");min.push_back(true);nRows.push_back(1481);nCols.push_back(2480);objValueTol.push_back(1.e-10);objValue.push_back(1.4240000000e+03);bestStrategy.push_back(3);
428      mpsName.push_back("seba");min.push_back(true);nRows.push_back(516);nCols.push_back(1028);objValueTol.push_back(1.e-10);objValue.push_back(1.5711600000e+04);bestStrategy.push_back(3);
429      mpsName.push_back("share1b");min.push_back(true);nRows.push_back(118);nCols.push_back(225);objValueTol.push_back(1.e-10);objValue.push_back(-7.6589318579e+04);bestStrategy.push_back(3);
430      mpsName.push_back("share2b");min.push_back(true);nRows.push_back(97);nCols.push_back(79);objValueTol.push_back(1.e-10);objValue.push_back(-4.1573224074e+02);bestStrategy.push_back(3);
431      mpsName.push_back("shell");min.push_back(true);nRows.push_back(537);nCols.push_back(1775);objValueTol.push_back(1.e-10);objValue.push_back(1.2088253460e+09);bestStrategy.push_back(3);
432      mpsName.push_back("ship04l");min.push_back(true);nRows.push_back(403);nCols.push_back(2118);objValueTol.push_back(1.e-10);objValue.push_back(1.7933245380e+06);bestStrategy.push_back(3);
433      mpsName.push_back("ship04s");min.push_back(true);nRows.push_back(403);nCols.push_back(1458);objValueTol.push_back(1.e-10);objValue.push_back(1.7987147004e+06);bestStrategy.push_back(3);
434      mpsName.push_back("ship08l");min.push_back(true);nRows.push_back(779);nCols.push_back(4283);objValueTol.push_back(1.e-10);objValue.push_back(1.9090552114e+06);bestStrategy.push_back(3);
435      mpsName.push_back("ship08s");min.push_back(true);nRows.push_back(779);nCols.push_back(2387);objValueTol.push_back(1.e-10);objValue.push_back(1.9200982105e+06);bestStrategy.push_back(2);
436      mpsName.push_back("ship12l");min.push_back(true);nRows.push_back(1152);nCols.push_back(5427);objValueTol.push_back(1.e-10);objValue.push_back(1.4701879193e+06);bestStrategy.push_back(3);
437      mpsName.push_back("ship12s");min.push_back(true);nRows.push_back(1152);nCols.push_back(2763);objValueTol.push_back(1.e-10);objValue.push_back(1.4892361344e+06);bestStrategy.push_back(2);
438      mpsName.push_back("sierra");min.push_back(true);nRows.push_back(1228);nCols.push_back(2036);objValueTol.push_back(1.e-10);objValue.push_back(1.5394362184e+07);bestStrategy.push_back(3);
439      mpsName.push_back("stair");min.push_back(true);nRows.push_back(357);nCols.push_back(467);objValueTol.push_back(1.e-10);objValue.push_back(-2.5126695119e+02);bestStrategy.push_back(3);
440      mpsName.push_back("standata");min.push_back(true);nRows.push_back(360);nCols.push_back(1075);objValueTol.push_back(1.e-10);objValue.push_back(1.2576995000e+03);bestStrategy.push_back(3);
441      //mpsName.push_back("standgub");min.push_back(true);nRows.push_back(362);nCols.push_back(1184);objValueTol.push_back(1.e-10);objValue.push_back(1257.6995); bestStrategy.push_back(3);
442      mpsName.push_back("standmps");min.push_back(true);nRows.push_back(468);nCols.push_back(1075);objValueTol.push_back(1.e-10);objValue.push_back(1.4060175000E+03); bestStrategy.push_back(3);
443      mpsName.push_back("stocfor1");min.push_back(true);nRows.push_back(118);nCols.push_back(111);objValueTol.push_back(1.e-10);objValue.push_back(-4.1131976219E+04);bestStrategy.push_back(3);
444      mpsName.push_back("stocfor2");min.push_back(true);nRows.push_back(2158);nCols.push_back(2031);objValueTol.push_back(1.e-10);objValue.push_back(-3.9024408538e+04);bestStrategy.push_back(3);
445      //mpsName.push_back("stocfor3");min.push_back(true);nRows.push_back(16676);nCols.push_back(15695);objValueTol.push_back(1.e-10);objValue.push_back(-3.9976661576e+04);bestStrategy.push_back(3);
446      //mpsName.push_back("truss");min.push_back(true);nRows.push_back(1001);nCols.push_back(8806);objValueTol.push_back(1.e-10);objValue.push_back(4.5881584719e+05);bestStrategy.push_back(3);
447      mpsName.push_back("tuff");min.push_back(true);nRows.push_back(334);nCols.push_back(587);objValueTol.push_back(1.e-10);objValue.push_back(2.9214776509e-01);bestStrategy.push_back(3);
448      mpsName.push_back("vtpbase");min.push_back(true);nRows.push_back(199);nCols.push_back(203);objValueTol.push_back(1.e-10);objValue.push_back(1.2983146246e+05);bestStrategy.push_back(3);
449      mpsName.push_back("wood1p");min.push_back(true);nRows.push_back(245);nCols.push_back(2594);objValueTol.push_back(5.e-5);objValue.push_back(1.4429024116e+00);bestStrategy.push_back(3);
450      mpsName.push_back("woodw");min.push_back(true);nRows.push_back(1099);nCols.push_back(8405);objValueTol.push_back(1.e-10);objValue.push_back(1.3044763331E+00);bestStrategy.push_back(3);
451    } else {
452      // Just testing one
453      mpsName.push_back(empty.problemName());min.push_back(true);nRows.push_back(-1);
454      nCols.push_back(-1);objValueTol.push_back(1.e-10);
455      objValue.push_back(0.0);bestStrategy.push_back(0);
456      int iTest;
457      std::string alg;
458      for (iTest=0;iTest<NUMBER_ALGORITHMS;iTest++) {
459        ClpSolve solveOptions=setupForSolve(iTest,alg,0);
460        printf("%d %s ",iTest,alg.c_str());
461        if (switchOff[iTest]) 
462          printf("skipped by user\n");
463        else if(solveOptions.getSolveType()==ClpSolve::notImplemented)
464          printf("skipped as not available\n");
465        else
466          printf("will be tested\n");
467      }
468    }
469
470    double timeTaken =0.0;
471    if( !barrierAvailable)
472      switchOff[0]=1;
473  // Loop once for each Mps File
474    for (m=0; m<mpsName.size(); m++ ) {
475      std::cerr <<"  processing mps file: " <<mpsName[m] 
476                <<" (" <<m+1 <<" out of " <<mpsName.size() <<")" <<std::endl;
477
478      ClpSimplex solutionBase=empty;
479      std::string fn = netlibDir+mpsName[m];
480      if (!empty.numberRows()||algorithm<6) {
481        // Read data mps file,
482        CoinMpsIO mps;
483        mps.readMps(fn.c_str(),"mps");
484        solutionBase.loadProblem(*mps.getMatrixByCol(),mps.getColLower(),
485                                 mps.getColUpper(),
486                                 mps.getObjCoefficients(),
487                                 mps.getRowLower(),mps.getRowUpper());
488       
489        solutionBase.setDblParam(ClpObjOffset,mps.objectiveOffset());
490      } 
491     
492      // Runs through strategies
493      if (algorithm==6||algorithm==7) {
494        // algorithms tested are at top of file
495        double testTime[NUMBER_ALGORITHMS];
496        std::string alg[NUMBER_ALGORITHMS];
497        int iTest;
498        for (iTest=0;iTest<NUMBER_ALGORITHMS;iTest++) {
499          ClpSolve solveOptions=setupForSolve(iTest,alg[iTest],1);
500          if (solveOptions.getSolveType()!=ClpSolve::notImplemented) {
501            double time1 = CoinCpuTime();
502            ClpSimplex solution=solutionBase;
503            if (solution.maximumSeconds()<0.0)
504              solution.setMaximumSeconds(120.0);
505            solution.initialSolve(solveOptions);
506            double time2 = CoinCpuTime()-time1;
507            testTime[iTest]=time2;
508            printf("Took %g seconds - status %d\n",time2,solution.problemStatus());
509            if (solution.problemStatus()) 
510              testTime[iTest]=1.0e20;
511          } else {
512            testTime[iTest]=1.0e30;
513          }
514        }
515        int iBest=-1;
516        double dBest=1.0e10;
517        printf("%s",fn.c_str());
518        for (iTest=0;iTest<NUMBER_ALGORITHMS;iTest++) {
519          if (testTime[iTest]<1.0e30) {
520            printf(" %s %g",
521                   alg[iTest].c_str(),testTime[iTest]);
522            if (testTime[iTest]<dBest) {
523              dBest=testTime[iTest];
524              iBest=iTest;
525            }
526          }
527        }
528        printf("\n");
529        if (iBest>=0)
530          printf("Best strategy for %s is %s (%d) which takes %g seconds\n",
531                 fn.c_str(),alg[iBest].c_str(),iBest,testTime[iBest]);
532        else
533          printf("No strategy finished in time limit\n");
534        continue;
535      }
536      double time1 = CoinCpuTime();
537      ClpSimplex solution=solutionBase;
538#if 0
539      solution.setOptimizationDirection(-1);
540      {
541        int j;
542        double * obj = solution.objective();
543        int n=solution.numberColumns();
544        for (j=0;j<n;j++)
545          obj[j] *= -1.0;
546      }
547#endif
548      ClpSolve::SolveType method;
549      ClpSolve::PresolveType presolveType;
550      ClpSolve solveOptions;
551      if (doPresolve)
552        presolveType=ClpSolve::presolveOn;
553      else
554        presolveType=ClpSolve::presolveOff;
555      solveOptions.setPresolveType(presolveType,5);
556      std::string nameAlgorithm;
557      if (algorithm!=5) {
558        if (algorithm==0) {
559          method=ClpSolve::useDual;
560          nameAlgorithm="dual";
561        } else if (algorithm==1) {
562          method=ClpSolve::usePrimalorSprint;
563          nameAlgorithm="primal";
564        } else if (algorithm==3) {
565          method=ClpSolve::automatic;
566          nameAlgorithm="either";
567        } else {
568          nameAlgorithm="barrier-slow";
569#ifdef UFL_BARRIER
570          solveOptions.setSpecialOption(4,4);
571          nameAlgorithm="barrier-UFL";
572#endif
573#ifdef WSSMP_BARRIER
574          solveOptions.setSpecialOption(4,2);
575          nameAlgorithm="barrier-WSSMP";
576#endif
577          method = ClpSolve::useBarrier;
578        }
579        solveOptions.setSolveType(method);
580      } else {
581        int iAlg = bestStrategy[m];
582        int presolveOff=iAlg/100;
583        iAlg=iAlg % 100;
584        if( !barrierAvailable&&iAlg==0)
585          if (nRows[m]!=2172)
586            iAlg = 5; // try primal
587          else
588            iAlg=3; // d2q06c
589        solveOptions=setupForSolve(iAlg,nameAlgorithm,0);
590        if (presolveOff)
591          solveOptions.setPresolveType(ClpSolve::presolveOff);
592      }
593      solution.initialSolve(solveOptions);
594      double time2 = CoinCpuTime()-time1;
595      timeTaken += time2;
596      printf("%s took %g seconds using algorithm %s\n",fn.c_str(),time2,nameAlgorithm.c_str());
597      // Test objective solution value
598      {
599        double soln = solution.objectiveValue();
600        CoinRelFltEq eq(objValueTol[m]);
601        std::cerr <<soln <<",  " <<objValue[m] <<" diff "<<
602          soln-objValue[m]<<std::endl;
603        if(!eq(soln,objValue[m]))
604          printf("** difference fails\n");
605      }
606    }
607    printf("Total time %g seconds\n",timeTaken);
608  }
609  else {
610    testingMessage( "***Skipped Testing on netlib    ***\n" );
611    testingMessage( "***use -netlib to test class***\n" );
612  }
613 
614  testingMessage( "All tests completed successfully\n" );
615  return 0;
616}
617
618 
619// Display message on stdout and stderr
620void testingMessage( const char * const msg )
621{
622  std::cerr <<msg;
623  //cout <<endl <<"*****************************************"
624  //     <<endl <<msg <<endl;
625}
626
627//--------------------------------------------------------------------------
628// test factorization methods and simplex method and simple barrier
629void
630ClpSimplexUnitTest(const std::string & mpsDir,
631                   const std::string & netlibDir)
632{
633 
634  CoinRelFltEq eq(0.000001);
635
636  {
637    ClpSimplex solution;
638 
639    // matrix data
640    //deliberate hiccup of 2 between 0 and 1
641    CoinBigIndex start[5]={0,4,7,8,9};
642    int length[5]={2,3,1,1,1};
643    int rows[11]={0,2,-1,-1,0,1,2,0,1,2};
644    double elements[11]={7.0,2.0,1.0e10,1.0e10,-2.0,1.0,-2.0,1,1,1};
645    CoinPackedMatrix matrix(true,3,5,8,elements,rows,start,length);
646   
647    // rim data
648    double objective[7]={-4.0,1.0,0.0,0.0,0.0,0.0,0.0};
649    double rowLower[5]={14.0,3.0,3.0,1.0e10,1.0e10};
650    double rowUpper[5]={14.0,3.0,3.0,-1.0e10,-1.0e10};
651    double colLower[7]={0.0,0.0,0.0,0.0,0.0,0.0,0.0};
652    double colUpper[7]={100.0,100.0,100.0,100.0,100.0,100.0,100.0};
653   
654    // basis 1
655    int rowBasis1[3]={-1,-1,-1};
656    int colBasis1[5]={1,1,-1,-1,1};
657    solution.loadProblem(matrix,colLower,colUpper,objective,
658                         rowLower,rowUpper);
659    int i;
660    solution.createStatus();
661    for (i=0;i<3;i++) {
662      if (rowBasis1[i]<0) {
663        solution.setRowStatus(i,ClpSimplex::atLowerBound);
664      } else {
665        solution.setRowStatus(i,ClpSimplex::basic);
666      }
667    }
668    for (i=0;i<5;i++) {
669      if (colBasis1[i]<0) {
670        solution.setColumnStatus(i,ClpSimplex::atLowerBound);
671      } else {
672        solution.setColumnStatus(i,ClpSimplex::basic);
673      }
674    }
675    solution.setLogLevel(3+4+8+16+32);
676    solution.primal();
677    for (i=0;i<3;i++) {
678      if (rowBasis1[i]<0) {
679        solution.setRowStatus(i,ClpSimplex::atLowerBound);
680      } else {
681        solution.setRowStatus(i,ClpSimplex::basic);
682      }
683    }
684    for (i=0;i<5;i++) {
685      if (colBasis1[i]<0) {
686        solution.setColumnStatus(i,ClpSimplex::atLowerBound);
687      } else {
688        solution.setColumnStatus(i,ClpSimplex::basic);
689      }
690    }
691    // intricate stuff does not work with scaling
692    solution.scaling(0);
693    int returnCode = solution.factorize ( );
694    assert(!returnCode);
695    const double * colsol = solution.primalColumnSolution();
696    const double * rowsol = solution.primalRowSolution();
697    solution.getSolution(rowsol,colsol);
698    double colsol1[5]={20.0/7.0,3.0,0.0,0.0,23.0/7.0};
699    for (i=0;i<5;i++) {
700      assert(eq(colsol[i],colsol1[i]));
701    }
702    // now feed in again without actually doing factorization
703    ClpFactorization factorization2 = *solution.factorization();
704    ClpSimplex solution2 = solution;
705    solution2.setFactorization(factorization2);
706    solution2.createStatus();
707    for (i=0;i<3;i++) {
708      if (rowBasis1[i]<0) {
709        solution2.setRowStatus(i,ClpSimplex::atLowerBound);
710      } else {
711        solution2.setRowStatus(i,ClpSimplex::basic);
712      }
713    }
714    for (i=0;i<5;i++) {
715      if (colBasis1[i]<0) {
716        solution2.setColumnStatus(i,ClpSimplex::atLowerBound);
717      } else {
718        solution2.setColumnStatus(i,ClpSimplex::basic);
719      }
720    }
721    // intricate stuff does not work with scaling
722    solution2.scaling(0);
723    solution2.getSolution(rowsol,colsol);
724    colsol = solution2.primalColumnSolution();
725    rowsol = solution2.primalRowSolution();
726    for (i=0;i<5;i++) {
727      assert(eq(colsol[i],colsol1[i]));
728    }
729    solution2.setDualBound(0.1);
730    solution2.dual();
731    objective[2]=-1.0;
732    objective[3]=-0.5;
733    objective[4]=10.0;
734    solution.dual();
735    for (i=0;i<3;i++) {
736      rowLower[i]=-1.0e20;
737      colUpper[i+2]=0.0;
738    }
739    solution.setLogLevel(3);
740    solution.dual();
741    double rowObjective[]={1.0,0.5,-10.0};
742    solution.loadProblem(matrix,colLower,colUpper,objective,
743                         rowLower,rowUpper,rowObjective);
744    solution.dual();
745    solution.loadProblem(matrix,colLower,colUpper,objective,
746                         rowLower,rowUpper,rowObjective);
747    solution.primal();
748  }
749#ifndef COIN_NO_CLP_MESSAGE
750  {   
751    CoinMpsIO m;
752    std::string fn = mpsDir+"exmip1";
753    m.readMps(fn.c_str(),"mps");
754    ClpSimplex solution;
755    solution.loadProblem(*m.getMatrixByCol(),m.getColLower(),m.getColUpper(),
756                         m.getObjCoefficients(),
757                         m.getRowLower(),m.getRowUpper());
758    solution.dual();
759    // Test event handling
760    MyEventHandler handler;
761    solution.passInEventHandler(&handler);
762    int numberRows=solution.numberRows();
763    // make sure values pass has something to do
764    for (int i=0;i<numberRows;i++)
765      solution.setRowStatus(i,ClpSimplex::basic);
766    solution.primal(1);
767    assert (solution.secondaryStatus()==102); // Came out at end of pass
768  }
769  // Test Message handler
770  {   
771    CoinMpsIO m;
772    std::string fn = mpsDir+"exmip1";
773    //fn = "Test/subGams4";
774    m.readMps(fn.c_str(),"mps");
775    ClpSimplex model;
776    model.loadProblem(*m.getMatrixByCol(),m.getColLower(),m.getColUpper(),
777                         m.getObjCoefficients(),
778                         m.getRowLower(),m.getRowUpper());
779    // Message handler
780    MyMessageHandler messageHandler(&model);
781    std::cout<<"Testing derived message handler"<<std::endl;
782    model.passInMessageHandler(&messageHandler);
783    model.messagesPointer()->setDetailMessage(1,102);
784    model.setFactorizationFrequency(10);
785    model.primal();
786
787    // Write saved solutions
788    int nc = model.getNumCols();
789    int s; 
790    std::deque<StdVectorDouble> fep = messageHandler.getFeasibleExtremePoints();
791    int numSavedSolutions = fep.size();
792    for ( s=0; s<numSavedSolutions; ++s ) {
793      const StdVectorDouble & solnVec = fep[s];
794      for ( int c=0; c<nc; ++c ) {
795        if (fabs(solnVec[c])>1.0e-8)
796          std::cout <<"Saved Solution: " <<s <<" ColNum: " <<c <<" Value: " <<solnVec[c] <<std::endl;
797      }
798    }
799    // Solve again without scaling
800    // and maximize then minimize
801    messageHandler.clearFeasibleExtremePoints();
802    model.scaling(0);
803    model.setOptimizationDirection(-1);
804    model.primal();
805    model.setOptimizationDirection(1);
806    model.primal();
807    fep = messageHandler.getFeasibleExtremePoints();
808    numSavedSolutions = fep.size();
809    for ( s=0; s<numSavedSolutions; ++s ) {
810      const StdVectorDouble & solnVec = fep[s];
811      for ( int c=0; c<nc; ++c ) {
812        if (fabs(solnVec[c])>1.0e-8)
813          std::cout <<"Saved Solution: " <<s <<" ColNum: " <<c <<" Value: " <<solnVec[c] <<std::endl;
814      }
815    }
816  }
817#endif
818  // Test dual ranging
819  {   
820    CoinMpsIO m;
821    std::string fn = mpsDir+"exmip1";
822    m.readMps(fn.c_str(),"mps");
823    ClpSimplex model;
824    model.loadProblem(*m.getMatrixByCol(),m.getColLower(),m.getColUpper(),
825                         m.getObjCoefficients(),
826                         m.getRowLower(),m.getRowUpper());
827    model.primal();
828    int which[13] = {0,1,2,3,4,5,6,7,8,9,10,11,12};
829    double costIncrease[13];
830    int sequenceIncrease[13];
831    double costDecrease[13];
832    int sequenceDecrease[13];
833    // ranging
834    model.dualRanging(13,which,costIncrease,sequenceIncrease,
835                      costDecrease,sequenceDecrease);
836    int i;
837    for ( i=0;i<13;i++)
838      printf("%d increase %g %d, decrease %g %d\n",
839             i,costIncrease[i],sequenceIncrease[i],
840             costDecrease[i],sequenceDecrease[i]);
841    assert (fabs(costDecrease[3])<1.0e-4);
842    assert (fabs(costIncrease[7]-1.0)<1.0e-4);
843    model.setOptimizationDirection(-1);
844    {
845      int j;
846      double * obj = model.objective();
847      int n=model.numberColumns();
848      for (j=0;j<n;j++) 
849        obj[j] *= -1.0;
850    }
851    double costIncrease2[13];
852    int sequenceIncrease2[13];
853    double costDecrease2[13];
854    int sequenceDecrease2[13];
855    // ranging
856    model.dualRanging(13,which,costIncrease2,sequenceIncrease2,
857                      costDecrease2,sequenceDecrease2);
858    for (i=0;i<13;i++) {
859      assert (fabs(costIncrease[i]-costDecrease2[i])<1.0e-6);
860      assert (fabs(costDecrease[i]-costIncrease2[i])<1.0e-6);
861      assert (sequenceIncrease[i]==sequenceDecrease2[i]);
862      assert (sequenceDecrease[i]==sequenceIncrease2[i]);
863    }
864    // Now delete all rows and see what happens
865    model.deleteRows(model.numberRows(),which);
866    model.primal();
867    // ranging
868    if (!model.dualRanging(8,which,costIncrease,sequenceIncrease,
869                           costDecrease,sequenceDecrease)) {
870      for (i=0;i<8;i++) {
871        printf("%d increase %g %d, decrease %g %d\n",
872               i,costIncrease[i],sequenceIncrease[i],
873               costDecrease[i],sequenceDecrease[i]);
874      }
875    }
876  }
877  // Test primal ranging
878  {   
879    CoinMpsIO m;
880    std::string fn = mpsDir+"exmip1";
881    m.readMps(fn.c_str(),"mps");
882    ClpSimplex model;
883    model.loadProblem(*m.getMatrixByCol(),m.getColLower(),m.getColUpper(),
884                         m.getObjCoefficients(),
885                         m.getRowLower(),m.getRowUpper());
886    model.primal();
887    int which[13] = {0,1,2,3,4,5,6,7,8,9,10,11,12};
888    double valueIncrease[13];
889    int sequenceIncrease[13];
890    double valueDecrease[13];
891    int sequenceDecrease[13];
892    // ranging
893    model.primalRanging(13,which,valueIncrease,sequenceIncrease,
894                      valueDecrease,sequenceDecrease);
895    int i;
896    for ( i=0;i<13;i++)
897      printf("%d increase %g %d, decrease %g %d\n",
898             i,valueIncrease[i],sequenceIncrease[i],
899             valueDecrease[i],sequenceDecrease[i]);
900    assert (fabs(valueDecrease[3]-0.642857)<1.0e-4);
901#if 0
902    // out until I find optimization bug
903    assert (fabs(valueDecrease[8]-2.95113)<1.0e-4);
904#if 0
905    // out until I find optimization bug
906    // Test parametrics
907    ClpSimplexOther * model2 = (ClpSimplexOther *) (&model);
908    double rhs[]={ 1.0,2.0,3.0,4.0,5.0};
909    double endingTheta=1.0;
910    model2->scaling(0);
911#endif
912    model2->setLogLevel(63);
913    model2->parametrics(0.0,endingTheta,0.1,
914                        NULL,NULL,rhs,rhs,NULL);
915#endif
916  }
917  // Test binv etc
918  {   
919    /*
920       Wolsey : Page 130
921       max 4x1 -  x2
922       7x1 - 2x2    <= 14
923       x2    <= 3
924       2x1 - 2x2    <= 3
925       x1 in Z+, x2 >= 0
926
927       note slacks are -1 in Clp so signs may be different
928    */
929   
930    int n_cols = 2;
931    int n_rows = 3;
932   
933    double obj[2] = {-4.0, 1.0};
934    double collb[2] = {0.0, 0.0};
935    double colub[2] = {COIN_DBL_MAX, COIN_DBL_MAX};
936    double rowlb[3] = {-COIN_DBL_MAX, -COIN_DBL_MAX, -COIN_DBL_MAX};
937    double rowub[3] = {14.0, 3.0, 3.0};
938   
939    int rowIndices[5] =  {0,     2,    0,    1,    2};
940    int colIndices[5] =  {0,     0,    1,    1,    1};
941    double elements[5] = {7.0, 2.0, -2.0,  1.0, -2.0};
942    CoinPackedMatrix M(true, rowIndices, colIndices, elements, 5);
943
944    ClpSimplex model;
945    model.loadProblem(M, collb, colub, obj, rowlb, rowub);
946    model.dual(0,1); // keep factorization
947   
948    //check that the tableau matches wolsey (B-1 A)
949    // slacks in second part of binvA
950    double * binvA = (double*) malloc((n_cols+n_rows) * sizeof(double));
951   
952    printf("B-1 A by row\n");
953    int i;
954    for( i = 0; i < n_rows; i++){
955      model.getBInvARow(i, binvA,binvA+n_cols);
956      printf("row: %d -> ",i);
957      for(int j=0; j < n_cols+n_rows; j++){
958        printf("%g, ", binvA[j]);
959      }
960      printf("\n");
961    }
962    // See if can re-use factorization AND arrays
963    model.primal(0,3+4); // keep factorization
964    // And do by column
965    printf("B-1 A by column\n");
966    for( i = 0; i < n_rows+n_cols; i++){
967      model.getBInvACol(i, binvA);
968      printf("column: %d -> ",i);
969      for(int j=0; j < n_rows; j++){
970        printf("%g, ", binvA[j]);
971      }
972      printf("\n");
973    }
974    free(binvA);
975    model.setColUpper(1,2.0);
976    model.dual(0,2+4); // use factorization and arrays
977    model.dual(0,2); // hopefully will not use factorization
978    model.primal(0,3+4); // keep factorization
979    // but say basis has changed
980    model.setWhatsChanged(model.whatsChanged()&(~512));
981    model.dual(0,2); // hopefully will not use factorization
982  }
983  // test steepest edge
984  {   
985    CoinMpsIO m;
986    std::string fn = netlibDir+"finnis";
987    int returnCode = m.readMps(fn.c_str(),"mps");
988    if (returnCode) {
989      // probable cause is that gz not there
990      fprintf(stderr,"Unable to open finnis.mps in COIN/Mps/Netlib!\n");
991      fprintf(stderr,"Most probable cause is finnis.mps is gzipped i.e. finnis.mps.gz and libz has not been activated\n");
992      fprintf(stderr,"Either gunzip files or edit Makefiles/Makefile.location to get libz\n");
993      exit(999);
994    }
995    ClpModel model;
996    model.loadProblem(*m.getMatrixByCol(),m.getColLower(),
997                    m.getColUpper(),
998                    m.getObjCoefficients(),
999                    m.getRowLower(),m.getRowUpper());
1000    ClpSimplex solution(model);
1001
1002    solution.scaling(1); 
1003    solution.setDualBound(1.0e8);
1004    //solution.factorization()->maximumPivots(1);
1005    //solution.setLogLevel(3);
1006    solution.setDualTolerance(1.0e-7);
1007    // set objective sense,
1008    ClpDualRowSteepest steep;
1009    solution.setDualRowPivotAlgorithm(steep);
1010    solution.setDblParam(ClpObjOffset,m.objectiveOffset());
1011    solution.dual();
1012  }
1013  // test normal solution
1014  {   
1015    CoinMpsIO m;
1016    std::string fn = netlibDir+"afiro";
1017    m.readMps(fn.c_str(),"mps");
1018    ClpSimplex solution;
1019    ClpModel model;
1020    // do twice - without and with scaling
1021    int iPass;
1022    for (iPass=0;iPass<2;iPass++) {
1023      // explicit row objective for testing
1024      int nr = m.getNumRows();
1025      double * rowObj = new double[nr];
1026      CoinFillN(rowObj,nr,0.0);
1027      model.loadProblem(*m.getMatrixByCol(),m.getColLower(),m.getColUpper(),
1028                      m.getObjCoefficients(),
1029                      m.getRowLower(),m.getRowUpper(),rowObj);
1030      delete [] rowObj;
1031      solution = ClpSimplex(model);
1032      if (iPass) {
1033        solution.scaling();
1034      }
1035      solution.dual();
1036      solution.dual();
1037      // test optimal
1038      assert (solution.status()==0);
1039      int numberColumns = solution.numberColumns();
1040      int numberRows = solution.numberRows();
1041      CoinPackedVector colsol(numberColumns,solution.primalColumnSolution());
1042      double * objective = solution.objective();
1043      double objValue = colsol.dotProduct(objective);
1044      CoinRelFltEq eq(1.0e-8);
1045      assert(eq(objValue,-4.6475314286e+02));
1046      // Test auxiliary model
1047      //solution.scaling(0);
1048      solution.auxiliaryModel(63-2); // bounds may change
1049      solution.dual();
1050      solution.primal();
1051      solution.allSlackBasis();
1052      solution.dual();
1053      assert(eq(solution.objectiveValue(),-4.6475314286e+02));
1054      solution.auxiliaryModel(-1);
1055      solution.dual();
1056      assert(eq(solution.objectiveValue(),-4.6475314286e+02));
1057      double * lower = solution.columnLower();
1058      double * upper = solution.columnUpper();
1059      double * sol = solution.primalColumnSolution();
1060      double * result = new double[numberColumns];
1061      CoinFillN ( result, numberColumns,0.0);
1062      solution.matrix()->transposeTimes(solution.dualRowSolution(), result);
1063      int iRow , iColumn;
1064      // see if feasible and dual feasible
1065      for (iColumn=0;iColumn<numberColumns;iColumn++) {
1066        double value = sol[iColumn];
1067        assert(value<upper[iColumn]+1.0e-8);
1068        assert(value>lower[iColumn]-1.0e-8);
1069        value = objective[iColumn]-result[iColumn];
1070        assert (value>-1.0e-5);
1071        if (sol[iColumn]>1.0e-5)
1072          assert (value<1.0e-5);
1073      }
1074      delete [] result;
1075      result = new double[numberRows];
1076      CoinFillN ( result, numberRows,0.0);
1077      solution.matrix()->times(colsol, result);
1078      lower = solution.rowLower();
1079      upper = solution.rowUpper();
1080      sol = solution.primalRowSolution();
1081      for (iRow=0;iRow<numberRows;iRow++) {
1082        double value = result[iRow];
1083        assert(eq(value,sol[iRow]));
1084        assert(value<upper[iRow]+1.0e-8);
1085        assert(value>lower[iRow]-1.0e-8);
1086      }
1087      delete [] result;
1088      // test row objective
1089      double * rowObjective = solution.rowObjective();
1090      CoinDisjointCopyN(solution.dualRowSolution(),numberRows,rowObjective);
1091      CoinDisjointCopyN(solution.dualColumnSolution(),numberColumns,objective);
1092      // this sets up all slack basis
1093      solution.createStatus();
1094      solution.dual();
1095      CoinFillN(rowObjective,numberRows,0.0);
1096      CoinDisjointCopyN(m.getObjCoefficients(),numberColumns,objective);
1097      solution.dual();
1098    }
1099  }
1100  // test unbounded
1101  {   
1102    CoinMpsIO m;
1103    std::string fn = netlibDir+"brandy";
1104    m.readMps(fn.c_str(),"mps");
1105    ClpSimplex solution;
1106    // do twice - without and with scaling
1107    int iPass;
1108    for (iPass=0;iPass<2;iPass++) {
1109      solution.loadProblem(*m.getMatrixByCol(),m.getColLower(),m.getColUpper(),
1110                      m.getObjCoefficients(),
1111                      m.getRowLower(),m.getRowUpper());
1112      if (iPass)
1113        solution.scaling();
1114      solution.setOptimizationDirection(-1);
1115      // test unbounded and ray
1116#ifdef DUAL
1117      solution.setDualBound(100.0);
1118      solution.dual();
1119#else
1120      solution.primal();
1121#endif
1122      assert (solution.status()==2);
1123      int numberColumns = solution.numberColumns();
1124      int numberRows = solution.numberRows();
1125      double * lower = solution.columnLower();
1126      double * upper = solution.columnUpper();
1127      double * sol = solution.primalColumnSolution();
1128      double * ray = solution.unboundedRay();
1129      double * objective = solution.objective();
1130      double objChange=0.0;
1131      int iRow , iColumn;
1132      // make sure feasible and columns form ray
1133      for (iColumn=0;iColumn<numberColumns;iColumn++) {
1134        double value = sol[iColumn];
1135        assert(value<upper[iColumn]+1.0e-8);
1136        assert(value>lower[iColumn]-1.0e-8);
1137        value = ray[iColumn];
1138        if (value>0.0)
1139          assert(upper[iColumn]>1.0e30);
1140        else if (value<0.0)
1141          assert(lower[iColumn]<-1.0e30);
1142        objChange += value*objective[iColumn];
1143      }
1144      // make sure increasing objective
1145      assert(objChange>0.0);
1146      double * result = new double[numberRows];
1147      CoinFillN ( result, numberRows,0.0);
1148      solution.matrix()->times(sol, result);
1149      lower = solution.rowLower();
1150      upper = solution.rowUpper();
1151      sol = solution.primalRowSolution();
1152      for (iRow=0;iRow<numberRows;iRow++) {
1153        double value = result[iRow];
1154        assert(eq(value,sol[iRow]));
1155        assert(value<upper[iRow]+2.0e-8);
1156        assert(value>lower[iRow]-2.0e-8);
1157      }
1158      CoinFillN ( result, numberRows,0.0);
1159      solution.matrix()->times(ray, result);
1160      // there may be small differences (especially if scaled)
1161      for (iRow=0;iRow<numberRows;iRow++) {
1162        double value = result[iRow];
1163        if (value>1.0e-8)
1164          assert(upper[iRow]>1.0e30);
1165        else if (value<-1.0e-8)
1166          assert(lower[iRow]<-1.0e30);
1167      }
1168      delete [] result;
1169      delete [] ray;
1170    }
1171  }
1172  // test infeasible
1173  {   
1174    CoinMpsIO m;
1175    std::string fn = netlibDir+"brandy";
1176    m.readMps(fn.c_str(),"mps");
1177    ClpSimplex solution;
1178    // do twice - without and with scaling
1179    int iPass;
1180    for (iPass=0;iPass<2;iPass++) {
1181      solution.loadProblem(*m.getMatrixByCol(),m.getColLower(),m.getColUpper(),
1182                      m.getObjCoefficients(),
1183                      m.getRowLower(),m.getRowUpper());
1184      if (iPass)
1185        solution.scaling();
1186      // test infeasible and ray
1187      solution.columnUpper()[0]=0.0;
1188#ifdef DUAL
1189      solution.setDualBound(100.0);
1190      solution.dual();
1191#else
1192      solution.primal();
1193#endif
1194      assert (solution.status()==1);
1195      int numberColumns = solution.numberColumns();
1196      int numberRows = solution.numberRows();
1197      double * lower = solution.rowLower();
1198      double * upper = solution.rowUpper();
1199      double * ray = solution.infeasibilityRay();
1200      assert(ray);
1201      // construct proof of infeasibility
1202      int iRow , iColumn;
1203      double lo=0.0,up=0.0;
1204      int nl=0,nu=0;
1205      for (iRow=0;iRow<numberRows;iRow++) {
1206        if (lower[iRow]>-1.0e20) {
1207          lo += ray[iRow]*lower[iRow];
1208        } else {
1209          if (ray[iRow]>1.0e-8) 
1210            nl++;
1211        }
1212        if (upper[iRow]<1.0e20) {
1213          up += ray[iRow]*upper[iRow];
1214        } else {
1215          if (ray[iRow]>1.0e-8) 
1216            nu++;
1217        }
1218      }
1219      if (nl)
1220        lo=-1.0e100;
1221      if (nu)
1222        up=1.0e100;
1223      double * result = new double[numberColumns];
1224      double lo2=0.0,up2=0.0;
1225      CoinFillN ( result, numberColumns,0.0);
1226      solution.matrix()->transposeTimes(ray, result);
1227      lower = solution.columnLower();
1228      upper = solution.columnUpper();
1229      nl=nu=0;
1230      for (iColumn=0;iColumn<numberColumns;iColumn++) {
1231        if (result[iColumn]>1.0e-8) {
1232          if (lower[iColumn]>-1.0e20)
1233            lo2 += result[iColumn]*lower[iColumn];
1234          else
1235            nl++;
1236          if (upper[iColumn]<1.0e20)
1237            up2 += result[iColumn]*upper[iColumn];
1238          else
1239            nu++;
1240        } else if (result[iColumn]<-1.0e-8) {
1241          if (lower[iColumn]>-1.0e20)
1242            up2 += result[iColumn]*lower[iColumn];
1243          else
1244            nu++;
1245          if (upper[iColumn]<1.0e20)
1246            lo2 += result[iColumn]*upper[iColumn];
1247          else
1248            nl++;
1249        }
1250      }
1251      if (nl)
1252        lo2=-1.0e100;
1253      if (nu)
1254        up2=1.0e100;
1255      // make sure inconsistency
1256      assert(lo2>up||up2<lo);
1257      delete [] result;
1258      delete [] ray;
1259    }
1260  }
1261  // test delete and add
1262  {   
1263    CoinMpsIO m;
1264    std::string fn = netlibDir+"brandy";
1265    m.readMps(fn.c_str(),"mps");
1266    ClpSimplex solution;
1267    solution.loadProblem(*m.getMatrixByCol(),m.getColLower(),m.getColUpper(),
1268                         m.getObjCoefficients(),
1269                         m.getRowLower(),m.getRowUpper());
1270    solution.dual();
1271    CoinRelFltEq eq(1.0e-8);
1272    assert(eq(solution.objectiveValue(),1.5185098965e+03));
1273
1274    int numberColumns = solution.numberColumns();
1275    int numberRows = solution.numberRows();
1276    double * saveObj = new double [numberColumns];
1277    double * saveLower = new double[numberRows+numberColumns];
1278    double * saveUpper = new double[numberRows+numberColumns];
1279    int * which = new int [numberRows+numberColumns];
1280
1281    int numberElements = m.getMatrixByCol()->getNumElements();
1282    int * starts = new int[numberRows+numberColumns];
1283    int * index = new int[numberElements];
1284    double * element = new double[numberElements];
1285
1286    const CoinBigIndex * startM;
1287    const int * lengthM;
1288    const int * indexM;
1289    const double * elementM;
1290
1291    int n,nel;
1292
1293    // delete non basic columns
1294    n=0;
1295    nel=0;
1296    int iRow , iColumn;
1297    const double * lower = m.getColLower();
1298    const double * upper = m.getColUpper();
1299    const double * objective = m.getObjCoefficients();
1300    startM = m.getMatrixByCol()->getVectorStarts();
1301    lengthM = m.getMatrixByCol()->getVectorLengths();
1302    indexM = m.getMatrixByCol()->getIndices();
1303    elementM = m.getMatrixByCol()->getElements();
1304    starts[0]=0;
1305    for (iColumn=0;iColumn<numberColumns;iColumn++) {
1306      if (solution.getColumnStatus(iColumn)!=ClpSimplex::basic) {
1307        saveObj[n]=objective[iColumn];
1308        saveLower[n]=lower[iColumn];
1309        saveUpper[n]=upper[iColumn];
1310        int j;
1311        for (j=startM[iColumn];j<startM[iColumn]+lengthM[iColumn];j++) {
1312          index[nel]=indexM[j];
1313          element[nel++]=elementM[j];
1314        }
1315        which[n++]=iColumn;
1316        starts[n]=nel;
1317      }
1318    }
1319    solution.deleteColumns(n,which);
1320    solution.dual();
1321    // Put back
1322    solution.addColumns(n,saveLower,saveUpper,saveObj,
1323                        starts,index,element);
1324    solution.dual();
1325    assert(eq(solution.objectiveValue(),1.5185098965e+03));
1326    // Delete all columns and add back
1327    n=0;
1328    nel=0;
1329    starts[0]=0;
1330    lower = m.getColLower();
1331    upper = m.getColUpper();
1332    objective = m.getObjCoefficients();
1333    for (iColumn=0;iColumn<numberColumns;iColumn++) {
1334      saveObj[n]=objective[iColumn];
1335      saveLower[n]=lower[iColumn];
1336      saveUpper[n]=upper[iColumn];
1337      int j;
1338      for (j=startM[iColumn];j<startM[iColumn]+lengthM[iColumn];j++) {
1339        index[nel]=indexM[j];
1340        element[nel++]=elementM[j];
1341      }
1342      which[n++]=iColumn;
1343      starts[n]=nel;
1344    }
1345    solution.deleteColumns(n,which);
1346    solution.dual();
1347    // Put back
1348    solution.addColumns(n,saveLower,saveUpper,saveObj,
1349                        starts,index,element);
1350    solution.dual();
1351    assert(eq(solution.objectiveValue(),1.5185098965e+03));
1352
1353    // reload with original
1354    solution.loadProblem(*m.getMatrixByCol(),m.getColLower(),m.getColUpper(),
1355                         m.getObjCoefficients(),
1356                         m.getRowLower(),m.getRowUpper());
1357    // delete half rows
1358    n=0;
1359    nel=0;
1360    lower = m.getRowLower();
1361    upper = m.getRowUpper();
1362    startM = m.getMatrixByRow()->getVectorStarts();
1363    lengthM = m.getMatrixByRow()->getVectorLengths();
1364    indexM = m.getMatrixByRow()->getIndices();
1365    elementM = m.getMatrixByRow()->getElements();
1366    starts[0]=0;
1367    for (iRow=0;iRow<numberRows;iRow++) {
1368      if ((iRow&1)==0) {
1369        saveLower[n]=lower[iRow];
1370        saveUpper[n]=upper[iRow];
1371        int j;
1372        for (j=startM[iRow];j<startM[iRow]+lengthM[iRow];j++) {
1373          index[nel]=indexM[j];
1374          element[nel++]=elementM[j];
1375        }
1376        which[n++]=iRow;
1377        starts[n]=nel;
1378      }
1379    }
1380    solution.deleteRows(n,which);
1381    solution.dual();
1382    // Put back
1383    solution.addRows(n,saveLower,saveUpper,
1384                        starts,index,element);
1385    solution.dual();
1386    assert(eq(solution.objectiveValue(),1.5185098965e+03));
1387    solution.writeMps("yy.mps");
1388    // Delete all rows
1389    n=0;
1390    nel=0;
1391    lower = m.getRowLower();
1392    upper = m.getRowUpper();
1393    starts[0]=0;
1394    for (iRow=0;iRow<numberRows;iRow++) {
1395      saveLower[n]=lower[iRow];
1396      saveUpper[n]=upper[iRow];
1397      int j;
1398      for (j=startM[iRow];j<startM[iRow]+lengthM[iRow];j++) {
1399        index[nel]=indexM[j];
1400        element[nel++]=elementM[j];
1401      }
1402      which[n++]=iRow;
1403      starts[n]=nel;
1404    }
1405    solution.deleteRows(n,which);
1406    solution.dual();
1407    // Put back
1408    solution.addRows(n,saveLower,saveUpper,
1409                        starts,index,element);
1410    solution.dual();
1411    solution.writeMps("xx.mps");
1412    assert(eq(solution.objectiveValue(),1.5185098965e+03));
1413    // Zero out status array to give some interest
1414    memset(solution.statusArray()+numberColumns,0,numberRows);
1415    solution.primal(1);
1416    assert(eq(solution.objectiveValue(),1.5185098965e+03));
1417    // Delete all columns and rows
1418    n=0;
1419    for (iColumn=0;iColumn<numberColumns;iColumn++) {
1420      which[n++]=iColumn;
1421      starts[n]=nel;
1422    }
1423    solution.deleteColumns(n,which);
1424    n=0;
1425    for (iRow=0;iRow<numberRows;iRow++) {
1426      which[n++]=iRow;
1427      starts[n]=nel;
1428    }
1429    solution.deleteRows(n,which);
1430
1431    delete [] saveObj;
1432    delete [] saveLower;
1433    delete [] saveUpper;
1434    delete [] which;
1435    delete [] starts;
1436    delete [] index;
1437    delete [] element;
1438  }
1439#if 1
1440  // Test barrier
1441  {
1442    CoinMpsIO m;
1443    std::string fn = mpsDir+"exmip1";
1444    m.readMps(fn.c_str(),"mps");
1445    ClpInterior solution;
1446    solution.loadProblem(*m.getMatrixByCol(),m.getColLower(),m.getColUpper(),
1447                         m.getObjCoefficients(),
1448                         m.getRowLower(),m.getRowUpper());
1449    solution.primalDual();
1450  }
1451#endif
1452  // test network
1453#define QUADRATIC
1454  if (1) {   
1455    std::string fn = mpsDir+"input.130";
1456    int numberColumns;
1457    int numberRows;
1458   
1459    FILE * fp = fopen(fn.c_str(),"r");
1460    if (!fp) {
1461      // Try in Samples
1462      fn = "Samples/input.130";
1463      fp = fopen(fn.c_str(),"r");
1464    }
1465    if (!fp) {
1466      fprintf(stderr,"Unable to open file input.130 in mpsDir or Samples directory\n");
1467    } else {
1468      int problem;
1469      char temp[100];
1470      // read and skip
1471      fscanf(fp,"%s",temp);
1472      assert (!strcmp(temp,"BEGIN"));
1473      fscanf(fp,"%*s %*s %d %d %*s %*s %d %*s",&problem, &numberRows, 
1474             &numberColumns);
1475      // scan down to SUPPLY
1476      while (fgets(temp,100,fp)) {
1477        if (!strncmp(temp,"SUPPLY",6))
1478          break;
1479      }
1480      if (strncmp(temp,"SUPPLY",6)) {
1481        fprintf(stderr,"Unable to find SUPPLY\n");
1482        exit(2);
1483      }
1484      // get space for rhs
1485      double * lower = new double[numberRows];
1486      double * upper = new double[numberRows];
1487      int i;
1488      for (i=0;i<numberRows;i++) {
1489        lower[i]=0.0;
1490        upper[i]=0.0;
1491      }
1492      // ***** Remember to convert to C notation
1493      while (fgets(temp,100,fp)) {
1494        int row;
1495        int value;
1496        if (!strncmp(temp,"ARCS",4))
1497          break;
1498        sscanf(temp,"%d %d",&row,&value);
1499        upper[row-1]=-value;
1500        lower[row-1]=-value;
1501      }
1502      if (strncmp(temp,"ARCS",4)) {
1503        fprintf(stderr,"Unable to find ARCS\n");
1504        exit(2);
1505      }
1506      // number of columns may be underestimate
1507      int * head = new int[2*numberColumns];
1508      int * tail = new int[2*numberColumns];
1509      int * ub = new int[2*numberColumns];
1510      int * cost = new int[2*numberColumns];
1511      // ***** Remember to convert to C notation
1512      numberColumns=0;
1513      while (fgets(temp,100,fp)) {
1514        int iHead;
1515        int iTail;
1516        int iUb;
1517        int iCost;
1518        if (!strncmp(temp,"DEMAND",6))
1519          break;
1520        sscanf(temp,"%d %d %d %d",&iHead,&iTail,&iCost,&iUb);
1521        iHead--;
1522        iTail--;
1523        head[numberColumns]=iHead;
1524        tail[numberColumns]=iTail;
1525        ub[numberColumns]=iUb;
1526        cost[numberColumns]=iCost;
1527        numberColumns++;
1528      }
1529      if (strncmp(temp,"DEMAND",6)) {
1530        fprintf(stderr,"Unable to find DEMAND\n");
1531        exit(2);
1532      }
1533      // ***** Remember to convert to C notation
1534      while (fgets(temp,100,fp)) {
1535        int row;
1536        int value;
1537        if (!strncmp(temp,"END",3))
1538          break;
1539        sscanf(temp,"%d %d",&row,&value);
1540        upper[row-1]=value;
1541        lower[row-1]=value;
1542      }
1543      if (strncmp(temp,"END",3)) {
1544        fprintf(stderr,"Unable to find END\n");
1545        exit(2);
1546      }
1547      printf("Problem %d has %d rows and %d columns\n",problem,
1548             numberRows,numberColumns);
1549      fclose(fp);
1550      ClpSimplex  model;
1551      // now build model
1552     
1553      double * objective =new double[numberColumns];
1554      double * lowerColumn = new double[numberColumns];
1555      double * upperColumn = new double[numberColumns];
1556     
1557      double * element = new double [2*numberColumns];
1558      CoinBigIndex * start = new CoinBigIndex [numberColumns+1];
1559      int * row = new int[2*numberColumns];
1560      start[numberColumns]=2*numberColumns;
1561      for (i=0;i<numberColumns;i++) {
1562        start[i]=2*i;
1563        element[2*i]=-1.0;
1564        element[2*i+1]=1.0;
1565        row[2*i]=head[i];
1566        row[2*i+1]=tail[i];
1567        lowerColumn[i]=0.0;
1568        upperColumn[i]=ub[i];
1569        objective[i]=cost[i];
1570      }
1571      // Create Packed Matrix
1572      CoinPackedMatrix matrix;
1573      int * lengths = NULL;
1574      matrix.assignMatrix(true,numberRows,numberColumns,
1575                          2*numberColumns,element,row,start,lengths);
1576      // load model
1577      model.loadProblem(matrix,
1578                        lowerColumn,upperColumn,objective,
1579                        lower,upper);
1580      model.factorization()->maximumPivots(200+model.numberRows()/100);
1581      model.createStatus();
1582      double time1 = CoinCpuTime();
1583      model.dual();
1584      std::cout<<"Network problem, ClpPackedMatrix took "<<CoinCpuTime()-time1<<" seconds"<<std::endl;
1585      ClpPlusMinusOneMatrix * plusMinus = new ClpPlusMinusOneMatrix(matrix);
1586      assert (plusMinus->getIndices()); // would be zero if not +- one
1587      //ClpPlusMinusOneMatrix *plusminus_matrix;
1588
1589      //plusminus_matrix = new ClpPlusMinusOneMatrix;
1590
1591      //plusminus_matrix->passInCopy(numberRows, numberColumns, true, plusMinus->getMutableIndices(),
1592      //                         plusMinus->startPositive(),plusMinus->startNegative());
1593      model.loadProblem(*plusMinus,
1594                        lowerColumn,upperColumn,objective,
1595                        lower,upper);
1596      //model.replaceMatrix( plusminus_matrix , true);
1597      delete plusMinus;
1598      //model.createStatus();
1599      //model.initialSolve();
1600      //model.writeMps("xx.mps");
1601     
1602      model.factorization()->maximumPivots(200+model.numberRows()/100);
1603      model.createStatus();
1604      time1 = CoinCpuTime();
1605      model.dual();
1606      std::cout<<"Network problem, ClpPlusMinusOneMatrix took "<<CoinCpuTime()-time1<<" seconds"<<std::endl;
1607      ClpNetworkMatrix network(numberColumns,head,tail);
1608      model.loadProblem(network,
1609                        lowerColumn,upperColumn,objective,
1610                        lower,upper);
1611     
1612      model.factorization()->maximumPivots(200+model.numberRows()/100);
1613      model.createStatus();
1614      time1 = CoinCpuTime();
1615      model.dual();
1616      std::cout<<"Network problem, ClpNetworkMatrix took "<<CoinCpuTime()-time1<<" seconds"<<std::endl;
1617      delete [] lower;
1618      delete [] upper;
1619      delete [] head;
1620      delete [] tail;
1621      delete [] ub;
1622      delete [] cost;
1623      delete [] objective;
1624      delete [] lowerColumn;
1625      delete [] upperColumn;
1626    }
1627  }
1628#ifdef QUADRATIC
1629  // Test quadratic to solve linear
1630  if (1) {   
1631    CoinMpsIO m;
1632    std::string fn = mpsDir+"exmip1";
1633    m.readMps(fn.c_str(),"mps");
1634    ClpSimplex solution;
1635    solution.loadProblem(*m.getMatrixByCol(),m.getColLower(),m.getColUpper(),
1636                         m.getObjCoefficients(),
1637                         m.getRowLower(),m.getRowUpper());
1638    //solution.dual();
1639    // get quadratic part
1640    int numberColumns=solution.numberColumns();
1641    int * start=new int [numberColumns+1];
1642    int * column = new int[numberColumns];
1643    double * element = new double[numberColumns];
1644    int i;
1645    start[0]=0;
1646    int n=0;
1647    int kk=numberColumns-1;
1648    int kk2=numberColumns-1;
1649    for (i=0;i<numberColumns;i++) {
1650      if (i>=kk) {
1651        column[n]=i;
1652        if (i>=kk2)
1653          element[n]=1.0e-1;
1654        else
1655          element[n]=0.0;
1656        n++;
1657      }
1658      start[i+1]=n;
1659    }
1660    // Load up objective
1661    solution.loadQuadraticObjective(numberColumns,start,column,element);
1662    delete [] start;
1663    delete [] column;
1664    delete [] element;
1665    //solution.quadraticSLP(50,1.0e-4);
1666    CoinRelFltEq eq(1.0e-4);
1667    //assert(eq(objValue,820.0));
1668    //solution.setLogLevel(63);
1669    solution.primal();
1670    printSol(solution);
1671    //assert(eq(objValue,3.2368421));
1672    //exit(77);
1673  }
1674  // Test quadratic
1675  if (1) {   
1676    CoinMpsIO m;
1677    std::string fn = mpsDir+"share2qp";
1678    //fn = "share2qpb";
1679    m.readMps(fn.c_str(),"mps");
1680    ClpSimplex model;
1681    model.loadProblem(*m.getMatrixByCol(),m.getColLower(),m.getColUpper(),
1682                         m.getObjCoefficients(),
1683                         m.getRowLower(),m.getRowUpper());
1684    model.dual();
1685    // get quadratic part
1686    int * start=NULL;
1687    int * column = NULL;
1688    double * element = NULL;
1689    m.readQuadraticMps(NULL,start,column,element,2);
1690    int column2[200];
1691    double element2[200];
1692    int start2[80];
1693    int j;
1694    start2[0]=0;
1695    int nel=0;
1696    bool good=false;
1697    for (j=0;j<79;j++) {
1698      if (start[j]==start[j+1]) {
1699        column2[nel]=j;
1700        element2[nel]=0.0;
1701        nel++;
1702      } else {
1703        int i;
1704        for (i=start[j];i<start[j+1];i++) {
1705          column2[nel]=column[i];
1706          element2[nel++]=element[i];
1707        }
1708      }
1709      start2[j+1]=nel;
1710    }
1711    // Load up objective
1712    if (good)
1713      model.loadQuadraticObjective(model.numberColumns(),start2,column2,element2);
1714    else
1715      model.loadQuadraticObjective(model.numberColumns(),start,column,element);
1716    delete [] start;
1717    delete [] column;
1718    delete [] element;
1719    int numberColumns=model.numberColumns();
1720    model.scaling(0);
1721#if 0
1722    model.nonlinearSLP(50,1.0e-4);
1723#else
1724    // Get feasible
1725    ClpObjective * saveObjective = model.objectiveAsObject()->clone();
1726    ClpLinearObjective zeroObjective(NULL,numberColumns);
1727    model.setObjective(&zeroObjective);
1728    model.dual();
1729    model.setObjective(saveObjective);
1730    delete saveObjective;
1731#endif
1732    //model.setLogLevel(63);
1733    //exit(77);
1734    model.setFactorizationFrequency(10);
1735    model.primal();
1736    printSol(model);
1737    double objValue = model.getObjValue();
1738    CoinRelFltEq eq(1.0e-4);
1739    assert(eq(objValue,-400.92));
1740    // and again for barrier
1741    model.barrier(false);
1742    //printSol(model);
1743    model.allSlackBasis();
1744    model.primal();
1745    //printSol(model);
1746  }
1747  if (0) {   
1748    CoinMpsIO m;
1749    std::string fn = "./beale";
1750    //fn = "./jensen";
1751    m.readMps(fn.c_str(),"mps");
1752    ClpSimplex solution;
1753    solution.loadProblem(*m.getMatrixByCol(),m.getColLower(),m.getColUpper(),
1754                         m.getObjCoefficients(),
1755                         m.getRowLower(),m.getRowUpper());
1756    solution.setDblParam(ClpObjOffset,m.objectiveOffset());
1757    solution.dual();
1758    // get quadratic part
1759    int * start=NULL;
1760    int * column = NULL;
1761    double * element = NULL;
1762    m.readQuadraticMps(NULL,start,column,element,2);
1763    // Load up objective
1764    solution.loadQuadraticObjective(solution.numberColumns(),start,column,element);
1765    delete [] start;
1766    delete [] column;
1767    delete [] element;
1768    solution.primal(1);
1769    solution.nonlinearSLP(50,1.0e-4);
1770    double objValue = solution.getObjValue();
1771    CoinRelFltEq eq(1.0e-4);
1772    assert(eq(objValue,0.5));
1773    solution.primal();
1774    objValue = solution.getObjValue();
1775    assert(eq(objValue,0.5));
1776  }
1777#endif 
1778}
Note: See TracBrowser for help on using the repository browser.