///////////////////////////////////////////////////////////////////////////////// //// //// Simple drivers for sparse bundle adjustment based on the //// Levenberg - Marquardt minimization algorithm //// This file provides simple wrappers to the functions defined in sba_levmar.c //// Copyright (C) 2004 Manolis Lourakis (lourakis@ics.forth.gr) //// Institute of Computer Science, Foundation for Research & Technology - Hellas //// Heraklion, Crete, Greece. //// //// This program is free software; you can redistribute it and/or modify //// it under the terms of the GNU General Public License as published by //// the Free Software Foundation; either version 2 of the License, or //// (at your option) any later version. //// //// This program is distributed in the hope that it will be useful, //// but WITHOUT ANY WARRANTY; without even the implied warranty of //// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the //// GNU General Public License for more details. //// /////////////////////////////////////////////////////////////////////////////////// #include #include #include #include #include #include "sba.h" #define FABS(x) (((x)>=0)? (x) : -(x)) struct wrap_motstr_data_ { void (*proj)(int j, int i, double *aj, double *bi, double *xij, void *adata); // Q void (*projac)(int j, int i, double *aj, double *bi, double *Aij, double *Bij, void *adata); // dQ/da, dQ/db int cnp, pnp, mnp; /* parameter numbers */ void *adata; }; struct wrap_mot_data_ { void (*proj)(int j, int i, double *aj, double *xij, void *adata); // Q void (*projac)(int j, int i, double *aj, double *Aij, void *adata); // dQ/da int cnp, mnp; /* parameter numbers */ void *adata; }; struct wrap_str_data_ { void (*proj)(int j, int i, double *bi, double *xij, void *adata); // Q void (*projac)(int j, int i, double *bi, double *Bij, void *adata); // dQ/db int pnp, mnp; /* parameter numbers */ void *adata; }; /* Routines to estimate the estimated measurement vector (i.e. "func") and * its sparse jacobian (i.e. "fjac") needed by BA expert drivers. Code below * makes use of user-supplied functions computing "Q", "dQ/da", d"Q/db", * i.e. predicted projection and associated jacobians for a SINGLE image measurement. * Notice also that what follows is two pairs of "func" and corresponding "fjac" routines. * The first is to be used in full (i.e. motion + structure) BA, the second in * motion only BA. */ /* FULL BUNDLE ADJUSTMENT */ /* Given a parameter vector p made up of the 3D coordinates of n points and the parameters of m cameras, compute in * hx the prediction of the measurements, i.e. the projections of 3D points in the m images. The measurements * are returned in the order (hx_11^T, .. hx_1m^T, ..., hx_n1^T, .. hx_nm^T)^T, where hx_ij is the predicted * projection of the i-th point on the j-th camera. * Caller supplies rcidxs and rcsubs which can be used as working memory. * Notice that depending on idxij, some of the hx_ij might be missing * */ static void sba_motstr_Qs(double *p, struct sba_crsm *idxij, int *rcidxs, int *rcsubs, double *hx, void *adata) { register int i, j; int cnp, pnp, mnp; double *pa, *pb, *paj, *pbi, *pxij; int n, m, nnz; struct wrap_motstr_data_ *wdata; void (*proj)(int j, int i, double *aj, double *bi, double *xij, void *proj_adata); void *proj_adata; wdata=(struct wrap_motstr_data_ *)adata; cnp=wdata->cnp; pnp=wdata->pnp; mnp=wdata->mnp; proj=wdata->proj; proj_adata=wdata->adata; n=idxij->nr; m=idxij->nc; pa=p; pb=p+m*cnp; for(j=0; jval[rcidxs[i]]*mnp; // set pxij to point to hx_ij (*proj)(j, rcsubs[i], paj, pbi, pxij, proj_adata); // evaluate Q in pxij } } } /* Given a parameter vector p made up of the 3D coordinates of n points and the parameters of m cameras, compute in * jac the jacobian of the predicted measurements, i.e. the jacobian of the projections of 3D points in the m images. * The jacobian is returned in the order (A_11, ..., A_1m, ..., A_n1, ..., A_nm, B_11, ..., B_1m, ..., B_n1, ..., B_nm), * where A_ij=dx_ij/db_j and B_ij=dx_ij/db_i (see HZ). * Caller supplies rcidxs and rcsubs which can be used as working memory. * Notice that depending on idxij, some of the A_ij, B_ij might be missing * */ static void sba_motstr_Qs_jac(double *p, struct sba_crsm *idxij, int *rcidxs, int *rcsubs, double *jac, void *adata) { register int i, j; int cnp, pnp, mnp; double *pa, *pb, *paj, *pbi, *jaca, *jacb, *pAij, *pBij; int n, m, nnz, Asz, Bsz, idx; struct wrap_motstr_data_ *wdata; void (*projac)(int j, int i, double *aj, double *bi, double *Aij, double *Bij, void *projac_adata); void *projac_adata; wdata=(struct wrap_motstr_data_ *)adata; cnp=wdata->cnp; pnp=wdata->pnp; mnp=wdata->mnp; projac=wdata->projac; projac_adata=wdata->adata; n=idxij->nr; m=idxij->nc; pa=p; pb=p+m*cnp; Asz=mnp*cnp; Bsz=mnp*pnp; jaca=jac; jacb=jac+idxij->nnz*Asz; for(j=0; jval[rcidxs[i]]; pAij=jaca + idx*Asz; // set pAij to point to A_ij pBij=jacb + idx*Bsz; // set pBij to point to B_ij (*projac)(j, rcsubs[i], paj, pbi, pAij, pBij, projac_adata); // evaluate dQ/da, dQ/db in pAij, pBij } } } /* Given a parameter vector p made up of the 3D coordinates of n points and the parameters of m cameras, compute in * jac the jacobian of the predicted measurements, i.e. the jacobian of the projections of 3D points in the m images. * The jacobian is approximated with the aid of finite differences and is returned in the order * (A_11, ..., A_1m, ..., A_n1, ..., A_nm, B_11, ..., B_1m, ..., B_n1, ..., B_nm), * where A_ij=dx_ij/da_j and B_ij=dx_ij/db_i (see HZ). * Notice that depending on idxij, some of the A_ij, B_ij might be missing * * Problem-specific information is assumed to be stored in a structure pointed to by "dat". * * NOTE: This function is provided mainly for illustration purposes; in case that execution time is a concern, * the jacobian should be computed analytically */ static void sba_motstr_Qs_fdjac( double *p, /* I: current parameter estimate, (m*cnp+n*pnp)x1 */ struct sba_crsm *idxij, /* I: sparse matrix containing the location of x_ij in hx */ int *rcidxs, /* work array for the indexes of nonzero elements of a single sparse matrix row/column */ int *rcsubs, /* work array for the subscripts of nonzero elements in a single sparse matrix row/column */ double *jac, /* O: array for storing the approximated jacobian */ void *dat) /* I: points to a "wrap_motstr_data_" structure */ { register int i, j, ii, jj; double *pa, *pb, *paj, *pbi, *jaca, *jacb; register double *pAB; int n, m, nnz, Asz, Bsz; double tmp; register double d, d1; struct wrap_motstr_data_ *fdjd; void (*proj)(int j, int i, double *aj, double *bi, double *xij, void *adata); double *hxij, *hxxij; int cnp, pnp, mnp; void *adata; /* retrieve problem-specific information passed in *dat */ fdjd=(struct wrap_motstr_data_ *)dat; proj=fdjd->proj; cnp=fdjd->cnp; pnp=fdjd->pnp; mnp=fdjd->mnp; adata=fdjd->adata; n=idxij->nr; m=idxij->nc; pa=p; pb=p+m*cnp; Asz=mnp*cnp; Bsz=mnp*pnp; jaca=jac; jacb=jac+idxij->nnz*Asz; /* allocate memory for hxij, hxxij */ if((hxij=malloc(2*mnp*sizeof(double)))==NULL){ fprintf(stderr, "memory allocation request failed in sba_motstr_Qs_fdjac()!\n"); exit(1); } hxxij=hxij+mnp; if(cnp){ // is motion varying? /* compute A_ij */ for(j=0; jval[rcidxs[i]]*Asz; // set pAB to point to A_ij for(ii=0; iival[rcidxs[j]]*Bsz; // set pAB to point to B_ij for(ii=0; iicnp; mnp=wdata->mnp; proj=wdata->proj; proj_adata=wdata->adata; //n=idxij->nr; m=idxij->nc; for(j=0; jval[rcidxs[i]]*mnp; // set pxij to point to hx_ij (*proj)(j, rcsubs[i], paj, pxij, proj_adata); // evaluate Q in pxij } } } /* Given a parameter vector p made up of the parameters of m cameras, compute in jac * the jacobian of the predicted measurements, i.e. the jacobian of the projections of 3D points in the m images. * The jacobian is returned in the order (A_11, ..., A_1m, ..., A_n1, ..., A_nm), * where A_ij=dx_ij/db_j (see HZ). * Caller supplies rcidxs and rcsubs which can be used as working memory. * Notice that depending on idxij, some of the A_ij might be missing * */ static void sba_mot_Qs_jac(double *p, struct sba_crsm *idxij, int *rcidxs, int *rcsubs, double *jac, void *adata) { register int i, j; int cnp, mnp; double *paj, *jaca, *pAij; //int n; int m, nnz, Asz, idx; struct wrap_mot_data_ *wdata; void (*projac)(int j, int i, double *aj, double *Aij, void *projac_adata); void *projac_adata; wdata=(struct wrap_mot_data_ *)adata; cnp=wdata->cnp; mnp=wdata->mnp; projac=wdata->projac; projac_adata=wdata->adata; //n=idxij->nr; m=idxij->nc; Asz=mnp*cnp; jaca=jac; for(j=0; jval[rcidxs[i]]; pAij=jaca + idx*Asz; // set pAij to point to A_ij (*projac)(j, rcsubs[i], paj, pAij, projac_adata); // evaluate dQ/da in pAij } } } /* Given a parameter vector p made up of the parameters of m cameras, compute in jac the jacobian * of the predicted measurements, i.e. the jacobian of the projections of 3D points in the m images. * The jacobian is approximated with the aid of finite differences and is returned in the order * (A_11, ..., A_1m, ..., A_n1, ..., A_nm), where A_ij=dx_ij/da_j (see HZ). * Notice that depending on idxij, some of the A_ij might be missing * * Problem-specific information is assumed to be stored in a structure pointed to by "dat". * * NOTE: This function is provided mainly for illustration purposes; in case that execution time is a concern, * the jacobian should be computed analytically */ static void sba_mot_Qs_fdjac( double *p, /* I: current parameter estimate, (m*cnp)x1 */ struct sba_crsm *idxij, /* I: sparse matrix containing the location of x_ij in hx */ int *rcidxs, /* work array for the indexes of nonzero elements of a single sparse matrix row/column */ int *rcsubs, /* work array for the subscripts of nonzero elements in a single sparse matrix row/column */ double *jac, /* O: array for storing the approximated jacobian */ void *dat) /* I: points to a "wrap_mot_data_" structure */ { register int i, j, ii, jj; double *paj, *jaca; register double *pA; //int n; int m, nnz, Asz; double tmp; register double d, d1; struct wrap_mot_data_ *fdjd; void (*proj)(int j, int i, double *aj, double *xij, void *adata); double *hxij, *hxxij; int cnp, mnp; void *adata; /* retrieve problem-specific information passed in *dat */ fdjd=(struct wrap_mot_data_ *)dat; proj=fdjd->proj; cnp=fdjd->cnp; mnp=fdjd->mnp; adata=fdjd->adata; //n=idxij->nr; m=idxij->nc; Asz=mnp*cnp; jaca=jac; /* allocate memory for hxij, hxxij */ if((hxij=malloc(2*mnp*sizeof(double)))==NULL){ fprintf(stderr, "memory allocation request failed in sba_mot_Qs_fdjac()!\n"); exit(1); } hxxij=hxij+mnp; /* compute A_ij */ for(j=0; jval[rcidxs[i]]*Asz; // set pA to point to A_ij for(ii=0; iipnp; mnp=wdata->mnp; proj=wdata->proj; proj_adata=wdata->adata; //n=idxij->nr; m=idxij->nc; for(j=0; jval[rcidxs[i]]*mnp; // set pxij to point to hx_ij (*proj)(j, rcsubs[i], pbi, pxij, proj_adata); // evaluate Q in pxij } } } /* Given a parameter vector p made up of the 3D coordinates of n points, compute in * jac the jacobian of the predicted measurements, i.e. the jacobian of the projections of 3D points in the m images. * The jacobian is returned in the order (B_11, ..., B_1m, ..., B_n1, ..., B_nm), where B_ij=dx_ij/db_i (see HZ). * Caller supplies rcidxs and rcsubs which can be used as working memory. * Notice that depending on idxij, some of the B_ij might be missing * */ static void sba_str_Qs_jac(double *p, struct sba_crsm *idxij, int *rcidxs, int *rcsubs, double *jac, void *adata) { register int i, j; int pnp, mnp; double *pbi, *pBij; //int n; int m, nnz, Bsz, idx; struct wrap_str_data_ *wdata; void (*projac)(int j, int i, double *bi, double *Bij, void *projac_adata); void *projac_adata; wdata=(struct wrap_str_data_ *)adata; pnp=wdata->pnp; mnp=wdata->mnp; projac=wdata->projac; projac_adata=wdata->adata; //n=idxij->nr; m=idxij->nc; Bsz=mnp*pnp; for(j=0; jval[rcidxs[i]]; pBij=jac + idx*Bsz; // set pBij to point to B_ij (*projac)(j, rcsubs[i], pbi, pBij, projac_adata); // evaluate dQ/db in pBij } } } /* Given a parameter vector p made up of the 3D coordinates of n points, compute in * jac the jacobian of the predicted measurements, i.e. the jacobian of the projections of 3D points in the m images. * The jacobian is approximated with the aid of finite differences and is returned in the order * (B_11, ..., B_1m, ..., B_n1, ..., B_nm), where B_ij=dx_ij/db_i (see HZ). * Notice that depending on idxij, some of the B_ij might be missing * * Problem-specific information is assumed to be stored in a structure pointed to by "dat". * * NOTE: This function is provided mainly for illustration purposes; in case that execution time is a concern, * the jacobian should be computed analytically */ static void sba_str_Qs_fdjac( double *p, /* I: current parameter estimate, (n*pnp)x1 */ struct sba_crsm *idxij, /* I: sparse matrix containing the location of x_ij in hx */ int *rcidxs, /* work array for the indexes of nonzero elements of a single sparse matrix row/column */ int *rcsubs, /* work array for the subscripts of nonzero elements in a single sparse matrix row/column */ double *jac, /* O: array for storing the approximated jacobian */ void *dat) /* I: points to a "wrap_str_data_" structure */ { register int i, j, ii, jj; double *pbi; register double *pB; //int m; int n, nnz, Bsz; double tmp; register double d, d1; struct wrap_str_data_ *fdjd; void (*proj)(int j, int i, double *bi, double *xij, void *adata); double *hxij, *hxxij; int pnp, mnp; void *adata; /* retrieve problem-specific information passed in *dat */ fdjd=(struct wrap_str_data_ *)dat; proj=fdjd->proj; pnp=fdjd->pnp; mnp=fdjd->mnp; adata=fdjd->adata; n=idxij->nr; //m=idxij->nc; Bsz=mnp*pnp; /* allocate memory for hxij, hxxij */ if((hxij=malloc(2*mnp*sizeof(double)))==NULL){ fprintf(stderr, "memory allocation request failed in sba_str_Qs_fdjac()!\n"); exit(1); } hxxij=hxij+mnp; /* compute B_ij */ for(i=0; ival[rcidxs[j]]*Bsz; // set pB to point to B_ij for(ii=0; ii