xref: /petsc/src/tao/constrained/impls/ipm/ipm.c (revision 3c9e27cfca911a7d7e3219758be42726e83c4ab2)
1a7e14dcfSSatish Balay #include "taolinesearch.h"
2a7e14dcfSSatish Balay #include "ipm.h" /*I "ipm.h" I*/
3a7e14dcfSSatish Balay //#define DEBUG_IPM
4a7e14dcfSSatish Balay //#define DEBUG_K
5a7e14dcfSSatish Balay //#define DEBUG_SCATTER
6a7e14dcfSSatish Balay //#define DEBUG_KKT
7a7e14dcfSSatish Balay /*
8a7e14dcfSSatish Balay    x,d in R^n
9a7e14dcfSSatish Balay    f in R
10a7e14dcfSSatish Balay    nb = mi + nlb+nub
11a7e14dcfSSatish Balay    s in R^nb is slack vector CI(x) / x-XL / -x+XU
12a7e14dcfSSatish Balay    bin in R^mi (tao->constraints_inequality)
13a7e14dcfSSatish Balay    beq in R^me (tao->constraints_equality)
14a7e14dcfSSatish Balay    lamdai in R^nb (ipmP->lamdai)
15a7e14dcfSSatish Balay    lamdae in R^me (ipmP->lamdae)
16a7e14dcfSSatish Balay    Jeq in R^(me x n) (tao->jacobian_equality)
17a7e14dcfSSatish Balay    Jin in R^(mi x n) (tao->jacobian_inequality)
18a7e14dcfSSatish Balay    Ai in  R^(nb x n) (ipmP->Ai)
19a7e14dcfSSatish Balay    H in R^(n x n) (tao->hessian)
20a7e14dcfSSatish Balay    min f=(1/2)*x'*H*x + d'*x
21a7e14dcfSSatish Balay    s.t.  CE(x) == 0
22a7e14dcfSSatish Balay          CI(x) >= 0
23a7e14dcfSSatish Balay 	 x >= tao->XL
24a7e14dcfSSatish Balay 	 -x >= -tao->XU
25a7e14dcfSSatish Balay */
26a7e14dcfSSatish Balay 
27a7e14dcfSSatish Balay static PetscErrorCode IPMComputeKKT(TaoSolver tao);
28a7e14dcfSSatish Balay static PetscErrorCode IPMPushInitialPoint(TaoSolver tao);
29a7e14dcfSSatish Balay static PetscErrorCode IPMEvaluate(TaoSolver tao);
30a7e14dcfSSatish Balay static PetscErrorCode IPMUpdateK(TaoSolver tao);
31a7e14dcfSSatish Balay static PetscErrorCode IPMUpdateAi(TaoSolver tao);
32a7e14dcfSSatish Balay static PetscErrorCode IPMGatherRHS(TaoSolver tao,Vec,Vec,Vec,Vec,Vec);
33a7e14dcfSSatish Balay static PetscErrorCode IPMScatterStep(TaoSolver tao,Vec,Vec,Vec,Vec,Vec);
34a7e14dcfSSatish Balay static PetscErrorCode IPMInitializeBounds(TaoSolver tao);
35a7e14dcfSSatish Balay 
36a7e14dcfSSatish Balay #undef __FUNCT__
37a7e14dcfSSatish Balay #define __FUNCT__ "TaoSolve_IPM"
38a7e14dcfSSatish Balay static PetscErrorCode TaoSolve_IPM(TaoSolver tao)
39a7e14dcfSSatish Balay {
40a7e14dcfSSatish Balay   PetscErrorCode ierr;
41a7e14dcfSSatish Balay   TAO_IPM* ipmP = (TAO_IPM*)tao->data;
42a7e14dcfSSatish Balay 
43a7e14dcfSSatish Balay 
44a7e14dcfSSatish Balay   TaoSolverTerminationReason reason = TAO_CONTINUE_ITERATING;
45a7e14dcfSSatish Balay   PetscInt iter = 0,its,i;
46a7e14dcfSSatish Balay   PetscScalar stepsize=1.0;
47a7e14dcfSSatish Balay   PetscScalar step_s,step_l,alpha,tau,sigma,phi_target;
48a7e14dcfSSatish Balay   PetscFunctionBegin;
49a7e14dcfSSatish Balay 
50a7e14dcfSSatish Balay   /* Push initial point away from bounds */
51a7e14dcfSSatish Balay #if defined(DEBUG_IPM)
52a7e14dcfSSatish Balay   ierr = VecNorm(tao->solution,NORM_2,&tau); CHKERRQ(ierr);
53a7e14dcfSSatish Balay   VecView(tao->solution,0);
54a7e14dcfSSatish Balay #endif
55a7e14dcfSSatish Balay   ierr = IPMInitializeBounds(tao); CHKERRQ(ierr);
56a7e14dcfSSatish Balay   ierr = IPMPushInitialPoint(tao); CHKERRQ(ierr);
57a7e14dcfSSatish Balay #if defined(DEBUG_IPM)
58a7e14dcfSSatish Balay   ierr = VecNorm(tao->solution,NORM_2,&tau); CHKERRQ(ierr);
59a7e14dcfSSatish Balay   VecView(tao->solution,0);
60a7e14dcfSSatish Balay   //  PetscPrintf(PETSC_COMM_WORLD,"||x0|| = %g\n",tau);
61a7e14dcfSSatish Balay #endif
62a7e14dcfSSatish Balay   ierr = VecCopy(tao->solution,ipmP->rhs_x); CHKERRQ(ierr);
63a7e14dcfSSatish Balay   ierr = IPMEvaluate(tao); CHKERRQ(ierr);
64a7e14dcfSSatish Balay   ierr = IPMComputeKKT(tao); CHKERRQ(ierr);
65a7e14dcfSSatish Balay   ierr = TaoMonitor(tao,iter++,ipmP->kkt_f,ipmP->phi,0.0,1.0,&reason);
66a7e14dcfSSatish Balay 
67a7e14dcfSSatish Balay 
68a7e14dcfSSatish Balay   while (reason == TAO_CONTINUE_ITERATING) {
69a7e14dcfSSatish Balay     ierr = IPMUpdateK(tao); CHKERRQ(ierr);
70a7e14dcfSSatish Balay     /*
71a7e14dcfSSatish Balay        rhs.x    = -rd
72a7e14dcfSSatish Balay        rhs.lame = -rpe
73a7e14dcfSSatish Balay        rhs.lami = -rpi
74a7e14dcfSSatish Balay        rhs.com  = -com
75a7e14dcfSSatish Balay     */
76a7e14dcfSSatish Balay 
77a7e14dcfSSatish Balay     ierr = VecCopy(ipmP->rd,ipmP->rhs_x); CHKERRQ(ierr);
78a7e14dcfSSatish Balay     if (ipmP->me > 0) {
79a7e14dcfSSatish Balay       ierr = VecCopy(ipmP->rpe,ipmP->rhs_lamdae); CHKERRQ(ierr);
80a7e14dcfSSatish Balay     }
81a7e14dcfSSatish Balay     if (ipmP->nb > 0) {
82a7e14dcfSSatish Balay 	ierr = VecCopy(ipmP->rpi,ipmP->rhs_lamdai); CHKERRQ(ierr);
83a7e14dcfSSatish Balay 	ierr = VecCopy(ipmP->complementarity,ipmP->rhs_s); CHKERRQ(ierr);
84a7e14dcfSSatish Balay     }
85a7e14dcfSSatish Balay     ierr = IPMGatherRHS(tao,ipmP->bigrhs,ipmP->rhs_x,ipmP->rhs_lamdae,
86a7e14dcfSSatish Balay 			ipmP->rhs_lamdai,ipmP->rhs_s); CHKERRQ(ierr);
87a7e14dcfSSatish Balay     ierr = VecScale(ipmP->bigrhs,-1.0); CHKERRQ(ierr);
88a7e14dcfSSatish Balay 
89a7e14dcfSSatish Balay     /* solve K * step = rhs */
90a7e14dcfSSatish Balay     ierr = KSPSetOperators(tao->ksp,ipmP->K,ipmP->K,DIFFERENT_NONZERO_PATTERN); CHKERRQ(ierr);
91a7e14dcfSSatish Balay     ierr = KSPSolve(tao->ksp,ipmP->bigrhs,ipmP->bigstep);CHKERRQ(ierr);
92a7e14dcfSSatish Balay 
93a7e14dcfSSatish Balay     ierr = IPMScatterStep(tao,ipmP->bigstep,tao->stepdirection,ipmP->ds,
94a7e14dcfSSatish Balay 			  ipmP->dlamdae,ipmP->dlamdai); CHKERRQ(ierr);
95a7e14dcfSSatish Balay     ierr = KSPGetIterationNumber(tao->ksp,&its); CHKERRQ(ierr);
96a7e14dcfSSatish Balay     tao->ksp_its += its;
97a7e14dcfSSatish Balay #if defined DEBUG_KKT
98a7e14dcfSSatish Balay     PetscPrintf(PETSC_COMM_WORLD,"first solve.\n");
99a7e14dcfSSatish Balay     PetscPrintf(PETSC_COMM_WORLD,"rhs_lamdai\n");
100a7e14dcfSSatish Balay     //VecView(ipmP->rhs_lamdai,0);
101a7e14dcfSSatish Balay     //ierr = VecView(ipmP->bigrhs,0);
102a7e14dcfSSatish Balay     //ierr = VecView(ipmP->bigstep,0);
103a7e14dcfSSatish Balay     PetscScalar norm1,norm2;
104a7e14dcfSSatish Balay     ierr = VecNorm(ipmP->bigrhs,NORM_2,&norm1);
105a7e14dcfSSatish Balay     ierr = VecNorm(ipmP->bigstep,NORM_2,&norm2);
106a7e14dcfSSatish Balay     PetscPrintf(PETSC_COMM_WORLD,"||rhs|| = %g\t ||step|| = %g\n",norm1,norm2);
107a7e14dcfSSatish Balay #endif
108a7e14dcfSSatish Balay      /* Find distance along step direction to closest bound */
109a7e14dcfSSatish Balay     if (ipmP->nb > 0) {
110a7e14dcfSSatish Balay       ierr = VecStepBoundInfo(ipmP->s,ipmP->Zero_nb,ipmP->Inf_nb,ipmP->ds,&step_s,PETSC_NULL,PETSC_NULL); CHKERRQ(ierr);
111a7e14dcfSSatish Balay       ierr = VecStepBoundInfo(ipmP->lamdai,ipmP->Zero_nb,ipmP->Inf_nb,ipmP->dlamdai,&step_l,PETSC_NULL,PETSC_NULL); CHKERRQ(ierr);
112a7e14dcfSSatish Balay       alpha = PetscMin(step_s,step_l);
113a7e14dcfSSatish Balay       alpha = PetscMin(alpha,1.0);
114a7e14dcfSSatish Balay       ipmP->alpha1 = alpha;
115a7e14dcfSSatish Balay     } else {
116a7e14dcfSSatish Balay       ipmP->alpha1 = alpha = 1.0;
117a7e14dcfSSatish Balay     }
118a7e14dcfSSatish Balay 
119a7e14dcfSSatish Balay 
120a7e14dcfSSatish Balay     /* x_aff = x + alpha*d */
121a7e14dcfSSatish Balay     ierr = VecCopy(tao->solution,ipmP->save_x); CHKERRQ(ierr);
122a7e14dcfSSatish Balay     if (ipmP->me > 0) {
123a7e14dcfSSatish Balay       ierr = VecCopy(ipmP->lamdae,ipmP->save_lamdae); CHKERRQ(ierr);
124a7e14dcfSSatish Balay     }
125a7e14dcfSSatish Balay     if (ipmP->nb > 0) {
126a7e14dcfSSatish Balay       ierr = VecCopy(ipmP->lamdai,ipmP->save_lamdai); CHKERRQ(ierr);
127a7e14dcfSSatish Balay       ierr = VecCopy(ipmP->s,ipmP->save_s); CHKERRQ(ierr);
128a7e14dcfSSatish Balay     }
129a7e14dcfSSatish Balay 
130a7e14dcfSSatish Balay     ierr = VecAXPY(tao->solution,alpha,tao->stepdirection); CHKERRQ(ierr);
131a7e14dcfSSatish Balay     if (ipmP->me > 0) {
132a7e14dcfSSatish Balay       ierr = VecAXPY(ipmP->lamdae,alpha,ipmP->dlamdae); CHKERRQ(ierr);
133a7e14dcfSSatish Balay     }
134a7e14dcfSSatish Balay     if (ipmP->nb > 0) {
135a7e14dcfSSatish Balay       ierr = VecAXPY(ipmP->lamdai,alpha,ipmP->dlamdai); CHKERRQ(ierr);
136a7e14dcfSSatish Balay       ierr = VecAXPY(ipmP->s,alpha,ipmP->ds); CHKERRQ(ierr);
137a7e14dcfSSatish Balay     }
138a7e14dcfSSatish Balay 
139a7e14dcfSSatish Balay 
140a7e14dcfSSatish Balay     /* Recompute kkt to find centering parameter sigma = (new_mu/old_mu)^3 */
141a7e14dcfSSatish Balay     if (ipmP->mu == 0.0) {
142a7e14dcfSSatish Balay       sigma = 0.0;
143a7e14dcfSSatish Balay     } else {
144a7e14dcfSSatish Balay       sigma = 1.0/ipmP->mu;
145a7e14dcfSSatish Balay     }
146a7e14dcfSSatish Balay     ierr = IPMComputeKKT(tao); CHKERRQ(ierr);
147a7e14dcfSSatish Balay     sigma *= ipmP->mu;
148a7e14dcfSSatish Balay     sigma*=sigma*sigma;
149a7e14dcfSSatish Balay 
150a7e14dcfSSatish Balay     /* revert kkt info */
151a7e14dcfSSatish Balay     ierr = VecCopy(ipmP->save_x,tao->solution); CHKERRQ(ierr);
152a7e14dcfSSatish Balay     if (ipmP->me > 0) {
153a7e14dcfSSatish Balay       ierr = VecCopy(ipmP->save_lamdae,ipmP->lamdae); CHKERRQ(ierr);
154a7e14dcfSSatish Balay     }
155a7e14dcfSSatish Balay     if (ipmP->nb > 0) {
156a7e14dcfSSatish Balay       ierr = VecCopy(ipmP->save_lamdai,ipmP->lamdai); CHKERRQ(ierr);
157a7e14dcfSSatish Balay       ierr = VecCopy(ipmP->save_s,ipmP->s); CHKERRQ(ierr);
158a7e14dcfSSatish Balay     }
159a7e14dcfSSatish Balay     ierr = IPMComputeKKT(tao); CHKERRQ(ierr);
160a7e14dcfSSatish Balay 
161a7e14dcfSSatish Balay     /* update rhs with new complementarity vector */
162a7e14dcfSSatish Balay     if (ipmP->nb > 0) {
163a7e14dcfSSatish Balay       ierr = VecCopy(ipmP->complementarity,ipmP->rhs_s); CHKERRQ(ierr);
164a7e14dcfSSatish Balay       ierr = VecScale(ipmP->rhs_s,-1.0); CHKERRQ(ierr);
165a7e14dcfSSatish Balay       ierr = VecShift(ipmP->rhs_s,sigma*ipmP->mu); CHKERRQ(ierr);
166a7e14dcfSSatish Balay     }
167a7e14dcfSSatish Balay     ierr = IPMGatherRHS(tao,ipmP->bigrhs,PETSC_NULL,PETSC_NULL,
168a7e14dcfSSatish Balay 		      PETSC_NULL,ipmP->rhs_s); CHKERRQ(ierr);
169a7e14dcfSSatish Balay 
170a7e14dcfSSatish Balay     /* solve K * step = rhs */
171a7e14dcfSSatish Balay     ierr = KSPSetOperators(tao->ksp,ipmP->K,ipmP->K,DIFFERENT_NONZERO_PATTERN); CHKERRQ(ierr);
172a7e14dcfSSatish Balay     ierr = KSPSolve(tao->ksp,ipmP->bigrhs,ipmP->bigstep);CHKERRQ(ierr);
173a7e14dcfSSatish Balay 
174a7e14dcfSSatish Balay     ierr = IPMScatterStep(tao,ipmP->bigstep,tao->stepdirection,ipmP->ds,
175a7e14dcfSSatish Balay 			  ipmP->dlamdae,ipmP->dlamdai); CHKERRQ(ierr);
176a7e14dcfSSatish Balay     ierr = KSPGetIterationNumber(tao->ksp,&its); CHKERRQ(ierr);
177a7e14dcfSSatish Balay #if defined DEBUG_KKT2
178a7e14dcfSSatish Balay     PetscPrintf(PETSC_COMM_WORLD,"rhs_lamdai\n");
179a7e14dcfSSatish Balay     VecView(ipmP->rhs_lamdai,0);
180a7e14dcfSSatish Balay     ierr = VecView(ipmP->bigrhs,0);
181a7e14dcfSSatish Balay     ierr = VecView(ipmP->bigstep,0);
182a7e14dcfSSatish Balay #endif
183a7e14dcfSSatish Balay     tao->ksp_its += its;
184a7e14dcfSSatish Balay 
185a7e14dcfSSatish Balay 
186a7e14dcfSSatish Balay     if (ipmP->nb > 0) {
187a7e14dcfSSatish Balay       /* Get max step size and apply frac-to-boundary */
188a7e14dcfSSatish Balay       tau = PetscMax(ipmP->taumin,1.0-ipmP->mu);
189a7e14dcfSSatish Balay       tau = PetscMin(tau,1.0);
190a7e14dcfSSatish Balay       if (tau != 1.0) {
191a7e14dcfSSatish Balay 	ierr = VecScale(ipmP->s,tau); CHKERRQ(ierr);
192a7e14dcfSSatish Balay 	ierr = VecScale(ipmP->lamdai,tau); CHKERRQ(ierr);
193a7e14dcfSSatish Balay       }
194a7e14dcfSSatish Balay       ierr = VecStepBoundInfo(ipmP->s,ipmP->Zero_nb,ipmP->Inf_nb,ipmP->ds,&step_s,PETSC_NULL,PETSC_NULL); CHKERRQ(ierr);
195a7e14dcfSSatish Balay       ierr = VecStepBoundInfo(ipmP->lamdai,ipmP->Zero_nb,ipmP->Inf_nb,ipmP->dlamdai,&step_l,PETSC_NULL,PETSC_NULL); CHKERRQ(ierr);
196a7e14dcfSSatish Balay       if (tau != 1.0) {
197a7e14dcfSSatish Balay 	ierr = VecCopy(ipmP->save_s,ipmP->s); CHKERRQ(ierr);
198a7e14dcfSSatish Balay 	ierr = VecCopy(ipmP->save_lamdai,ipmP->lamdai); CHKERRQ(ierr);
199a7e14dcfSSatish Balay       }
200a7e14dcfSSatish Balay       alpha = PetscMin(step_s,step_l);
201a7e14dcfSSatish Balay       alpha = PetscMin(alpha,1.0);
202a7e14dcfSSatish Balay     } else {
203a7e14dcfSSatish Balay       alpha = 1.0;
204a7e14dcfSSatish Balay     }
205a7e14dcfSSatish Balay     ipmP->alpha2 = alpha;
206a7e14dcfSSatish Balay     /* TODO make phi_target meaningful */
207a7e14dcfSSatish Balay     phi_target = ipmP->dec * ipmP->phi;
208a7e14dcfSSatish Balay     for (i=0; i<11;i++) {
209a7e14dcfSSatish Balay #if defined DEBUG_KKT2
210a7e14dcfSSatish Balay     PetscPrintf(PETSC_COMM_WORLD,"alpha2=%g\n",alpha);
211a7e14dcfSSatish Balay       PetscPrintf(PETSC_COMM_WORLD,"old point:\n");
212a7e14dcfSSatish Balay       VecView(tao->solution,0);
213a7e14dcfSSatish Balay       VecView(ipmP->lamdae,0);
214a7e14dcfSSatish Balay       VecView(ipmP->s,0);
215a7e14dcfSSatish Balay       VecView(ipmP->lamdai,0);
216a7e14dcfSSatish Balay #endif
217a7e14dcfSSatish Balay       ierr = VecAXPY(tao->solution,alpha,tao->stepdirection); CHKERRQ(ierr);
218a7e14dcfSSatish Balay       if (ipmP->nb > 0) {
219a7e14dcfSSatish Balay 	ierr = VecAXPY(ipmP->s,alpha,ipmP->ds); CHKERRQ(ierr);
220a7e14dcfSSatish Balay 	ierr = VecAXPY(ipmP->lamdai,alpha,ipmP->dlamdai); CHKERRQ(ierr);
221a7e14dcfSSatish Balay       }
222a7e14dcfSSatish Balay       if (ipmP->me > 0) {
223a7e14dcfSSatish Balay 	ierr = VecAXPY(ipmP->lamdae,alpha,ipmP->dlamdae); CHKERRQ(ierr);
224a7e14dcfSSatish Balay       }
225a7e14dcfSSatish Balay #if defined DEBUG_KKT
226a7e14dcfSSatish Balay       PetscPrintf(PETSC_COMM_WORLD,"step direction:\n");
227a7e14dcfSSatish Balay       VecView(tao->stepdirection,0);
228a7e14dcfSSatish Balay       //VecView(ipmP->dlamdae,0);
229a7e14dcfSSatish Balay       //VecView(ipmP->ds,0);
230a7e14dcfSSatish Balay       //VecView(ipmP->dlamdai,0);
231a7e14dcfSSatish Balay 
232a7e14dcfSSatish Balay       //PetscPrintf(PETSC_COMM_WORLD,"New iterate:\n");
233a7e14dcfSSatish Balay       //VecView(tao->solution,0);
234a7e14dcfSSatish Balay       //VecView(ipmP->lamdae,0);
235a7e14dcfSSatish Balay       //VecView(ipmP->s,0);
236a7e14dcfSSatish Balay       //VecView(ipmP->lamdai,0);
237a7e14dcfSSatish Balay #endif
238a7e14dcfSSatish Balay       /* update dual variables */
239a7e14dcfSSatish Balay       if (ipmP->me > 0) {
240a7e14dcfSSatish Balay 	ierr = VecCopy(ipmP->lamdae,tao->DE); CHKERRQ(ierr);
241a7e14dcfSSatish Balay       }
242a7e14dcfSSatish Balay       /* TODO: fix
243a7e14dcfSSatish Balay       if (ipmP->nb > 0) {
244a7e14dcfSSatish Balay 	ierr = VecScatterBegin
245a7e14dcfSSatish Balay 	PetscInt lstart,lend;
246a7e14dcfSSatish Balay 
247a7e14dcfSSatish Balay 	ierr = VecGetOwnershipRange(ipmP->lamdai,&lstart,&lend);
248a7e14dcfSSatish Balay 	ierr = VecGetArray(ipmP->lamdai,&li); CHKERRQ(ierr);
249a7e14dcfSSatish Balay 	ierr = VecGetArray(tao->DI,&di); CHKERRQ(ierr);
250a7e14dcfSSatish Balay 	for (j=lstart;j<lend;j++) {
251a7e14dcfSSatish Balay 	  if (j < ipmP->nilb) {
252a7e14dcfSSatish Balay 	    di[j] = li[j];
253a7e14dcfSSatish Balay 	  }
254a7e14dcfSSatish Balay 	}
255a7e14dcfSSatish Balay 	ierr = VecRestoreArray(ipmP->lamdai,&li); CHKERRQ(ierr);
256a7e14dcfSSatish Balay 	ierr = VecRestoreArray(tao->DI,&di); CHKERRQ(ierr);
257a7e14dcfSSatish Balay       }
258a7e14dcfSSatish Balay       */
259a7e14dcfSSatish Balay 
260a7e14dcfSSatish Balay 
261a7e14dcfSSatish Balay       ierr = IPMEvaluate(tao); CHKERRQ(ierr);
262a7e14dcfSSatish Balay       ierr = IPMComputeKKT(tao); CHKERRQ(ierr);
263a7e14dcfSSatish Balay       if (ipmP->phi <= phi_target) break;
264a7e14dcfSSatish Balay       alpha /= 2.0;
265a7e14dcfSSatish Balay     }
266a7e14dcfSSatish Balay 
267a7e14dcfSSatish Balay     ierr = TaoMonitor(tao,iter,ipmP->kkt_f,ipmP->phi,0.0,stepsize,&reason);
268a7e14dcfSSatish Balay     iter++;
269a7e14dcfSSatish Balay     CHKERRQ(ierr);
270a7e14dcfSSatish Balay 
271a7e14dcfSSatish Balay   }
272a7e14dcfSSatish Balay 
273a7e14dcfSSatish Balay   PetscFunctionReturn(0);
274a7e14dcfSSatish Balay }
275a7e14dcfSSatish Balay 
276a7e14dcfSSatish Balay #undef __FUNCT__
277a7e14dcfSSatish Balay #define __FUNCT__ "TaoSetup_IPM"
278a7e14dcfSSatish Balay static PetscErrorCode TaoSetup_IPM(TaoSolver tao)
279a7e14dcfSSatish Balay {
280a7e14dcfSSatish Balay   TAO_IPM *ipmP = (TAO_IPM*)tao->data;
281a7e14dcfSSatish Balay   PetscErrorCode ierr;
282a7e14dcfSSatish Balay 
283a7e14dcfSSatish Balay   PetscFunctionBegin;
284a7e14dcfSSatish Balay   ipmP->nb = ipmP->mi = ipmP->me = 0;
285a7e14dcfSSatish Balay   ipmP->K=0;
286a7e14dcfSSatish Balay   ierr = VecGetSize(tao->solution,&ipmP->n); CHKERRQ(ierr);
287a7e14dcfSSatish Balay   if (!tao->gradient) {
288a7e14dcfSSatish Balay     ierr = VecDuplicate(tao->solution, &tao->gradient); CHKERRQ(ierr);
289a7e14dcfSSatish Balay     ierr = VecDuplicate(tao->solution, &tao->stepdirection); CHKERRQ(ierr);
290a7e14dcfSSatish Balay     ierr = VecDuplicate(tao->solution, &ipmP->rd); CHKERRQ(ierr);
291a7e14dcfSSatish Balay     ierr = VecDuplicate(tao->solution, &ipmP->rhs_x); CHKERRQ(ierr);
292a7e14dcfSSatish Balay     ierr = VecDuplicate(tao->solution, &ipmP->work); CHKERRQ(ierr);
293a7e14dcfSSatish Balay     ierr = VecDuplicate(tao->solution, &ipmP->save_x); CHKERRQ(ierr);
294a7e14dcfSSatish Balay   }
295a7e14dcfSSatish Balay 
296a7e14dcfSSatish Balay   if (tao->constraints_equality) {
297a7e14dcfSSatish Balay     ierr = VecGetSize(tao->constraints_equality,&ipmP->me); CHKERRQ(ierr);
298a7e14dcfSSatish Balay     ierr = VecDuplicate(tao->constraints_equality,&ipmP->lamdae); CHKERRQ(ierr);
299a7e14dcfSSatish Balay     ierr = VecDuplicate(tao->constraints_equality,&ipmP->dlamdae); CHKERRQ(ierr);
300a7e14dcfSSatish Balay     ierr = VecDuplicate(tao->constraints_equality,&ipmP->rhs_lamdae); CHKERRQ(ierr);
301a7e14dcfSSatish Balay     ierr = VecDuplicate(tao->constraints_equality,&ipmP->save_lamdae); CHKERRQ(ierr);
302a7e14dcfSSatish Balay     ierr = VecDuplicate(tao->constraints_equality,&ipmP->rpe); CHKERRQ(ierr);
303a7e14dcfSSatish Balay     ierr = VecDuplicate(tao->constraints_equality,&tao->DE); CHKERRQ(ierr);
304a7e14dcfSSatish Balay   }
305a7e14dcfSSatish Balay   if (tao->constraints_inequality) {
306a7e14dcfSSatish Balay     ierr = VecDuplicate(tao->constraints_inequality,&tao->DI); CHKERRQ(ierr);
307a7e14dcfSSatish Balay   }
308a7e14dcfSSatish Balay 
309a7e14dcfSSatish Balay   PetscFunctionReturn(0);
310a7e14dcfSSatish Balay }
311a7e14dcfSSatish Balay 
312a7e14dcfSSatish Balay #undef __FUNCT__
313a7e14dcfSSatish Balay #define __FUNCT__ "IPMInitializeBounds"
314a7e14dcfSSatish Balay static PetscErrorCode IPMInitializeBounds(TaoSolver tao)
315a7e14dcfSSatish Balay {
316a7e14dcfSSatish Balay   TAO_IPM *ipmP = (TAO_IPM*)tao->data;
317a7e14dcfSSatish Balay   Vec xtmp;
318a7e14dcfSSatish Balay   //PetscInt cstart,cend; /* ci (userci + lb + ub) */
319a7e14dcfSSatish Balay   PetscInt xstart,xend;
320a7e14dcfSSatish Balay   PetscInt ucstart,ucend; /* user ci */
321a7e14dcfSSatish Balay   PetscInt ucestart,uceend; /* user ce */
322a7e14dcfSSatish Balay   PetscInt sstart,send;
323a7e14dcfSSatish Balay   PetscInt bigsize;
324a7e14dcfSSatish Balay   PetscInt i,counter,nloc;
325a7e14dcfSSatish Balay   PetscInt *cind,*xind,*ucind,*uceind,*stepind;
326a7e14dcfSSatish Balay   VecType vtype;
327a7e14dcfSSatish Balay   const PetscInt *xli,*xui;
328a7e14dcfSSatish Balay   PetscInt xl_offset,xu_offset;
329a7e14dcfSSatish Balay   IS bigxl,bigxu,isuc,isc,isx,sis,is1;
330a7e14dcfSSatish Balay   PetscErrorCode ierr;
331a7e14dcfSSatish Balay 
332a7e14dcfSSatish Balay   MPI_Comm comm;
333a7e14dcfSSatish Balay   PetscFunctionBegin;
334a7e14dcfSSatish Balay   cind=xind=ucind=uceind=stepind=0;
335a7e14dcfSSatish Balay   ipmP->mi=0;
336a7e14dcfSSatish Balay   ipmP->nxlb=0;
337a7e14dcfSSatish Balay   ipmP->nxub=0;
338a7e14dcfSSatish Balay   ipmP->nb=0;
339a7e14dcfSSatish Balay   ipmP->nslack=0;
340a7e14dcfSSatish Balay 
341a7e14dcfSSatish Balay   ierr = VecDuplicate(tao->solution,&xtmp); CHKERRQ(ierr);
342a7e14dcfSSatish Balay   if (!tao->XL && !tao->XU && tao->ops->computebounds) {
343a7e14dcfSSatish Balay     ierr = TaoComputeVariableBounds(tao); CHKERRQ(ierr);
344a7e14dcfSSatish Balay   }
345a7e14dcfSSatish Balay   if (tao->XL) {
346a7e14dcfSSatish Balay     ierr = VecSet(xtmp,TAO_NINFINITY); CHKERRQ(ierr);
347a7e14dcfSSatish Balay     ierr = VecWhichGreaterThan(tao->XL,xtmp,&ipmP->isxl); CHKERRQ(ierr);
348a7e14dcfSSatish Balay     ierr = ISGetSize(ipmP->isxl,&ipmP->nxlb); CHKERRQ(ierr);
349a7e14dcfSSatish Balay   } else {
350a7e14dcfSSatish Balay     ipmP->nxlb=0;
351a7e14dcfSSatish Balay   }
352a7e14dcfSSatish Balay   if (tao->XU) {
353a7e14dcfSSatish Balay     ierr = VecSet(xtmp,TAO_INFINITY); CHKERRQ(ierr);
354a7e14dcfSSatish Balay     ierr = VecWhichLessThan(tao->XU,xtmp,&ipmP->isxu); CHKERRQ(ierr);
355a7e14dcfSSatish Balay     ierr = ISGetSize(ipmP->isxu,&ipmP->nxub); CHKERRQ(ierr);
356a7e14dcfSSatish Balay   } else {
357a7e14dcfSSatish Balay     ipmP->nxub=0;
358a7e14dcfSSatish Balay   }
359a7e14dcfSSatish Balay   ierr = VecDestroy(&xtmp); CHKERRQ(ierr);
360a7e14dcfSSatish Balay   if (tao->constraints_inequality) {
361a7e14dcfSSatish Balay     ierr = VecGetSize(tao->constraints_inequality,&ipmP->mi); CHKERRQ(ierr);
362a7e14dcfSSatish Balay   } else {
363a7e14dcfSSatish Balay     ipmP->mi = 0;
364a7e14dcfSSatish Balay   }
365a7e14dcfSSatish Balay #if defined DEBUG_K
366a7e14dcfSSatish Balay   PetscPrintf(PETSC_COMM_WORLD,"isxl:\n");
367a7e14dcfSSatish Balay   if (ipmP->nxlb) {
368a7e14dcfSSatish Balay     ISView(ipmP->isxl,0);
369a7e14dcfSSatish Balay   }
370a7e14dcfSSatish Balay   PetscPrintf(PETSC_COMM_WORLD,"isxu:\n");
371a7e14dcfSSatish Balay   if (ipmP->nxub) {
372a7e14dcfSSatish Balay     ISView(ipmP->isxu,0);
373a7e14dcfSSatish Balay   }
374a7e14dcfSSatish Balay 
375a7e14dcfSSatish Balay #endif
376a7e14dcfSSatish Balay   ipmP->nb = ipmP->nxlb + ipmP->nxub + ipmP->mi;
377a7e14dcfSSatish Balay 
378a7e14dcfSSatish Balay   comm = ((PetscObject)(tao->solution))->comm;
379a7e14dcfSSatish Balay 
380a7e14dcfSSatish Balay   bigsize = ipmP->n+2*ipmP->nb+ipmP->me;
381a7e14dcfSSatish Balay   ierr = PetscMalloc(bigsize*sizeof(PetscInt),&stepind); CHKERRQ(ierr);
382a7e14dcfSSatish Balay   ierr = PetscMalloc(ipmP->n*sizeof(PetscInt),&xind); CHKERRQ(ierr);
383a7e14dcfSSatish Balay   ierr = PetscMalloc(ipmP->me*sizeof(PetscInt),&uceind); CHKERRQ(ierr);
384a7e14dcfSSatish Balay   ierr = VecGetOwnershipRange(tao->solution,&xstart,&xend);CHKERRQ(ierr);
385a7e14dcfSSatish Balay 
386a7e14dcfSSatish Balay   if (ipmP->nb > 0) {
387a7e14dcfSSatish Balay     ierr = VecCreate(comm,&ipmP->s); CHKERRQ(ierr);
388a7e14dcfSSatish Balay     ierr = VecSetSizes(ipmP->s,PETSC_DECIDE,ipmP->nb); CHKERRQ(ierr);
389a7e14dcfSSatish Balay     ierr = VecSetFromOptions(ipmP->s); CHKERRQ(ierr);
390a7e14dcfSSatish Balay     ierr = VecDuplicate(ipmP->s,&ipmP->ds); CHKERRQ(ierr);
391a7e14dcfSSatish Balay     ierr = VecDuplicate(ipmP->s,&ipmP->rhs_s); CHKERRQ(ierr);
392a7e14dcfSSatish Balay     ierr = VecDuplicate(ipmP->s,&ipmP->complementarity); CHKERRQ(ierr);
393a7e14dcfSSatish Balay     ierr = VecDuplicate(ipmP->s,&ipmP->ci); CHKERRQ(ierr);
394a7e14dcfSSatish Balay 
395a7e14dcfSSatish Balay     ierr = VecDuplicate(ipmP->s,&ipmP->lamdai); CHKERRQ(ierr);
396a7e14dcfSSatish Balay     ierr = VecDuplicate(ipmP->s,&ipmP->dlamdai); CHKERRQ(ierr);
397a7e14dcfSSatish Balay     ierr = VecDuplicate(ipmP->s,&ipmP->rhs_lamdai); CHKERRQ(ierr);
398a7e14dcfSSatish Balay     ierr = VecDuplicate(ipmP->s,&ipmP->save_lamdai); CHKERRQ(ierr);
399a7e14dcfSSatish Balay 
400a7e14dcfSSatish Balay 
401a7e14dcfSSatish Balay     ierr = VecDuplicate(ipmP->s,&ipmP->save_s); CHKERRQ(ierr);
402a7e14dcfSSatish Balay     ierr = VecDuplicate(ipmP->s,&ipmP->rpi); CHKERRQ(ierr);
403a7e14dcfSSatish Balay     ierr = VecDuplicate(ipmP->s,&ipmP->Zero_nb); CHKERRQ(ierr);
404a7e14dcfSSatish Balay     ierr = VecSet(ipmP->Zero_nb,0.0); CHKERRQ(ierr);
405a7e14dcfSSatish Balay     ierr = VecDuplicate(ipmP->s,&ipmP->One_nb); CHKERRQ(ierr);
406a7e14dcfSSatish Balay     ierr = VecSet(ipmP->One_nb,1.0); CHKERRQ(ierr);
407a7e14dcfSSatish Balay     ierr = VecDuplicate(ipmP->s,&ipmP->Inf_nb); CHKERRQ(ierr);
408a7e14dcfSSatish Balay     ierr = VecSet(ipmP->Inf_nb,TAO_INFINITY); CHKERRQ(ierr);
409a7e14dcfSSatish Balay 
410a7e14dcfSSatish Balay     ierr = PetscMalloc(ipmP->nb*sizeof(PetscInt),&cind); CHKERRQ(ierr);
411a7e14dcfSSatish Balay     ierr = PetscMalloc(ipmP->mi*sizeof(PetscInt),&ucind); CHKERRQ(ierr);
412a7e14dcfSSatish Balay     ierr = VecGetOwnershipRange(ipmP->s,&sstart,&send);CHKERRQ(ierr);
413a7e14dcfSSatish Balay 
414a7e14dcfSSatish Balay 
415a7e14dcfSSatish Balay 
416a7e14dcfSSatish Balay     if (ipmP->mi > 0) {
417a7e14dcfSSatish Balay       ierr = VecGetOwnershipRange(tao->constraints_inequality,&ucstart,&ucend); CHKERRQ(ierr);
418a7e14dcfSSatish Balay       counter=0;
419a7e14dcfSSatish Balay       for (i=ucstart;i<ucend;i++) {
420a7e14dcfSSatish Balay 	cind[counter++] = i;
421a7e14dcfSSatish Balay       }
422a7e14dcfSSatish Balay       ierr = ISCreateGeneral(comm,counter,cind,PETSC_COPY_VALUES,&isuc); CHKERRQ(ierr);
423a7e14dcfSSatish Balay       ierr = ISCreateGeneral(comm,counter,cind,PETSC_COPY_VALUES,&isc); CHKERRQ(ierr);
424a7e14dcfSSatish Balay       ierr = VecScatterCreate(tao->constraints_inequality,isuc,ipmP->ci,isc,&ipmP->ci_scat); CHKERRQ(ierr);
425a7e14dcfSSatish Balay 
426a7e14dcfSSatish Balay       ierr = ISDestroy(&isuc);
427a7e14dcfSSatish Balay       ierr = ISDestroy(&isc);
428a7e14dcfSSatish Balay     }
429a7e14dcfSSatish Balay     /* need to know how may xbound indices are on each process */
430a7e14dcfSSatish Balay     /* TODO better way */
431a7e14dcfSSatish Balay     if (ipmP->nxlb) {
432a7e14dcfSSatish Balay       ierr = ISAllGather(ipmP->isxl,&bigxl);CHKERRQ(ierr);
433a7e14dcfSSatish Balay       ierr = ISGetIndices(bigxl,&xli);CHKERRQ(ierr);
434a7e14dcfSSatish Balay       /* find offsets for this processor */
435a7e14dcfSSatish Balay       xl_offset = ipmP->mi;
436a7e14dcfSSatish Balay       for (i=0;i<ipmP->nxlb;i++) {
437a7e14dcfSSatish Balay 	if (xli[i] < xstart) {
438a7e14dcfSSatish Balay 	  xl_offset++;
439a7e14dcfSSatish Balay 	} else break;
440a7e14dcfSSatish Balay       }
441a7e14dcfSSatish Balay       ierr = ISRestoreIndices(bigxl,&xli);CHKERRQ(ierr);
442a7e14dcfSSatish Balay 
443a7e14dcfSSatish Balay       ierr = ISGetIndices(ipmP->isxl,&xli);CHKERRQ(ierr);
444a7e14dcfSSatish Balay       ierr = ISGetLocalSize(ipmP->isxl,&nloc);CHKERRQ(ierr);
445a7e14dcfSSatish Balay       for (i=0;i<nloc;i++) {
446a7e14dcfSSatish Balay 	xind[i] = xli[i];
447a7e14dcfSSatish Balay 	cind[i] = xl_offset+i;
448a7e14dcfSSatish Balay       }
449a7e14dcfSSatish Balay 
450a7e14dcfSSatish Balay       ierr = ISCreateGeneral(comm,nloc,xind,PETSC_COPY_VALUES,&isx); CHKERRQ(ierr);
451a7e14dcfSSatish Balay       ierr = ISCreateGeneral(comm,nloc,cind,PETSC_COPY_VALUES,&isc);CHKERRQ(ierr);
452a7e14dcfSSatish Balay       ierr = VecScatterCreate(tao->XL,isx,ipmP->ci,isc,&ipmP->xl_scat); CHKERRQ(ierr);
453a7e14dcfSSatish Balay       ierr = ISDestroy(&isx);CHKERRQ(ierr);
454a7e14dcfSSatish Balay       ierr = ISDestroy(&isc);CHKERRQ(ierr);
455a7e14dcfSSatish Balay       ierr = ISDestroy(&bigxl);CHKERRQ(ierr);
456a7e14dcfSSatish Balay     }
457a7e14dcfSSatish Balay 
458a7e14dcfSSatish Balay 
459a7e14dcfSSatish Balay     if (ipmP->nxub) {
460a7e14dcfSSatish Balay       ierr = ISAllGather(ipmP->isxu,&bigxu);CHKERRQ(ierr);
461a7e14dcfSSatish Balay       ierr = ISGetIndices(bigxu,&xui);CHKERRQ(ierr);
462a7e14dcfSSatish Balay       /* find offsets for this processor */
463a7e14dcfSSatish Balay       xu_offset = ipmP->mi + ipmP->nxlb;
464a7e14dcfSSatish Balay       for (i=0;i<ipmP->nxub;i++) {
465a7e14dcfSSatish Balay 	if (xui[i] < xstart) {
466a7e14dcfSSatish Balay 	  xu_offset++;
467a7e14dcfSSatish Balay 	} else break;
468a7e14dcfSSatish Balay       }
469a7e14dcfSSatish Balay       ierr = ISRestoreIndices(bigxu,&xui);CHKERRQ(ierr);
470a7e14dcfSSatish Balay 
471a7e14dcfSSatish Balay       ierr = ISGetIndices(ipmP->isxu,&xui);CHKERRQ(ierr);
472a7e14dcfSSatish Balay       ierr = ISGetLocalSize(ipmP->isxu,&nloc);CHKERRQ(ierr);
473a7e14dcfSSatish Balay       for (i=0;i<nloc;i++) {
474a7e14dcfSSatish Balay 	xind[i] = xui[i];
475a7e14dcfSSatish Balay 	cind[i] = xu_offset+i;
476a7e14dcfSSatish Balay       }
477a7e14dcfSSatish Balay 
478a7e14dcfSSatish Balay       ierr = ISCreateGeneral(comm,nloc,xind,PETSC_COPY_VALUES,&isx); CHKERRQ(ierr);
479a7e14dcfSSatish Balay       ierr = ISCreateGeneral(comm,nloc,cind,PETSC_COPY_VALUES,&isc);CHKERRQ(ierr);
480a7e14dcfSSatish Balay       ierr = VecScatterCreate(tao->XU,isx,ipmP->ci,isc,&ipmP->xu_scat); CHKERRQ(ierr);
481a7e14dcfSSatish Balay       ierr = ISDestroy(&isx);CHKERRQ(ierr);
482a7e14dcfSSatish Balay       ierr = ISDestroy(&isc);CHKERRQ(ierr);
483a7e14dcfSSatish Balay       ierr = ISDestroy(&bigxu);CHKERRQ(ierr);
484a7e14dcfSSatish Balay     }
485a7e14dcfSSatish Balay   }
486a7e14dcfSSatish Balay 
487a7e14dcfSSatish Balay 
488a7e14dcfSSatish Balay   ierr = VecCreate(comm,&ipmP->bigrhs); CHKERRQ(ierr);
489a7e14dcfSSatish Balay   ierr = VecGetType(tao->solution,&vtype); CHKERRQ(ierr);
490a7e14dcfSSatish Balay   ierr = VecSetType(ipmP->bigrhs,vtype); CHKERRQ(ierr);
491a7e14dcfSSatish Balay   ierr = VecSetSizes(ipmP->bigrhs,PETSC_DECIDE,bigsize); CHKERRQ(ierr);
492a7e14dcfSSatish Balay   ierr = VecSetFromOptions(ipmP->bigrhs); CHKERRQ(ierr);
493a7e14dcfSSatish Balay   ierr = VecDuplicate(ipmP->bigrhs,&ipmP->bigstep); CHKERRQ(ierr);
494a7e14dcfSSatish Balay 
495a7e14dcfSSatish Balay   /* create scatters for step->x and x->rhs */
496a7e14dcfSSatish Balay   for (i=xstart;i<xend;i++) {
497a7e14dcfSSatish Balay     stepind[i-xstart] = i;
498a7e14dcfSSatish Balay     xind[i-xstart] = i;
499a7e14dcfSSatish Balay   }
500a7e14dcfSSatish Balay   ierr = ISCreateGeneral(comm,xend-xstart,stepind,PETSC_COPY_VALUES,&sis); CHKERRQ(ierr);
501a7e14dcfSSatish Balay   ierr = ISCreateGeneral(comm,xend-xstart,xind,PETSC_COPY_VALUES,&is1); CHKERRQ(ierr);
502a7e14dcfSSatish Balay   ierr = VecScatterCreate(ipmP->bigstep,sis,tao->solution,is1,&ipmP->step1); CHKERRQ(ierr);
503a7e14dcfSSatish Balay   ierr = VecScatterCreate(tao->solution,is1,ipmP->bigrhs,sis,&ipmP->rhs1); CHKERRQ(ierr);
504a7e14dcfSSatish Balay   ierr = ISDestroy(&sis); CHKERRQ(ierr);
505a7e14dcfSSatish Balay   ierr = ISDestroy(&is1); CHKERRQ(ierr);
506a7e14dcfSSatish Balay 
507a7e14dcfSSatish Balay   if (ipmP->nb > 0) {
508a7e14dcfSSatish Balay     for (i=sstart;i<send;i++) {
509a7e14dcfSSatish Balay       stepind[i-sstart] = i+ipmP->n;
510a7e14dcfSSatish Balay       cind[i-sstart] = i;
511a7e14dcfSSatish Balay     }
512a7e14dcfSSatish Balay     ierr = ISCreateGeneral(comm,send-sstart,stepind,PETSC_COPY_VALUES,&sis); CHKERRQ(ierr);
513a7e14dcfSSatish Balay     ierr = ISCreateGeneral(comm,send-sstart,cind,PETSC_COPY_VALUES,&is1); CHKERRQ(ierr);
514a7e14dcfSSatish Balay     ierr = VecScatterCreate(ipmP->bigstep,sis,ipmP->s,is1,&ipmP->step2); CHKERRQ(ierr);
515a7e14dcfSSatish Balay     ierr = ISDestroy(&sis); CHKERRQ(ierr);
516a7e14dcfSSatish Balay 
517a7e14dcfSSatish Balay     for (i=sstart;i<send;i++) {
518a7e14dcfSSatish Balay       stepind[i-sstart] = i+ipmP->n+ipmP->me;
519a7e14dcfSSatish Balay       cind[i-sstart] = i;
520a7e14dcfSSatish Balay     }
521a7e14dcfSSatish Balay     ierr = ISCreateGeneral(comm,send-sstart,stepind,PETSC_COPY_VALUES,&sis); CHKERRQ(ierr);
522a7e14dcfSSatish Balay     ierr = VecScatterCreate(ipmP->s,is1,ipmP->bigrhs,sis,&ipmP->rhs3); CHKERRQ(ierr);
523a7e14dcfSSatish Balay     ierr = ISDestroy(&sis); CHKERRQ(ierr);
524a7e14dcfSSatish Balay     ierr = ISDestroy(&is1); CHKERRQ(ierr);
525a7e14dcfSSatish Balay 
526a7e14dcfSSatish Balay 
527a7e14dcfSSatish Balay   }
528a7e14dcfSSatish Balay 
529a7e14dcfSSatish Balay   if (ipmP->me > 0) {
530a7e14dcfSSatish Balay     ierr = VecGetOwnershipRange(tao->constraints_equality,&ucestart,&uceend); CHKERRQ(ierr);
531a7e14dcfSSatish Balay     for (i=ucestart;i<uceend;i++) {
532a7e14dcfSSatish Balay       stepind[i-ucestart] = i + ipmP->n+ipmP->nb;
533a7e14dcfSSatish Balay       uceind[i-ucestart] = i;
534a7e14dcfSSatish Balay     }
535a7e14dcfSSatish Balay 
536a7e14dcfSSatish Balay     ierr = ISCreateGeneral(comm,uceend-ucestart,stepind,PETSC_COPY_VALUES,&sis); CHKERRQ(ierr);
537a7e14dcfSSatish Balay     ierr = ISCreateGeneral(comm,uceend-ucestart,uceind,PETSC_COPY_VALUES,&is1); CHKERRQ(ierr);
538a7e14dcfSSatish Balay     ierr = VecScatterCreate(ipmP->bigstep,sis,tao->constraints_equality,is1,&ipmP->step3); CHKERRQ(ierr);
539a7e14dcfSSatish Balay     ierr = ISDestroy(&sis); CHKERRQ(ierr);
540a7e14dcfSSatish Balay 
541a7e14dcfSSatish Balay 
542a7e14dcfSSatish Balay     for (i=ucestart;i<uceend;i++) {
543a7e14dcfSSatish Balay       stepind[i-ucestart] = i + ipmP->n;
544a7e14dcfSSatish Balay     }
545a7e14dcfSSatish Balay 
546a7e14dcfSSatish Balay     ierr = ISCreateGeneral(comm,uceend-ucestart,stepind,PETSC_COPY_VALUES,&sis); CHKERRQ(ierr);
547a7e14dcfSSatish Balay     ierr = VecScatterCreate(tao->constraints_equality,is1,ipmP->bigrhs,sis,&ipmP->rhs2); CHKERRQ(ierr);
548a7e14dcfSSatish Balay     ierr = ISDestroy(&sis); CHKERRQ(ierr);
549a7e14dcfSSatish Balay     ierr = ISDestroy(&is1); CHKERRQ(ierr);
550a7e14dcfSSatish Balay   }
551a7e14dcfSSatish Balay 
552a7e14dcfSSatish Balay   if (ipmP->nb > 0) {
553a7e14dcfSSatish Balay     for (i=sstart;i<send;i++) {
554a7e14dcfSSatish Balay       stepind[i-sstart] = i + ipmP->n + ipmP->nb + ipmP->me;
555a7e14dcfSSatish Balay       cind[i-sstart] = i;
556a7e14dcfSSatish Balay     }
557a7e14dcfSSatish Balay     ierr = ISCreateGeneral(comm,send-sstart,cind,PETSC_COPY_VALUES,&is1);
558a7e14dcfSSatish Balay     ierr = ISCreateGeneral(comm,send-sstart,stepind,PETSC_COPY_VALUES,&sis); CHKERRQ(ierr);
559a7e14dcfSSatish Balay     ierr = VecScatterCreate(ipmP->bigstep,sis,ipmP->s,is1,&ipmP->step4); CHKERRQ(ierr);
560a7e14dcfSSatish Balay     ierr = VecScatterCreate(ipmP->s,is1,ipmP->bigrhs,sis,&ipmP->rhs4); CHKERRQ(ierr);
561a7e14dcfSSatish Balay     ierr = ISDestroy(&sis); CHKERRQ(ierr);
562a7e14dcfSSatish Balay     ierr = ISDestroy(&is1); CHKERRQ(ierr);
563a7e14dcfSSatish Balay   }
564a7e14dcfSSatish Balay 
565a7e14dcfSSatish Balay   ierr = PetscFree(stepind); CHKERRQ(ierr);
566a7e14dcfSSatish Balay   ierr = PetscFree(cind); CHKERRQ(ierr);
567a7e14dcfSSatish Balay   ierr = PetscFree(ucind); CHKERRQ(ierr);
568a7e14dcfSSatish Balay   ierr = PetscFree(uceind); CHKERRQ(ierr);
569a7e14dcfSSatish Balay   ierr = PetscFree(xind); CHKERRQ(ierr);
570a7e14dcfSSatish Balay 
571a7e14dcfSSatish Balay   PetscFunctionReturn(0);
572a7e14dcfSSatish Balay }
573a7e14dcfSSatish Balay 
574a7e14dcfSSatish Balay #undef __FUNCT__
575a7e14dcfSSatish Balay #define __FUNCT__ "TaoDestroy_IPM"
576a7e14dcfSSatish Balay static PetscErrorCode TaoDestroy_IPM(TaoSolver tao)
577a7e14dcfSSatish Balay {
578a7e14dcfSSatish Balay   TAO_IPM *ipmP = (TAO_IPM*)tao->data;
579a7e14dcfSSatish Balay   PetscErrorCode ierr;
580a7e14dcfSSatish Balay   PetscFunctionBegin;
581a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->rd); CHKERRQ(ierr);
582a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->rpe); CHKERRQ(ierr);
583a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->rpi); CHKERRQ(ierr);
584a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->work); CHKERRQ(ierr);
585a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->lamdae); CHKERRQ(ierr);
586a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->lamdai); CHKERRQ(ierr);
587a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->s); CHKERRQ(ierr);
588a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->ds); CHKERRQ(ierr);
589a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->ci); CHKERRQ(ierr);
590a7e14dcfSSatish Balay 
591a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->rhs_x); CHKERRQ(ierr);
592a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->rhs_lamdae); CHKERRQ(ierr);
593a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->rhs_lamdai); CHKERRQ(ierr);
594a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->rhs_s); CHKERRQ(ierr);
595a7e14dcfSSatish Balay 
596a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->save_x); CHKERRQ(ierr);
597a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->save_lamdae); CHKERRQ(ierr);
598a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->save_lamdai); CHKERRQ(ierr);
599a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->save_s); CHKERRQ(ierr);
600a7e14dcfSSatish Balay 
601a7e14dcfSSatish Balay   ierr = VecScatterDestroy(&ipmP->step1); CHKERRQ(ierr);
602a7e14dcfSSatish Balay   ierr = VecScatterDestroy(&ipmP->step2); CHKERRQ(ierr);
603a7e14dcfSSatish Balay   ierr = VecScatterDestroy(&ipmP->step3); CHKERRQ(ierr);
604a7e14dcfSSatish Balay   ierr = VecScatterDestroy(&ipmP->step4); CHKERRQ(ierr);
605a7e14dcfSSatish Balay 
606a7e14dcfSSatish Balay   ierr = VecScatterDestroy(&ipmP->rhs1); CHKERRQ(ierr);
607a7e14dcfSSatish Balay   ierr = VecScatterDestroy(&ipmP->rhs2); CHKERRQ(ierr);
608a7e14dcfSSatish Balay   ierr = VecScatterDestroy(&ipmP->rhs3); CHKERRQ(ierr);
609a7e14dcfSSatish Balay   ierr = VecScatterDestroy(&ipmP->rhs4); CHKERRQ(ierr);
610a7e14dcfSSatish Balay 
611a7e14dcfSSatish Balay   ierr = VecScatterDestroy(&ipmP->ci_scat); CHKERRQ(ierr);
612a7e14dcfSSatish Balay   ierr = VecScatterDestroy(&ipmP->xl_scat); CHKERRQ(ierr);
613a7e14dcfSSatish Balay   ierr = VecScatterDestroy(&ipmP->xu_scat); CHKERRQ(ierr);
614a7e14dcfSSatish Balay 
615a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->dlamdai); CHKERRQ(ierr);
616a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->dlamdae); CHKERRQ(ierr);
617a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->Zero_nb); CHKERRQ(ierr);
618a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->One_nb); CHKERRQ(ierr);
619a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->Inf_nb); CHKERRQ(ierr);
620a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->complementarity); CHKERRQ(ierr);
621a7e14dcfSSatish Balay 
622a7e14dcfSSatish Balay 
623a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->bigrhs); CHKERRQ(ierr);
624a7e14dcfSSatish Balay   ierr = VecDestroy(&ipmP->bigstep); CHKERRQ(ierr);
625a7e14dcfSSatish Balay   ierr = MatDestroy(&ipmP->Ai); CHKERRQ(ierr);
626a7e14dcfSSatish Balay   ierr = MatDestroy(&ipmP->K); CHKERRQ(ierr);
627a7e14dcfSSatish Balay   ierr = ISDestroy(&ipmP->isxu); CHKERRQ(ierr);
628a7e14dcfSSatish Balay   ierr = ISDestroy(&ipmP->isxl); CHKERRQ(ierr);
629a7e14dcfSSatish Balay   ierr = PetscFree(tao->data); CHKERRQ(ierr);
630a7e14dcfSSatish Balay   tao->data = PETSC_NULL;
631a7e14dcfSSatish Balay   PetscFunctionReturn(0);
632a7e14dcfSSatish Balay }
633a7e14dcfSSatish Balay 
634a7e14dcfSSatish Balay #undef __FUNCT__
635a7e14dcfSSatish Balay #define __FUNCT__ "TaoSetFromOptions_IPM"
636a7e14dcfSSatish Balay static PetscErrorCode TaoSetFromOptions_IPM(TaoSolver tao)
637a7e14dcfSSatish Balay {
638a7e14dcfSSatish Balay   TAO_IPM *ipmP = (TAO_IPM*)tao->data;
639a7e14dcfSSatish Balay   PetscErrorCode ierr;
640a7e14dcfSSatish Balay   PetscBool flg;
641a7e14dcfSSatish Balay   PetscFunctionBegin;
642a7e14dcfSSatish Balay   ierr = PetscOptionsHead("IPM method for constrained optimization"); CHKERRQ(ierr);
643a7e14dcfSSatish Balay   ierr = PetscOptionsBool("-ipm_monitorkkt","monitor kkt status",PETSC_NULL,ipmP->monitorkkt,&ipmP->monitorkkt,&flg); CHKERRQ(ierr);
644a7e14dcfSSatish Balay   ierr = PetscOptionsReal("-ipm_pushs","parameter to push initial slack variables away from bounds",PETSC_NULL,ipmP->pushs,&ipmP->pushs,&flg);
645a7e14dcfSSatish Balay   ierr = PetscOptionsReal("-ipm_pushnu","parameter to push initial (inequality) dual variables away from bounds",PETSC_NULL,ipmP->pushnu,&ipmP->pushnu,&flg);
646a7e14dcfSSatish Balay   ierr = PetscOptionsTail(); CHKERRQ(ierr);
647a7e14dcfSSatish Balay   ierr =KSPSetFromOptions(tao->ksp); CHKERRQ(ierr);
648a7e14dcfSSatish Balay   PetscFunctionReturn(0);
649a7e14dcfSSatish Balay }
650a7e14dcfSSatish Balay 
651a7e14dcfSSatish Balay #undef __FUNCT__
652a7e14dcfSSatish Balay #define __FUNCT__ "TaoView_IPM"
653a7e14dcfSSatish Balay static PetscErrorCode TaoView_IPM(TaoSolver tao, PetscViewer viewer)
654a7e14dcfSSatish Balay {
655a7e14dcfSSatish Balay   return 0;
656a7e14dcfSSatish Balay }
657a7e14dcfSSatish Balay 
658a7e14dcfSSatish Balay /* IPMObjectiveAndGradient()
659a7e14dcfSSatish Balay    f = d'x + 0.5 * x' * H * x
660a7e14dcfSSatish Balay    rd = H*x + d + Ae'*lame - Ai'*lami
661a7e14dcfSSatish Balay    rpe = Ae*x - be
662a7e14dcfSSatish Balay    rpi = Ai*x - yi - bi
663a7e14dcfSSatish Balay    mu = yi' * lami/mi;
664a7e14dcfSSatish Balay    com = yi.*lami
665a7e14dcfSSatish Balay 
666a7e14dcfSSatish Balay    phi = ||rd|| + ||rpe|| + ||rpi|| + ||com||
667a7e14dcfSSatish Balay */
668a7e14dcfSSatish Balay /*
669a7e14dcfSSatish Balay #undef __FUNCT__
670a7e14dcfSSatish Balay #define __FUNCT__ "IPMObjective"
671a7e14dcfSSatish Balay static PetscErrorCode IPMObjective(TaoLineSearch ls, Vec X, PetscReal *f, void *tptr)
672a7e14dcfSSatish Balay {
673a7e14dcfSSatish Balay   TaoSolver tao = (TaoSolver)tptr;
674a7e14dcfSSatish Balay   TAO_IPM *ipmP = (TAO_IPM*)tao->data;
675a7e14dcfSSatish Balay   PetscErrorCode ierr;
676a7e14dcfSSatish Balay   PetscFunctionBegin;
677a7e14dcfSSatish Balay   ierr = IPMComputeKKT(tao); CHKERRQ(ierr);
678a7e14dcfSSatish Balay   *f = ipmP->phi;
679a7e14dcfSSatish Balay   PetscFunctionReturn(0);
680a7e14dcfSSatish Balay }
681a7e14dcfSSatish Balay */
682a7e14dcfSSatish Balay 
683a7e14dcfSSatish Balay /*
684a7e14dcfSSatish Balay    f = d'x + 0.5 * x' * H * x
685a7e14dcfSSatish Balay    rd = H*x + d + Ae'*lame - Ai'*lami
686a7e14dcfSSatish Balay        Ai =   jac_ineq
687a7e14dcfSSatish Balay 	       I (w/lb)
688a7e14dcfSSatish Balay 	      -I (w/ub)
689a7e14dcfSSatish Balay 
690a7e14dcfSSatish Balay    rpe = ce
691a7e14dcfSSatish Balay    rpi = ci - s;
692a7e14dcfSSatish Balay    com = s.*lami
693a7e14dcfSSatish Balay    mu = yi' * lami/mi;
694a7e14dcfSSatish Balay 
695a7e14dcfSSatish Balay    phi = ||rd|| + ||rpe|| + ||rpi|| + ||com||
696a7e14dcfSSatish Balay */
697a7e14dcfSSatish Balay #undef __FUNCT__
698a7e14dcfSSatish Balay #define __FUNCT__ "IPMComputeKKT"
699a7e14dcfSSatish Balay static PetscErrorCode IPMComputeKKT(TaoSolver tao)
700a7e14dcfSSatish Balay {
701a7e14dcfSSatish Balay   TAO_IPM *ipmP = (TAO_IPM *)tao->data;
702a7e14dcfSSatish Balay   PetscScalar norm;
703a7e14dcfSSatish Balay   PetscErrorCode ierr;
704a7e14dcfSSatish Balay   ierr = VecCopy(tao->gradient,ipmP->rd); CHKERRQ(ierr);
705a7e14dcfSSatish Balay 
706a7e14dcfSSatish Balay   if (ipmP->me > 0) {
707a7e14dcfSSatish Balay     /* rd = gradient + Ae'*lamdae */
708a7e14dcfSSatish Balay     ierr = MatMultTranspose(tao->jacobian_equality,ipmP->lamdae,ipmP->work); CHKERRQ(ierr);
709a7e14dcfSSatish Balay     ierr = VecAXPY(ipmP->rd, 1.0, ipmP->work); CHKERRQ(ierr);
710a7e14dcfSSatish Balay 
711a7e14dcfSSatish Balay #if defined DEBUG_KKT
712a7e14dcfSSatish Balay     PetscPrintf(PETSC_COMM_WORLD,"\nAe.lamdae\n");
713a7e14dcfSSatish Balay     ierr = VecView(ipmP->work,0);
714a7e14dcfSSatish Balay #endif
715a7e14dcfSSatish Balay     /* rpe = ce(x) */
716a7e14dcfSSatish Balay     ierr = VecCopy(tao->constraints_equality,ipmP->rpe); CHKERRQ(ierr);
717a7e14dcfSSatish Balay 
718a7e14dcfSSatish Balay   }
719a7e14dcfSSatish Balay   if (ipmP->nb > 0) {
720a7e14dcfSSatish Balay     /* rd = rd - Ai'*lamdai */
721a7e14dcfSSatish Balay     ierr = MatMultTranspose(ipmP->Ai,ipmP->lamdai,ipmP->work); CHKERRQ(ierr);
722a7e14dcfSSatish Balay     ierr = VecAXPY(ipmP->rd, -1.0, ipmP->work); CHKERRQ(ierr);
723a7e14dcfSSatish Balay #if defined DEBUG_KKT
724a7e14dcfSSatish Balay     PetscPrintf(PETSC_COMM_WORLD,"\nAi\n");
725a7e14dcfSSatish Balay     ierr = MatView(ipmP->Ai,0);
726a7e14dcfSSatish Balay     PetscPrintf(PETSC_COMM_WORLD,"\nAi.lamdai\n");
727a7e14dcfSSatish Balay     ierr = VecView(ipmP->work,0);
728a7e14dcfSSatish Balay #endif
729a7e14dcfSSatish Balay     /* rpi = cin - s */
730a7e14dcfSSatish Balay     ierr = VecCopy(ipmP->ci,ipmP->rpi); CHKERRQ(ierr);
731a7e14dcfSSatish Balay     ierr = VecAXPY(ipmP->rpi, -1.0, ipmP->s); CHKERRQ(ierr);
732a7e14dcfSSatish Balay 
733a7e14dcfSSatish Balay     /* com = s .* lami */
734a7e14dcfSSatish Balay     ierr = VecPointwiseMult(ipmP->complementarity, ipmP->s,ipmP->lamdai); CHKERRQ(ierr);
735a7e14dcfSSatish Balay 
736a7e14dcfSSatish Balay   }
737a7e14dcfSSatish Balay   /* phi = ||rd; rpe; rpi; com|| */
738a7e14dcfSSatish Balay   ierr = VecDot(ipmP->rd,ipmP->rd,&norm); CHKERRQ(ierr);
739a7e14dcfSSatish Balay   ipmP->phi = norm;
740a7e14dcfSSatish Balay   if (ipmP->me > 0 ) {
741a7e14dcfSSatish Balay     ierr = VecDot(ipmP->rpe,ipmP->rpe,&norm); CHKERRQ(ierr);
742a7e14dcfSSatish Balay     ipmP->phi += norm;
743a7e14dcfSSatish Balay   }
744a7e14dcfSSatish Balay   if (ipmP->nb > 0) {
745a7e14dcfSSatish Balay     ierr = VecDot(ipmP->rpi,ipmP->rpi,&norm); CHKERRQ(ierr);
746a7e14dcfSSatish Balay     ipmP->phi += norm;
747a7e14dcfSSatish Balay     ierr = VecDot(ipmP->complementarity,ipmP->complementarity,&norm); CHKERRQ(ierr);
748a7e14dcfSSatish Balay     ipmP->phi += norm;
749a7e14dcfSSatish Balay     /* mu = s'*lami/nb */
750a7e14dcfSSatish Balay     ierr = VecDot(ipmP->s,ipmP->lamdai,&ipmP->mu); CHKERRQ(ierr);
751a7e14dcfSSatish Balay     ipmP->mu /= ipmP->nb;
752a7e14dcfSSatish Balay   } else {
753a7e14dcfSSatish Balay     ipmP->mu = 1.0;
754a7e14dcfSSatish Balay   }
755a7e14dcfSSatish Balay 
756a7e14dcfSSatish Balay   ipmP->phi = PetscSqrtScalar(ipmP->phi);
757a7e14dcfSSatish Balay #if defined DEBUG_KKT
758a7e14dcfSSatish Balay   if (ipmP->monitorkkt) {
759a7e14dcfSSatish Balay     ierr = PetscPrintf(PETSC_COMM_WORLD,"obj=%G,\tphi = %G,\tmu=%G\talpha1=%G\talpha2=%G\n",ipmP->kkt_f,ipmP->phi,ipmP->mu,ipmP->alpha1,ipmP->alpha2);
760a7e14dcfSSatish Balay   }
761a7e14dcfSSatish Balay   CHKMEMQ;
762a7e14dcfSSatish Balay   PetscPrintf(PETSC_COMM_WORLD,"\ngradient\n");
763a7e14dcfSSatish Balay   ierr = VecView(tao->gradient,0);
764a7e14dcfSSatish Balay   PetscPrintf(PETSC_COMM_WORLD,"\nrd\n");
765a7e14dcfSSatish Balay   ierr = VecView(ipmP->rd,0);
766a7e14dcfSSatish Balay   PetscPrintf(PETSC_COMM_WORLD,"\nrpe\n");
767a7e14dcfSSatish Balay   ierr = VecView(ipmP->rpe,0);
768a7e14dcfSSatish Balay   PetscPrintf(PETSC_COMM_WORLD,"\nrpi\n");
769a7e14dcfSSatish Balay   ierr = VecView(ipmP->rpi,0);
770a7e14dcfSSatish Balay   PetscPrintf(PETSC_COMM_WORLD,"\ncomplementarity\n");
771a7e14dcfSSatish Balay   ierr = VecView(ipmP->complementarity,0);
772a7e14dcfSSatish Balay #endif
773a7e14dcfSSatish Balay   PetscFunctionReturn(0);
774a7e14dcfSSatish Balay }
775a7e14dcfSSatish Balay 
776a7e14dcfSSatish Balay #undef __FUNCT__
777a7e14dcfSSatish Balay #define __FUNCT__ "IPMEvaluate"
778a7e14dcfSSatish Balay /* evaluate user info at current point */
779a7e14dcfSSatish Balay PetscErrorCode IPMEvaluate(TaoSolver tao)
780a7e14dcfSSatish Balay {
781a7e14dcfSSatish Balay   TAO_IPM *ipmP = (TAO_IPM *)tao->data;
782a7e14dcfSSatish Balay   PetscErrorCode ierr;
783a7e14dcfSSatish Balay   PetscFunctionBegin;
784a7e14dcfSSatish Balay   ierr = TaoComputeObjectiveAndGradient(tao,tao->solution,&ipmP->kkt_f,tao->gradient); CHKERRQ(ierr);
785a7e14dcfSSatish Balay   ierr = TaoComputeHessian(tao,tao->solution,&tao->hessian,&tao->hessian_pre,&ipmP->Hflag); CHKERRQ(ierr);
786a7e14dcfSSatish Balay 
787a7e14dcfSSatish Balay   if (ipmP->me > 0) {
788a7e14dcfSSatish Balay     ierr = TaoComputeEqualityConstraints(tao,tao->solution,tao->constraints_equality);
789a7e14dcfSSatish Balay     ierr = TaoComputeJacobianEquality(tao,tao->solution,&tao->jacobian_equality,&tao->jacobian_equality_pre,&ipmP->Aiflag); CHKERRQ(ierr);
790a7e14dcfSSatish Balay   }
791a7e14dcfSSatish Balay   if (ipmP->mi > 0) {
792a7e14dcfSSatish Balay     ierr = TaoComputeInequalityConstraints(tao,tao->solution,tao->constraints_inequality);
793a7e14dcfSSatish Balay     ierr = TaoComputeJacobianInequality(tao,tao->solution,&tao->jacobian_inequality,&tao->jacobian_inequality_pre,&ipmP->Aeflag); CHKERRQ(ierr);
794a7e14dcfSSatish Balay 
795a7e14dcfSSatish Balay   }
796a7e14dcfSSatish Balay   if (ipmP->nb > 0) {
797a7e14dcfSSatish Balay     /* Ai' =   jac_ineq | I (w/lb) | -I (w/ub)  */
798a7e14dcfSSatish Balay     ierr = IPMUpdateAi(tao); CHKERRQ(ierr);
799a7e14dcfSSatish Balay   }
800a7e14dcfSSatish Balay   PetscFunctionReturn(0);
801a7e14dcfSSatish Balay }
802a7e14dcfSSatish Balay 
803a7e14dcfSSatish Balay #undef __FUNCT__
804a7e14dcfSSatish Balay #define __FUNCT__ "IPMPushInitialPoint"
805a7e14dcfSSatish Balay /* Push initial point away from bounds */
806a7e14dcfSSatish Balay PetscErrorCode IPMPushInitialPoint(TaoSolver tao)
807a7e14dcfSSatish Balay {
808a7e14dcfSSatish Balay   TAO_IPM *ipmP = (TAO_IPM *)tao->data;
809a7e14dcfSSatish Balay   PetscErrorCode ierr;
810a7e14dcfSSatish Balay   PetscFunctionBegin;
811a7e14dcfSSatish Balay 
812a7e14dcfSSatish Balay   ierr = TaoComputeVariableBounds(tao); CHKERRQ(ierr);
813a7e14dcfSSatish Balay   if (tao->XL && tao->XU) {
814a7e14dcfSSatish Balay     ierr = VecMedian(tao->XL, tao->solution, tao->XU, tao->solution); CHKERRQ(ierr);
815a7e14dcfSSatish Balay   }
816a7e14dcfSSatish Balay   if (ipmP->nb > 0) {
817a7e14dcfSSatish Balay     ierr = VecSet(ipmP->s,ipmP->pushs); CHKERRQ(ierr);
818a7e14dcfSSatish Balay     ierr = VecSet(ipmP->lamdai,ipmP->pushnu); CHKERRQ(ierr);
819a7e14dcfSSatish Balay     if (ipmP->mi > 0) {
820a7e14dcfSSatish Balay       ierr = VecSet(tao->DI,ipmP->pushnu); CHKERRQ(ierr);
821a7e14dcfSSatish Balay     }
822a7e14dcfSSatish Balay   }
823a7e14dcfSSatish Balay   if (ipmP->me > 0) {
824a7e14dcfSSatish Balay     ierr = VecSet(tao->DE,1.0); CHKERRQ(ierr);
825a7e14dcfSSatish Balay     ierr = VecSet(ipmP->lamdae,1.0); CHKERRQ(ierr);
826a7e14dcfSSatish Balay   }
827a7e14dcfSSatish Balay 
828a7e14dcfSSatish Balay 
829a7e14dcfSSatish Balay   PetscFunctionReturn(0);
830a7e14dcfSSatish Balay }
831a7e14dcfSSatish Balay 
832a7e14dcfSSatish Balay #undef __FUNCT__
833a7e14dcfSSatish Balay #define __FUNCT__ "IPMUpdateAi"
834a7e14dcfSSatish Balay PetscErrorCode IPMUpdateAi(TaoSolver tao)
835a7e14dcfSSatish Balay {
836a7e14dcfSSatish Balay   /* Ai =     Ji
837a7e14dcfSSatish Balay 	      I (w/lb)
838a7e14dcfSSatish Balay 	     -I (w/ub) */
839a7e14dcfSSatish Balay 
840a7e14dcfSSatish Balay   /* Ci =    user->ci
841a7e14dcfSSatish Balay              Xi - lb (w/lb)
842a7e14dcfSSatish Balay 	     -Xi + ub (w/ub)  */
843a7e14dcfSSatish Balay 
844a7e14dcfSSatish Balay   TAO_IPM *ipmP = (TAO_IPM *)tao->data;
845a7e14dcfSSatish Balay   MPI_Comm comm;
846a7e14dcfSSatish Balay   PetscInt i;
847a7e14dcfSSatish Balay   PetscScalar newval;
848a7e14dcfSSatish Balay   PetscInt newrow,newcol,ncols;
849a7e14dcfSSatish Balay   const PetscScalar *vals;
850a7e14dcfSSatish Balay   const PetscInt *cols;
851a7e14dcfSSatish Balay   PetscInt astart,aend,jstart,jend;
852a7e14dcfSSatish Balay   PetscInt *nonzeros;
853a7e14dcfSSatish Balay   PetscInt r2,r3,r4;
854a7e14dcfSSatish Balay   PetscMPIInt mpisize;
855a7e14dcfSSatish Balay   PetscErrorCode ierr;
856a7e14dcfSSatish Balay 
857a7e14dcfSSatish Balay   PetscFunctionBegin;
858a7e14dcfSSatish Balay   CHKMEMQ;
859a7e14dcfSSatish Balay   r2 = ipmP->mi;
860a7e14dcfSSatish Balay   r3 = r2 + ipmP->nxlb;
861a7e14dcfSSatish Balay   r4 = r3 + ipmP->nxub;
862a7e14dcfSSatish Balay 
863a7e14dcfSSatish Balay   if (!ipmP->nb) {
864a7e14dcfSSatish Balay     PetscFunctionReturn(0);
865a7e14dcfSSatish Balay   }
866a7e14dcfSSatish Balay   CHKMEMQ;
867a7e14dcfSSatish Balay 
868a7e14dcfSSatish Balay   /* Create Ai matrix if it doesn't exist yet */
869a7e14dcfSSatish Balay   if (!ipmP->Ai) {
870a7e14dcfSSatish Balay     comm = ((PetscObject)(tao->solution))->comm;
871a7e14dcfSSatish Balay     ierr = PetscMalloc(ipmP->nb*sizeof(PetscInt),&nonzeros); CHKERRQ(ierr);
872a7e14dcfSSatish Balay     ierr = MPI_Comm_size(comm,&mpisize);
873a7e14dcfSSatish Balay     if (mpisize == 1) {
874a7e14dcfSSatish Balay       for (i=0;i<ipmP->mi;i++) {
875a7e14dcfSSatish Balay 	ierr = MatGetRow(tao->jacobian_inequality,i,&ncols,PETSC_NULL,PETSC_NULL); CHKERRQ(ierr);
876a7e14dcfSSatish Balay 	nonzeros[i] = ncols;
877a7e14dcfSSatish Balay 	ierr = MatRestoreRow(tao->jacobian_inequality,i,&ncols,PETSC_NULL,PETSC_NULL); CHKERRQ(ierr);
878a7e14dcfSSatish Balay       }
879a7e14dcfSSatish Balay       for (i=r2;i<r4;i++) {
880a7e14dcfSSatish Balay 	nonzeros[i] = 1;
881a7e14dcfSSatish Balay       }
882a7e14dcfSSatish Balay     }
883a7e14dcfSSatish Balay     ierr = MatCreate(comm,&ipmP->Ai); CHKERRQ(ierr);
884a7e14dcfSSatish Balay     ierr = MatSetType(ipmP->Ai,MATAIJ); CHKERRQ(ierr);
885a7e14dcfSSatish Balay     ierr = MatSetSizes(ipmP->Ai,PETSC_DECIDE,PETSC_DECIDE,ipmP->nb,ipmP->n);CHKERRQ(ierr);
886a7e14dcfSSatish Balay     ierr = MatSetFromOptions(ipmP->Ai); CHKERRQ(ierr);
887a7e14dcfSSatish Balay     ierr = MatMPIAIJSetPreallocation(ipmP->Ai,ipmP->nb,PETSC_NULL,ipmP->nb,PETSC_NULL);
888a7e14dcfSSatish Balay     ierr = MatSeqAIJSetPreallocation(ipmP->Ai,PETSC_DEFAULT,nonzeros);CHKERRQ(ierr);
889a7e14dcfSSatish Balay     if (mpisize ==1) {
890a7e14dcfSSatish Balay       ierr = PetscFree(nonzeros);CHKERRQ(ierr);
891a7e14dcfSSatish Balay     }
892a7e14dcfSSatish Balay   }
893a7e14dcfSSatish Balay 
894a7e14dcfSSatish Balay 
895a7e14dcfSSatish Balay   /* Copy values from user jacobian to Ai */
896a7e14dcfSSatish Balay   ierr = MatGetOwnershipRange(ipmP->Ai,&astart,&aend); CHKERRQ(ierr);
897a7e14dcfSSatish Balay 
898a7e14dcfSSatish Balay   /* Ai w/lb */
899a7e14dcfSSatish Balay   if (ipmP->mi) {
900a7e14dcfSSatish Balay     ierr = MatZeroEntries(ipmP->Ai); CHKERRQ(ierr);
901a7e14dcfSSatish Balay     ierr = MatGetOwnershipRange(tao->jacobian_inequality,&jstart,&jend); CHKERRQ(ierr);
902a7e14dcfSSatish Balay     for (i=jstart;i<jend;i++) {
903a7e14dcfSSatish Balay       ierr = MatGetRow(tao->jacobian_inequality,i,&ncols,&cols,&vals); CHKERRQ(ierr);
904a7e14dcfSSatish Balay       newrow = i;
905a7e14dcfSSatish Balay       ierr = MatSetValues(ipmP->Ai,1,&newrow,ncols,cols,vals,INSERT_VALUES); CHKERRQ(ierr);
906a7e14dcfSSatish Balay       ierr = MatRestoreRow(tao->jacobian_inequality,i,&ncols,&cols,&vals); CHKERRQ(ierr);
907a7e14dcfSSatish Balay     }
908a7e14dcfSSatish Balay   }
909a7e14dcfSSatish Balay 
910a7e14dcfSSatish Balay 
911a7e14dcfSSatish Balay   /* I w/ xlb */
912a7e14dcfSSatish Balay   if (ipmP->nxlb) {
913a7e14dcfSSatish Balay     for (i=0;i<ipmP->nxlb;i++) {
914a7e14dcfSSatish Balay       if (i>=astart && i<aend) {
915a7e14dcfSSatish Balay 	newrow = i+r2;
916a7e14dcfSSatish Balay 	newcol = i;
917a7e14dcfSSatish Balay 	newval = 1.0;
918a7e14dcfSSatish Balay 	ierr = MatSetValues(ipmP->Ai,1,&newrow,1,&newcol,&newval,INSERT_VALUES); CHKERRQ(ierr);
919a7e14dcfSSatish Balay       }
920a7e14dcfSSatish Balay     }
921a7e14dcfSSatish Balay   }
922a7e14dcfSSatish Balay   if (ipmP->nxub) {
923a7e14dcfSSatish Balay     /* I w/ xub */
924a7e14dcfSSatish Balay     for (i=0;i<ipmP->nxub;i++) {
925a7e14dcfSSatish Balay       if (i>=astart && i<aend) {
926a7e14dcfSSatish Balay       newrow = i+r3;
927a7e14dcfSSatish Balay       newcol = i;
928a7e14dcfSSatish Balay       newval = -1.0;
929a7e14dcfSSatish Balay       ierr = MatSetValues(ipmP->Ai,1,&newrow,1,&newcol,&newval,INSERT_VALUES); CHKERRQ(ierr);
930a7e14dcfSSatish Balay       }
931a7e14dcfSSatish Balay     }
932a7e14dcfSSatish Balay   }
933a7e14dcfSSatish Balay 
934a7e14dcfSSatish Balay 
935a7e14dcfSSatish Balay   ierr = MatAssemblyBegin(ipmP->Ai,MAT_FINAL_ASSEMBLY);
936a7e14dcfSSatish Balay   ierr = MatAssemblyEnd(ipmP->Ai,MAT_FINAL_ASSEMBLY);
937a7e14dcfSSatish Balay   CHKMEMQ;
938a7e14dcfSSatish Balay 
939a7e14dcfSSatish Balay   ierr = VecSet(ipmP->ci,0.0); CHKERRQ(ierr);
940a7e14dcfSSatish Balay 
941a7e14dcfSSatish Balay   /* user ci */
942a7e14dcfSSatish Balay   if (ipmP->mi > 0) {
943a7e14dcfSSatish Balay     ierr = VecScatterBegin(ipmP->ci_scat,tao->constraints_inequality,ipmP->ci,INSERT_VALUES,SCATTER_FORWARD); CHKERRQ(ierr);
944a7e14dcfSSatish Balay     ierr = VecScatterEnd(ipmP->ci_scat,tao->constraints_inequality,ipmP->ci,INSERT_VALUES,SCATTER_FORWARD); CHKERRQ(ierr);
945a7e14dcfSSatish Balay   }
946a7e14dcfSSatish Balay   if (!ipmP->work){
947a7e14dcfSSatish Balay     VecDuplicate(tao->solution,&ipmP->work);
948a7e14dcfSSatish Balay   }
949a7e14dcfSSatish Balay   ierr = VecCopy(tao->solution,ipmP->work);CHKERRQ(ierr);
950a7e14dcfSSatish Balay   if (tao->XL) {
951a7e14dcfSSatish Balay     ierr = VecAXPY(ipmP->work,-1.0,tao->XL);CHKERRQ(ierr);
952a7e14dcfSSatish Balay 
953a7e14dcfSSatish Balay     /* lower bounds on variables */
954a7e14dcfSSatish Balay     if (ipmP->nxlb > 0) {
955a7e14dcfSSatish Balay       ierr = VecScatterBegin(ipmP->xl_scat,ipmP->work,ipmP->ci,INSERT_VALUES,SCATTER_FORWARD); CHKERRQ(ierr);
956a7e14dcfSSatish Balay       ierr = VecScatterEnd(ipmP->xl_scat,ipmP->work,ipmP->ci,INSERT_VALUES,SCATTER_FORWARD); CHKERRQ(ierr);
957a7e14dcfSSatish Balay     }
958a7e14dcfSSatish Balay   }
959a7e14dcfSSatish Balay   if (tao->XU) {
960a7e14dcfSSatish Balay     /* upper bounds on variables */
961a7e14dcfSSatish Balay     ierr = VecCopy(tao->solution,ipmP->work);CHKERRQ(ierr);
962a7e14dcfSSatish Balay     ierr = VecScale(ipmP->work,-1.0);CHKERRQ(ierr);
963a7e14dcfSSatish Balay     ierr = VecAXPY(ipmP->work,1.0,tao->XU);CHKERRQ(ierr);
964a7e14dcfSSatish Balay     if (ipmP->nxub > 0) {
965a7e14dcfSSatish Balay       ierr = VecScatterBegin(ipmP->xu_scat,ipmP->work,ipmP->ci,INSERT_VALUES,SCATTER_FORWARD); CHKERRQ(ierr);
966a7e14dcfSSatish Balay       ierr = VecScatterEnd(ipmP->xu_scat,ipmP->work,ipmP->ci,INSERT_VALUES,SCATTER_FORWARD); CHKERRQ(ierr);
967a7e14dcfSSatish Balay     }
968a7e14dcfSSatish Balay   }
969a7e14dcfSSatish Balay 
970a7e14dcfSSatish Balay   PetscFunctionReturn(0);
971a7e14dcfSSatish Balay }
972a7e14dcfSSatish Balay 
973a7e14dcfSSatish Balay #undef __FUNCT__
974a7e14dcfSSatish Balay #define __FUNCT__ "IPMUpdateK"
975a7e14dcfSSatish Balay /* create K = [ Hlag , 0 , Ae', -Ai'];
976a7e14dcfSSatish Balay               [Ae , 0,   0  , 0];
977a7e14dcfSSatish Balay               [Ai ,-I,   0 ,  0];
978a7e14dcfSSatish Balay               [ 0 , S ,  0,   Y ];  */
979a7e14dcfSSatish Balay PetscErrorCode IPMUpdateK(TaoSolver tao)
980a7e14dcfSSatish Balay {
981a7e14dcfSSatish Balay   TAO_IPM *ipmP = (TAO_IPM *)tao->data;
982a7e14dcfSSatish Balay   MPI_Comm comm;
983a7e14dcfSSatish Balay   PetscMPIInt mpisize;
984a7e14dcfSSatish Balay   PetscErrorCode ierr;
985a7e14dcfSSatish Balay   PetscInt i,j,row;
986a7e14dcfSSatish Balay   PetscInt ncols,newcol,newcols[2],newrow;
987a7e14dcfSSatish Balay   const PetscInt *cols;
988a7e14dcfSSatish Balay   const PetscReal *vals;
989a7e14dcfSSatish Balay   PetscReal *l,*y;
990a7e14dcfSSatish Balay   PetscReal *newvals;
991a7e14dcfSSatish Balay   PetscReal newval;
992a7e14dcfSSatish Balay   PetscInt subsize;
993a7e14dcfSSatish Balay   const PetscInt *indices;
994a7e14dcfSSatish Balay   PetscInt *nonzeros,*d_nonzeros,*o_nonzeros;
995a7e14dcfSSatish Balay   PetscInt bigsize;
996a7e14dcfSSatish Balay   PetscInt r1,r2,r3;
997a7e14dcfSSatish Balay   PetscInt c1,c2,c3;
998a7e14dcfSSatish Balay   PetscInt klocalsize;
999a7e14dcfSSatish Balay   PetscInt hstart,hend,kstart,kend;
1000a7e14dcfSSatish Balay   PetscInt aistart,aiend,aestart,aeend;
1001a7e14dcfSSatish Balay   PetscInt sstart,send;
1002a7e14dcfSSatish Balay   PetscFunctionBegin;
1003a7e14dcfSSatish Balay 
1004a7e14dcfSSatish Balay   comm = ((PetscObject)(tao->solution))->comm;
1005a7e14dcfSSatish Balay   ierr = MPI_Comm_size(comm,&mpisize);
1006a7e14dcfSSatish Balay   ierr = IPMUpdateAi(tao); CHKERRQ(ierr);
1007a7e14dcfSSatish Balay #if defined DEBUG_K
1008a7e14dcfSSatish Balay   PetscPrintf(PETSC_COMM_WORLD,"H\n");  MatView(tao->hessian,0);
1009a7e14dcfSSatish Balay   if (ipmP->nb) {
1010a7e14dcfSSatish Balay     PetscPrintf(PETSC_COMM_WORLD,"Ai\n"); MatView(ipmP->Ai,0);
1011a7e14dcfSSatish Balay   }
1012a7e14dcfSSatish Balay   if (ipmP->me) {
1013a7e14dcfSSatish Balay     PetscPrintf(PETSC_COMM_WORLD,"Ae\n"); MatView(tao->jacobian_equality,0);
1014a7e14dcfSSatish Balay   }
1015a7e14dcfSSatish Balay 
1016a7e14dcfSSatish Balay #endif
1017a7e14dcfSSatish Balay   /* allocate workspace */
1018a7e14dcfSSatish Balay   subsize = PetscMax(ipmP->n,ipmP->nb);
1019a7e14dcfSSatish Balay   subsize = PetscMax(ipmP->me,subsize);
1020a7e14dcfSSatish Balay   subsize = PetscMax(2,subsize);
1021a7e14dcfSSatish Balay   ierr = PetscMalloc(sizeof(PetscInt)*subsize,&indices); CHKERRQ(ierr);
1022a7e14dcfSSatish Balay   ierr = PetscMalloc(sizeof(PetscReal)*subsize,&newvals); CHKERRQ(ierr);
1023a7e14dcfSSatish Balay 
1024a7e14dcfSSatish Balay   r1 = c1 = ipmP->n;
1025a7e14dcfSSatish Balay   r2 = r1 + ipmP->me;  c2 = c1 + ipmP->nb;
1026a7e14dcfSSatish Balay   r3 = c3 = r2 + ipmP->nb;
1027a7e14dcfSSatish Balay 
1028a7e14dcfSSatish Balay 
1029a7e14dcfSSatish Balay 
1030a7e14dcfSSatish Balay   bigsize = ipmP->n+2*ipmP->nb+ipmP->me;
1031a7e14dcfSSatish Balay   ierr = VecGetOwnershipRange(ipmP->bigrhs,&kstart,&kend); CHKERRQ(ierr);
1032a7e14dcfSSatish Balay   ierr = MatGetOwnershipRange(tao->hessian,&hstart,&hend); CHKERRQ(ierr);
1033a7e14dcfSSatish Balay   klocalsize = kend-kstart;
1034a7e14dcfSSatish Balay   if (!ipmP->K) {
1035a7e14dcfSSatish Balay     if (mpisize == 1) {
1036a7e14dcfSSatish Balay       ierr = PetscMalloc((kend-kstart)*sizeof(PetscInt),&nonzeros);CHKERRQ(ierr);
1037a7e14dcfSSatish Balay       for (i=0;i<bigsize;i++) {
1038a7e14dcfSSatish Balay 	if (i<r1) {
1039a7e14dcfSSatish Balay 	  ierr = MatGetRow(tao->hessian,i,&ncols,PETSC_NULL,PETSC_NULL); CHKERRQ(ierr);
1040a7e14dcfSSatish Balay 	  nonzeros[i] = ncols;
1041a7e14dcfSSatish Balay 	  ierr = MatRestoreRow(tao->hessian,i,&ncols,PETSC_NULL,PETSC_NULL); CHKERRQ(ierr);
1042a7e14dcfSSatish Balay 	  nonzeros[i] += ipmP->me+ipmP->nb;
1043a7e14dcfSSatish Balay 	} else if (i<r2) {
1044a7e14dcfSSatish Balay 	  nonzeros[i-kstart] = ipmP->n;
1045a7e14dcfSSatish Balay 	} else if (i<r3) {
1046a7e14dcfSSatish Balay 	  nonzeros[i-kstart] = ipmP->n+1;
1047a7e14dcfSSatish Balay 	} else if (i<bigsize) {
1048a7e14dcfSSatish Balay 	  nonzeros[i-kstart] = 2;
1049a7e14dcfSSatish Balay 	}
1050a7e14dcfSSatish Balay       }
1051a7e14dcfSSatish Balay       ierr = MatCreate(comm,&ipmP->K); CHKERRQ(ierr);
1052a7e14dcfSSatish Balay       ierr = MatSetType(ipmP->K,MATSEQAIJ); CHKERRQ(ierr);
1053a7e14dcfSSatish Balay       ierr = MatSetSizes(ipmP->K,klocalsize,klocalsize,PETSC_DETERMINE,PETSC_DETERMINE);CHKERRQ(ierr);
1054a7e14dcfSSatish Balay       ierr = MatSeqAIJSetPreallocation(ipmP->K,0,nonzeros); CHKERRQ(ierr);
1055a7e14dcfSSatish Balay       ierr = MatSetFromOptions(ipmP->K); CHKERRQ(ierr);
1056a7e14dcfSSatish Balay       ierr = PetscFree(nonzeros); CHKERRQ(ierr);
1057a7e14dcfSSatish Balay     } else {
1058a7e14dcfSSatish Balay       ierr = PetscMalloc((kend-kstart)*sizeof(PetscInt),&d_nonzeros); CHKERRQ(ierr);
1059a7e14dcfSSatish Balay       ierr = PetscMalloc((kend-kstart)*sizeof(PetscInt),&o_nonzeros); CHKERRQ(ierr);
1060a7e14dcfSSatish Balay       for (i=kstart;i<kend;i++) {
1061a7e14dcfSSatish Balay 	if (i<r1) {
1062a7e14dcfSSatish Balay 	  /* TODO fix preallocation for mpi mats */
1063a7e14dcfSSatish Balay 	  d_nonzeros[i-kstart] = PetscMin(ipmP->n+ipmP->me+ipmP->nb,kend-kstart);
1064a7e14dcfSSatish Balay 	  o_nonzeros[i-kstart] = PetscMin(ipmP->n+ipmP->me+ipmP->nb,bigsize-(kend-kstart));
1065a7e14dcfSSatish Balay 	} else if (i<r2) {
1066a7e14dcfSSatish Balay 	  d_nonzeros[i-kstart] = PetscMin(ipmP->n,kend-kstart);
1067a7e14dcfSSatish Balay 	  o_nonzeros[i-kstart] = PetscMin(ipmP->n,bigsize-(kend-kstart));
1068a7e14dcfSSatish Balay 	} else if (i<r3) {
1069a7e14dcfSSatish Balay 	  d_nonzeros[i-kstart] = PetscMin(ipmP->n+2,kend-kstart);
1070a7e14dcfSSatish Balay 	  o_nonzeros[i-kstart] = PetscMin(ipmP->n+2,bigsize-(kend-kstart));
1071a7e14dcfSSatish Balay 	} else {
1072a7e14dcfSSatish Balay 	  d_nonzeros[i-kstart] = PetscMin(2,kend-kstart);
1073a7e14dcfSSatish Balay 	  o_nonzeros[i-kstart] = PetscMin(2,bigsize-(kend-kstart));
1074a7e14dcfSSatish Balay 	}
1075a7e14dcfSSatish Balay       }
1076a7e14dcfSSatish Balay       ierr = MatCreate(comm,&ipmP->K); CHKERRQ(ierr);
1077a7e14dcfSSatish Balay       ierr = MatSetType(ipmP->K,MATMPIAIJ); CHKERRQ(ierr);
1078a7e14dcfSSatish Balay       ierr = MatSetSizes(ipmP->K,klocalsize,klocalsize,PETSC_DETERMINE,PETSC_DETERMINE);CHKERRQ(ierr);
1079a7e14dcfSSatish Balay       ierr = MatMPIAIJSetPreallocation(ipmP->K,0,d_nonzeros,0,o_nonzeros); CHKERRQ(ierr);
1080a7e14dcfSSatish Balay       ierr = PetscFree(d_nonzeros); CHKERRQ(ierr);
1081a7e14dcfSSatish Balay       ierr = PetscFree(o_nonzeros); CHKERRQ(ierr);
1082a7e14dcfSSatish Balay       ierr = MatSetFromOptions(ipmP->K); CHKERRQ(ierr);
1083a7e14dcfSSatish Balay 
1084a7e14dcfSSatish Balay     }
1085a7e14dcfSSatish Balay   }
1086a7e14dcfSSatish Balay 
1087a7e14dcfSSatish Balay 
1088a7e14dcfSSatish Balay   ierr = MatZeroEntries(ipmP->K); CHKERRQ(ierr);
1089a7e14dcfSSatish Balay   /* Copy H */
1090a7e14dcfSSatish Balay   for (i=hstart;i<hend;i++) {
1091a7e14dcfSSatish Balay     ierr = MatGetRow(tao->hessian,i,&ncols,&cols,&vals); CHKERRQ(ierr);
1092a7e14dcfSSatish Balay     if (ncols > 0) {
1093a7e14dcfSSatish Balay       ierr = MatSetValues(ipmP->K,1,&i,ncols,cols,vals,INSERT_VALUES); CHKERRQ(ierr);
1094a7e14dcfSSatish Balay     }
1095a7e14dcfSSatish Balay     ierr = MatRestoreRow(tao->hessian,i,&ncols,&cols,&vals); CHKERRQ(ierr);
1096a7e14dcfSSatish Balay   }
1097a7e14dcfSSatish Balay 
1098a7e14dcfSSatish Balay   /* Copy Ae and Ae' */
1099a7e14dcfSSatish Balay   if (ipmP->me > 0) {
1100a7e14dcfSSatish Balay     ierr = MatGetOwnershipRange(tao->jacobian_equality,&aestart,&aeend); CHKERRQ(ierr);
1101a7e14dcfSSatish Balay     for (i=aestart;i<aeend;i++) {
1102a7e14dcfSSatish Balay       ierr = MatGetRow(tao->jacobian_equality,i,&ncols,&cols,&vals); CHKERRQ(ierr);
1103a7e14dcfSSatish Balay       if (ncols > 0) {
1104a7e14dcfSSatish Balay 	/*Ae*/
1105a7e14dcfSSatish Balay 	row = i+r1;
1106a7e14dcfSSatish Balay 	ierr = MatSetValues(ipmP->K,1,&row,ncols,cols,vals,INSERT_VALUES); CHKERRQ(ierr);
1107a7e14dcfSSatish Balay 	/*Ae'*/
1108a7e14dcfSSatish Balay 	for (j=0;j<ncols;j++) {
1109a7e14dcfSSatish Balay 	  newcol = i + c2;
1110a7e14dcfSSatish Balay 	  newrow = cols[j];
1111a7e14dcfSSatish Balay 	  newval = vals[j];
1112a7e14dcfSSatish Balay 	  ierr = MatSetValues(ipmP->K,1,&newrow,1,&newcol,&newval,INSERT_VALUES); CHKERRQ(ierr);
1113a7e14dcfSSatish Balay 	}
1114a7e14dcfSSatish Balay       }
1115a7e14dcfSSatish Balay       ierr = MatRestoreRow(tao->jacobian_equality,i,&ncols,&cols,&vals); CHKERRQ(ierr);
1116a7e14dcfSSatish Balay     }
1117a7e14dcfSSatish Balay   }
1118a7e14dcfSSatish Balay 
1119a7e14dcfSSatish Balay   if (ipmP->nb > 0) {
1120a7e14dcfSSatish Balay     ierr = MatGetOwnershipRange(ipmP->Ai,&aistart,&aiend); CHKERRQ(ierr);
1121a7e14dcfSSatish Balay     /* Copy Ai,and Ai' */
1122a7e14dcfSSatish Balay     for (i=aistart;i<aiend;i++) {
1123a7e14dcfSSatish Balay       row = i+r2;
1124a7e14dcfSSatish Balay       ierr = MatGetRow(ipmP->Ai,i,&ncols,&cols,&vals); CHKERRQ(ierr);
1125a7e14dcfSSatish Balay       if (ncols > 0) {
1126a7e14dcfSSatish Balay 	/*Ai*/
1127a7e14dcfSSatish Balay 	ierr = MatSetValues(ipmP->K,1,&row,ncols,cols,vals,INSERT_VALUES); CHKERRQ(ierr);
1128a7e14dcfSSatish Balay 	/*-Ai'*/
1129a7e14dcfSSatish Balay 	for (j=0;j<ncols;j++) {
1130a7e14dcfSSatish Balay 	  newcol = i + c3;
1131a7e14dcfSSatish Balay 	  newrow = cols[j];
1132a7e14dcfSSatish Balay 	  newval = -vals[j];
1133a7e14dcfSSatish Balay 	  ierr = MatSetValues(ipmP->K,1,&newrow,1,&newcol,&newval,INSERT_VALUES); CHKERRQ(ierr);
1134a7e14dcfSSatish Balay 	}
1135a7e14dcfSSatish Balay       }
1136a7e14dcfSSatish Balay       ierr = MatRestoreRow(ipmP->Ai,i,&ncols,&cols,&vals); CHKERRQ(ierr);
1137a7e14dcfSSatish Balay     }
1138a7e14dcfSSatish Balay 
1139a7e14dcfSSatish Balay 
1140a7e14dcfSSatish Balay 
1141a7e14dcfSSatish Balay     /* -I */
1142a7e14dcfSSatish Balay     for (i=kstart;i<kend;i++) {
1143a7e14dcfSSatish Balay       if (i>=r2 && i<r3) {
1144a7e14dcfSSatish Balay 	newrow = i;
1145a7e14dcfSSatish Balay 	newcol = i-r2+c1;
1146a7e14dcfSSatish Balay 	newval = -1.0;
1147a7e14dcfSSatish Balay 	MatSetValues(ipmP->K,1,&newrow,1,&newcol,&newval,INSERT_VALUES); CHKERRQ(ierr);
1148a7e14dcfSSatish Balay       }
1149a7e14dcfSSatish Balay     }
1150a7e14dcfSSatish Balay 
1151a7e14dcfSSatish Balay     /* Copy L,Y */
1152a7e14dcfSSatish Balay     ierr = VecGetOwnershipRange(ipmP->s,&sstart,&send);CHKERRQ(ierr);
1153a7e14dcfSSatish Balay     ierr = VecGetArray(ipmP->lamdai,&l); CHKERRQ(ierr);
1154a7e14dcfSSatish Balay     ierr = VecGetArray(ipmP->s,&y); CHKERRQ(ierr);
1155a7e14dcfSSatish Balay 
1156a7e14dcfSSatish Balay     for (i=sstart;i<send;i++) {
1157a7e14dcfSSatish Balay       newcols[0] = c1+i;
1158a7e14dcfSSatish Balay       newcols[1] = c3+i;
1159a7e14dcfSSatish Balay       newvals[0] = l[i-sstart];
1160a7e14dcfSSatish Balay       newvals[1] = y[i-sstart];
1161a7e14dcfSSatish Balay       newrow = r3+i;
1162a7e14dcfSSatish Balay       ierr = MatSetValues(ipmP->K,1,&newrow,2,newcols,newvals,INSERT_VALUES); CHKERRQ(ierr);
1163a7e14dcfSSatish Balay     }
1164a7e14dcfSSatish Balay 
1165a7e14dcfSSatish Balay     ierr = VecRestoreArray(ipmP->lamdai,&l); CHKERRQ(ierr);
1166a7e14dcfSSatish Balay     ierr = VecRestoreArray(ipmP->s,&y); CHKERRQ(ierr);
1167a7e14dcfSSatish Balay   }
1168a7e14dcfSSatish Balay 
1169a7e14dcfSSatish Balay   ierr = PetscFree(indices); CHKERRQ(ierr);
1170a7e14dcfSSatish Balay   ierr = PetscFree(newvals); CHKERRQ(ierr);
1171a7e14dcfSSatish Balay   ierr = MatAssemblyBegin(ipmP->K,MAT_FINAL_ASSEMBLY); CHKERRQ(ierr);
1172a7e14dcfSSatish Balay   ierr = MatAssemblyEnd(ipmP->K,MAT_FINAL_ASSEMBLY); CHKERRQ(ierr);
1173a7e14dcfSSatish Balay #if defined DEBUG_K
1174a7e14dcfSSatish Balay   PetscPrintf(PETSC_COMM_WORLD,"K\n");  MatView(ipmP->K,0);
1175a7e14dcfSSatish Balay #endif
1176a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1177a7e14dcfSSatish Balay }
1178a7e14dcfSSatish Balay 
1179a7e14dcfSSatish Balay #undef __FUNCT__
1180a7e14dcfSSatish Balay #define __FUNCT__ "IPMGatherRHS"
1181a7e14dcfSSatish Balay PetscErrorCode IPMGatherRHS(TaoSolver tao,Vec RHS,Vec X1,Vec X2,Vec X3,Vec X4)
1182a7e14dcfSSatish Balay {
1183a7e14dcfSSatish Balay   TAO_IPM *ipmP = (TAO_IPM *)tao->data;
1184a7e14dcfSSatish Balay   PetscErrorCode ierr;
1185a7e14dcfSSatish Balay   PetscFunctionBegin;
1186a7e14dcfSSatish Balay 
1187a7e14dcfSSatish Balay   /* rhs = [x1      (n)
1188a7e14dcfSSatish Balay             x2     (me)
1189a7e14dcfSSatish Balay 	    x3     (nb)
1190a7e14dcfSSatish Balay 	    x4     (nb)] */
1191a7e14dcfSSatish Balay   if (X1) {
1192a7e14dcfSSatish Balay     ierr = VecScatterBegin(ipmP->rhs1,X1,RHS,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1193a7e14dcfSSatish Balay     ierr = VecScatterEnd(ipmP->rhs1,X1,RHS,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1194a7e14dcfSSatish Balay   }
1195a7e14dcfSSatish Balay   if (ipmP->me > 0 && X2) {
1196a7e14dcfSSatish Balay     ierr = VecScatterBegin(ipmP->rhs2,X2,RHS,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1197a7e14dcfSSatish Balay     ierr = VecScatterEnd(ipmP->rhs2,X2,RHS,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1198a7e14dcfSSatish Balay   }
1199a7e14dcfSSatish Balay   if (ipmP->nb > 0) {
1200a7e14dcfSSatish Balay     if (X3) {
1201a7e14dcfSSatish Balay       ierr = VecScatterBegin(ipmP->rhs3,X3,RHS,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1202a7e14dcfSSatish Balay       ierr = VecScatterEnd(ipmP->rhs3,X3,RHS,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1203a7e14dcfSSatish Balay     }
1204a7e14dcfSSatish Balay     if (X4) {
1205a7e14dcfSSatish Balay       ierr = VecScatterBegin(ipmP->rhs4,X4,RHS,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1206a7e14dcfSSatish Balay       ierr = VecScatterEnd(ipmP->rhs4,X4,RHS,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1207a7e14dcfSSatish Balay     }
1208a7e14dcfSSatish Balay   }
1209a7e14dcfSSatish Balay #if defined(DEBUG_SCATTER)
1210a7e14dcfSSatish Balay   PetscPrintf(PETSC_COMM_WORLD,"X1-X4\n");
1211a7e14dcfSSatish Balay   if (X1) {VecView(X1,0);}
1212a7e14dcfSSatish Balay   if (X2) {VecView(X2,0);}
1213a7e14dcfSSatish Balay   if (X3) {VecView(X3,0);}
1214a7e14dcfSSatish Balay   if (X4) {VecView(X4,0);}
1215a7e14dcfSSatish Balay   PetscPrintf(PETSC_COMM_WORLD,"RHS\n");
1216a7e14dcfSSatish Balay   VecView(RHS,0);
1217a7e14dcfSSatish Balay #endif
1218a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1219a7e14dcfSSatish Balay }
1220a7e14dcfSSatish Balay 
1221a7e14dcfSSatish Balay 
1222a7e14dcfSSatish Balay 
1223a7e14dcfSSatish Balay #undef __FUNCT__
1224a7e14dcfSSatish Balay #define __FUNCT__ "IPMScatterStep"
1225a7e14dcfSSatish Balay PetscErrorCode IPMScatterStep(TaoSolver tao, Vec STEP, Vec X1, Vec X2, Vec X3, Vec X4)
1226a7e14dcfSSatish Balay {
1227a7e14dcfSSatish Balay   TAO_IPM *ipmP = (TAO_IPM *)tao->data;
1228a7e14dcfSSatish Balay   PetscErrorCode ierr;
1229a7e14dcfSSatish Balay   PetscFunctionBegin;
1230a7e14dcfSSatish Balay   CHKMEMQ;
1231a7e14dcfSSatish Balay   /*        [x1    (n)
1232a7e14dcfSSatish Balay 	     x2    (nb) may be 0
1233a7e14dcfSSatish Balay  	     x3    (me) may be 0
1234a7e14dcfSSatish Balay 	     x4    (nb) may be 0 */
1235a7e14dcfSSatish Balay   if (X1) {
1236a7e14dcfSSatish Balay     ierr = VecScatterBegin(ipmP->step1,STEP,X1,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1237a7e14dcfSSatish Balay     ierr = VecScatterEnd(ipmP->step1,STEP,X1,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1238a7e14dcfSSatish Balay   }
1239a7e14dcfSSatish Balay   if (X2 && ipmP->nb > 0) {
1240a7e14dcfSSatish Balay     ierr = VecScatterBegin(ipmP->step2,STEP,X2,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1241a7e14dcfSSatish Balay     ierr = VecScatterEnd(ipmP->step2,STEP,X2,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1242a7e14dcfSSatish Balay   }
1243a7e14dcfSSatish Balay   if (X3 && ipmP->me > 0) {
1244a7e14dcfSSatish Balay     ierr = VecScatterBegin(ipmP->step3,STEP,X3,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1245a7e14dcfSSatish Balay     ierr = VecScatterEnd(ipmP->step3,STEP,X3,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1246a7e14dcfSSatish Balay   }
1247a7e14dcfSSatish Balay   if (X4 && ipmP->nb > 0) {
1248a7e14dcfSSatish Balay     ierr = VecScatterBegin(ipmP->step4,STEP,X4,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1249a7e14dcfSSatish Balay     ierr = VecScatterEnd(ipmP->step4,STEP,X4,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1250a7e14dcfSSatish Balay   }
1251a7e14dcfSSatish Balay   CHKMEMQ;
1252a7e14dcfSSatish Balay #if defined(DEBUG_SCATTER)
1253a7e14dcfSSatish Balay   PetscPrintf(PETSC_COMM_WORLD,"Step\n");
1254a7e14dcfSSatish Balay   VecView(STEP,0);
1255a7e14dcfSSatish Balay   PetscPrintf(PETSC_COMM_WORLD,"X1-X4\n");
1256a7e14dcfSSatish Balay   if (X1) {VecView(X1,0);}
1257a7e14dcfSSatish Balay   if (X2) {VecView(X2,0);}
1258a7e14dcfSSatish Balay   if (X3) {VecView(X3,0);}
1259a7e14dcfSSatish Balay   if (X4) {VecView(X4,0);}
1260a7e14dcfSSatish Balay #endif
1261a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1262a7e14dcfSSatish Balay }
1263a7e14dcfSSatish Balay 
1264a7e14dcfSSatish Balay 
1265a7e14dcfSSatish Balay EXTERN_C_BEGIN
1266a7e14dcfSSatish Balay 
1267a7e14dcfSSatish Balay #undef __FUNCT__
1268a7e14dcfSSatish Balay #define __FUNCT__ "TaoCreate_IPM"
1269a7e14dcfSSatish Balay PetscErrorCode TaoCreate_IPM(TaoSolver tao)
1270a7e14dcfSSatish Balay {
1271a7e14dcfSSatish Balay   TAO_IPM *ipmP;
1272a7e14dcfSSatish Balay   //  const char *ipmls_type = TAOLINESEARCH_IPM;
1273a7e14dcfSSatish Balay   PetscErrorCode ierr;
1274a7e14dcfSSatish Balay 
1275a7e14dcfSSatish Balay   PetscFunctionBegin;
1276a7e14dcfSSatish Balay   tao->ops->setup = TaoSetup_IPM;
1277a7e14dcfSSatish Balay   tao->ops->solve = TaoSolve_IPM;
1278a7e14dcfSSatish Balay   tao->ops->view = TaoView_IPM;
1279a7e14dcfSSatish Balay   tao->ops->setfromoptions = TaoSetFromOptions_IPM;
1280a7e14dcfSSatish Balay   tao->ops->destroy = TaoDestroy_IPM;
1281a7e14dcfSSatish Balay   //tao->ops->computedual = TaoComputeDual_IPM;
1282a7e14dcfSSatish Balay 
1283*3c9e27cfSGeoffrey Irving   ierr = PetscNewLog(tao,&ipmP); CHKERRQ(ierr);
1284a7e14dcfSSatish Balay   tao->data = (void*)ipmP;
1285a7e14dcfSSatish Balay   tao->max_it = 200;
1286a7e14dcfSSatish Balay   tao->max_funcs = 500;
1287a7e14dcfSSatish Balay   tao->fatol = 1e-4;
1288a7e14dcfSSatish Balay   tao->frtol = 1e-4;
1289a7e14dcfSSatish Balay   ipmP->dec = 10000; /* line search critera */
1290a7e14dcfSSatish Balay   ipmP->taumin = 0.995;
1291a7e14dcfSSatish Balay   ipmP->monitorkkt = PETSC_FALSE;
1292a7e14dcfSSatish Balay   ipmP->pushs = 100;
1293a7e14dcfSSatish Balay   ipmP->pushnu = 100;
1294a7e14dcfSSatish Balay   ierr = KSPCreate(((PetscObject)tao)->comm, &tao->ksp); CHKERRQ(ierr);
1295a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1296a7e14dcfSSatish Balay 
1297a7e14dcfSSatish Balay 
1298a7e14dcfSSatish Balay }
1299a7e14dcfSSatish Balay EXTERN_C_END
1300a7e14dcfSSatish Balay 
1301