slim.cpp 28 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807
  1. // This file is part of libigl, a simple c++ geometry processing library.
  2. //
  3. // Copyright (C) 2016 Michael Rabinovich
  4. //
  5. // This Source Code Form is subject to the terms of the Mozilla Public License
  6. // v. 2.0. If a copy of the MPL was not distributed with this file, You can
  7. // obtain one at http://mozilla.org/MPL/2.0/.
  8. #include "slim.h"
  9. #include "boundary_loop.h"
  10. #include "cotmatrix.h"
  11. #include "edge_lengths.h"
  12. #include "grad.h"
  13. #include "local_basis.h"
  14. #include "repdiag.h"
  15. #include "vector_area_matrix.h"
  16. #include "arap.h"
  17. #include "cat.h"
  18. #include "doublearea.h"
  19. #include "grad.h"
  20. #include "local_basis.h"
  21. #include "per_face_normals.h"
  22. #include "slice_into.h"
  23. #include "volume.h"
  24. #include "polar_svd.h"
  25. #include "flip_avoiding_line_search.h"
  26. #include "mapping_energy_with_jacobians.h"
  27. #include <iostream>
  28. #include <map>
  29. #include <set>
  30. #include <vector>
  31. #include <Eigen/IterativeLinearSolvers>
  32. #include <Eigen/SparseCholesky>
  33. #include <Eigen/IterativeLinearSolvers>
  34. #include "Timer.h"
  35. #include "sparse_cached.h"
  36. #include "AtA_cached.h"
  37. #ifdef CHOLMOD
  38. #include <Eigen/CholmodSupport>
  39. #endif
  40. namespace igl
  41. {
  42. namespace slim
  43. {
  44. // Definitions of internal functions
  45. IGL_INLINE void buildRhs(igl::SLIMData& s, const Eigen::SparseMatrix<double> &A);
  46. IGL_INLINE void add_soft_constraints(igl::SLIMData& s, Eigen::SparseMatrix<double> &L);
  47. IGL_INLINE double compute_energy(igl::SLIMData& s, Eigen::MatrixXd &V_new);
  48. IGL_INLINE double compute_soft_const_energy(igl::SLIMData& s,
  49. const Eigen::MatrixXd &V,
  50. const Eigen::MatrixXi &F,
  51. Eigen::MatrixXd &V_o);
  52. IGL_INLINE void solve_weighted_arap(igl::SLIMData& s,
  53. const Eigen::MatrixXd &V,
  54. const Eigen::MatrixXi &F,
  55. Eigen::MatrixXd &uv,
  56. Eigen::VectorXi &soft_b_p,
  57. Eigen::MatrixXd &soft_bc_p);
  58. IGL_INLINE void update_weights_and_closest_rotations( igl::SLIMData& s,
  59. Eigen::MatrixXd &uv);
  60. IGL_INLINE void compute_jacobians(igl::SLIMData& s, const Eigen::MatrixXd &uv);
  61. IGL_INLINE void build_linear_system(igl::SLIMData& s, Eigen::SparseMatrix<double> &L);
  62. IGL_INLINE void pre_calc(igl::SLIMData& s);
  63. // Implementation
  64. IGL_INLINE void compute_jacobians(igl::SLIMData& s, const Eigen::MatrixXd &uv)
  65. {
  66. if (s.F.cols() == 3)
  67. {
  68. // Ji=[D1*u,D2*u,D1*v,D2*v];
  69. s.Ji.col(0) = s.Dx * uv.col(0);
  70. s.Ji.col(1) = s.Dy * uv.col(0);
  71. s.Ji.col(2) = s.Dx * uv.col(1);
  72. s.Ji.col(3) = s.Dy * uv.col(1);
  73. }
  74. else /*tet mesh*/{
  75. // Ji=[D1*u,D2*u,D3*u, D1*v,D2*v, D3*v, D1*w,D2*w,D3*w];
  76. s.Ji.col(0) = s.Dx * uv.col(0);
  77. s.Ji.col(1) = s.Dy * uv.col(0);
  78. s.Ji.col(2) = s.Dz * uv.col(0);
  79. s.Ji.col(3) = s.Dx * uv.col(1);
  80. s.Ji.col(4) = s.Dy * uv.col(1);
  81. s.Ji.col(5) = s.Dz * uv.col(1);
  82. s.Ji.col(6) = s.Dx * uv.col(2);
  83. s.Ji.col(7) = s.Dy * uv.col(2);
  84. s.Ji.col(8) = s.Dz * uv.col(2);
  85. }
  86. }
  87. IGL_INLINE void update_weights_and_closest_rotations(igl::SLIMData& s, Eigen::MatrixXd &uv)
  88. {
  89. compute_jacobians(s, uv);
  90. slim_update_weights_and_closest_rotations_with_jacobians(s.Ji, s.slim_energy, s.exp_factor, s.W, s.Ri);
  91. }
  92. IGL_INLINE void solve_weighted_arap(igl::SLIMData& s,
  93. const Eigen::MatrixXd &V,
  94. const Eigen::MatrixXi &F,
  95. Eigen::MatrixXd &uv,
  96. Eigen::VectorXi &soft_b_p,
  97. Eigen::MatrixXd &soft_bc_p)
  98. {
  99. using namespace Eigen;
  100. Eigen::SparseMatrix<double> L;
  101. build_linear_system(s,L);
  102. igl::Timer t;
  103. //t.start();
  104. // solve
  105. Eigen::VectorXd Uc;
  106. #ifndef CHOLMOD
  107. if (s.dim == 2)
  108. {
  109. SimplicialLDLT<Eigen::SparseMatrix<double> > solver;
  110. Uc = solver.compute(L).solve(s.rhs);
  111. }
  112. else
  113. { // seems like CG performs much worse for 2D and way better for 3D
  114. Eigen::VectorXd guess(uv.rows() * s.dim);
  115. for (int i = 0; i < s.v_num; i++) for (int j = 0; j < s.dim; j++) guess(uv.rows() * j + i) = uv(i, j); // flatten vector
  116. ConjugateGradient<Eigen::SparseMatrix<double>, Lower | Upper> cg;
  117. cg.setTolerance(1e-8);
  118. cg.compute(L);
  119. Uc = cg.solveWithGuess(s.rhs, guess);
  120. }
  121. #else
  122. CholmodSimplicialLDLT<Eigen::SparseMatrix<double> > solver;
  123. Uc = solver.compute(L).solve(s.rhs);
  124. #endif
  125. for (int i = 0; i < s.dim; i++)
  126. uv.col(i) = Uc.block(i * s.v_n, 0, s.v_n, 1);
  127. // t.stop();
  128. // std::cerr << "solve: " << t.getElapsedTime() << std::endl;
  129. }
  130. IGL_INLINE void pre_calc(igl::SLIMData& s)
  131. {
  132. if (!s.has_pre_calc)
  133. {
  134. s.v_n = s.v_num;
  135. s.f_n = s.f_num;
  136. if (s.F.cols() == 3)
  137. {
  138. s.dim = 2;
  139. Eigen::MatrixXd F1, F2, F3;
  140. igl::local_basis(s.V, s.F, F1, F2, F3);
  141. Eigen::SparseMatrix<double> G;
  142. igl::grad(s.V, s.F, G);
  143. Eigen::SparseMatrix<double> Face_Proj;
  144. auto face_proj = [](Eigen::MatrixXd& F){
  145. std::vector<Eigen::Triplet<double> >IJV;
  146. int f_num = F.rows();
  147. for(int i=0; i<F.rows(); i++) {
  148. IJV.push_back(Eigen::Triplet<double>(i, i, F(i,0)));
  149. IJV.push_back(Eigen::Triplet<double>(i, i+f_num, F(i,1)));
  150. IJV.push_back(Eigen::Triplet<double>(i, i+2*f_num, F(i,2)));
  151. }
  152. Eigen::SparseMatrix<double> P(f_num, 3*f_num);
  153. P.setFromTriplets(IJV.begin(), IJV.end());
  154. return P;
  155. };
  156. s.Dx = face_proj(F1) * G;
  157. s.Dy = face_proj(F2) * G;
  158. }
  159. else
  160. {
  161. s.dim = 3;
  162. Eigen::SparseMatrix<double> G;
  163. igl::grad(s.V, s.F, G,
  164. s.mesh_improvement_3d /*use normal gradient, or one from a "regular" tet*/);
  165. s.Dx = G.block(0, 0, s.F.rows(), s.V.rows());
  166. s.Dy = G.block(s.F.rows(), 0, s.F.rows(), s.V.rows());
  167. s.Dz = G.block(2 * s.F.rows(), 0, s.F.rows(), s.V.rows());
  168. }
  169. s.W.resize(s.f_n, s.dim * s.dim);
  170. s.Dx.makeCompressed();
  171. s.Dy.makeCompressed();
  172. s.Dz.makeCompressed();
  173. s.Ri.resize(s.f_n, s.dim * s.dim);
  174. s.Ji.resize(s.f_n, s.dim * s.dim);
  175. s.rhs.resize(s.dim * s.v_num);
  176. // flattened weight matrix
  177. s.WGL_M.resize(s.dim * s.dim * s.f_n);
  178. for (int i = 0; i < s.dim * s.dim; i++)
  179. for (int j = 0; j < s.f_n; j++)
  180. s.WGL_M(i * s.f_n + j) = s.M(j);
  181. s.first_solve = true;
  182. s.has_pre_calc = true;
  183. }
  184. }
  185. IGL_INLINE void build_linear_system(igl::SLIMData& s, Eigen::SparseMatrix<double> &L)
  186. {
  187. // formula (35) in paper
  188. std::vector<Eigen::Triplet<double> > IJV;
  189. #ifdef SLIM_CACHED
  190. slim_buildA(s.Dx, s.Dy, s.Dz, s.W, IJV);
  191. if (s.A.rows() == 0)
  192. {
  193. s.A = Eigen::SparseMatrix<double>(s.dim * s.dim * s.f_n, s.dim * s.v_n);
  194. igl::sparse_cached_precompute(IJV,s.A_data,s.A);
  195. }
  196. else
  197. igl::sparse_cached(IJV,s.A_data,s.A);
  198. #else
  199. Eigen::SparseMatrix<double> A(s.dim * s.dim * s.f_n, s.dim * s.v_n);
  200. slim_buildA(s.Dx, s.Dy, s.Dz, s.W, IJV);
  201. A.setFromTriplets(IJV.begin(),IJV.end());
  202. A.makeCompressed();
  203. #endif
  204. #ifdef SLIM_CACHED
  205. #else
  206. Eigen::SparseMatrix<double> At = A.transpose();
  207. At.makeCompressed();
  208. #endif
  209. #ifdef SLIM_CACHED
  210. Eigen::SparseMatrix<double> id_m(s.A.cols(), s.A.cols());
  211. #else
  212. Eigen::SparseMatrix<double> id_m(A.cols(), A.cols());
  213. #endif
  214. id_m.setIdentity();
  215. // add proximal penalty
  216. #ifdef SLIM_CACHED
  217. s.AtA_data.W = s.WGL_M;
  218. if (s.AtA.rows() == 0)
  219. igl::AtA_cached_precompute(s.A,s.AtA_data,s.AtA);
  220. else
  221. igl::AtA_cached(s.A,s.AtA_data,s.AtA);
  222. L = s.AtA + s.proximal_p * id_m; //add also a proximal
  223. L.makeCompressed();
  224. #else
  225. L = At * s.WGL_M.asDiagonal() * A + s.proximal_p * id_m; //add also a proximal term
  226. L.makeCompressed();
  227. #endif
  228. #ifdef SLIM_CACHED
  229. buildRhs(s, s.A);
  230. #else
  231. buildRhs(s, A);
  232. #endif
  233. Eigen::SparseMatrix<double> OldL = L;
  234. add_soft_constraints(s,L);
  235. L.makeCompressed();
  236. }
  237. IGL_INLINE void add_soft_constraints(igl::SLIMData& s, Eigen::SparseMatrix<double> &L)
  238. {
  239. int v_n = s.v_num;
  240. for (int d = 0; d < s.dim; d++)
  241. {
  242. for (int i = 0; i < s.b.rows(); i++)
  243. {
  244. int v_idx = s.b(i);
  245. s.rhs(d * v_n + v_idx) += s.soft_const_p * s.bc(i, d); // rhs
  246. L.coeffRef(d * v_n + v_idx, d * v_n + v_idx) += s.soft_const_p; // diagonal of matrix
  247. }
  248. }
  249. }
  250. IGL_INLINE double compute_energy(igl::SLIMData& s, Eigen::MatrixXd &V_new)
  251. {
  252. compute_jacobians(s,V_new);
  253. return mapping_energy_with_jacobians(s.Ji, s.M, s.slim_energy, s.exp_factor) +
  254. compute_soft_const_energy(s, s.V, s.F, V_new);
  255. }
  256. IGL_INLINE double compute_soft_const_energy(igl::SLIMData& s,
  257. const Eigen::MatrixXd &V,
  258. const Eigen::MatrixXi &F,
  259. Eigen::MatrixXd &V_o)
  260. {
  261. double e = 0;
  262. for (int i = 0; i < s.b.rows(); i++)
  263. {
  264. e += s.soft_const_p * (s.bc.row(i) - V_o.row(s.b(i))).squaredNorm();
  265. }
  266. return e;
  267. }
  268. IGL_INLINE void buildRhs(igl::SLIMData& s, const Eigen::SparseMatrix<double> &A)
  269. {
  270. Eigen::VectorXd f_rhs(s.dim * s.dim * s.f_n);
  271. f_rhs.setZero();
  272. if (s.dim == 2)
  273. {
  274. /*b = [W11*R11 + W12*R21; (formula (36))
  275. W11*R12 + W12*R22;
  276. W21*R11 + W22*R21;
  277. W21*R12 + W22*R22];*/
  278. for (int i = 0; i < s.f_n; i++)
  279. {
  280. f_rhs(i + 0 * s.f_n) = s.W(i, 0) * s.Ri(i, 0) + s.W(i, 1) * s.Ri(i, 1);
  281. f_rhs(i + 1 * s.f_n) = s.W(i, 0) * s.Ri(i, 2) + s.W(i, 1) * s.Ri(i, 3);
  282. f_rhs(i + 2 * s.f_n) = s.W(i, 2) * s.Ri(i, 0) + s.W(i, 3) * s.Ri(i, 1);
  283. f_rhs(i + 3 * s.f_n) = s.W(i, 2) * s.Ri(i, 2) + s.W(i, 3) * s.Ri(i, 3);
  284. }
  285. }
  286. else
  287. {
  288. /*b = [W11*R11 + W12*R21 + W13*R31;
  289. W11*R12 + W12*R22 + W13*R32;
  290. W11*R13 + W12*R23 + W13*R33;
  291. W21*R11 + W22*R21 + W23*R31;
  292. W21*R12 + W22*R22 + W23*R32;
  293. W21*R13 + W22*R23 + W23*R33;
  294. W31*R11 + W32*R21 + W33*R31;
  295. W31*R12 + W32*R22 + W33*R32;
  296. W31*R13 + W32*R23 + W33*R33;];*/
  297. for (int i = 0; i < s.f_n; i++)
  298. {
  299. f_rhs(i + 0 * s.f_n) = s.W(i, 0) * s.Ri(i, 0) + s.W(i, 1) * s.Ri(i, 1) + s.W(i, 2) * s.Ri(i, 2);
  300. f_rhs(i + 1 * s.f_n) = s.W(i, 0) * s.Ri(i, 3) + s.W(i, 1) * s.Ri(i, 4) + s.W(i, 2) * s.Ri(i, 5);
  301. f_rhs(i + 2 * s.f_n) = s.W(i, 0) * s.Ri(i, 6) + s.W(i, 1) * s.Ri(i, 7) + s.W(i, 2) * s.Ri(i, 8);
  302. f_rhs(i + 3 * s.f_n) = s.W(i, 3) * s.Ri(i, 0) + s.W(i, 4) * s.Ri(i, 1) + s.W(i, 5) * s.Ri(i, 2);
  303. f_rhs(i + 4 * s.f_n) = s.W(i, 3) * s.Ri(i, 3) + s.W(i, 4) * s.Ri(i, 4) + s.W(i, 5) * s.Ri(i, 5);
  304. f_rhs(i + 5 * s.f_n) = s.W(i, 3) * s.Ri(i, 6) + s.W(i, 4) * s.Ri(i, 7) + s.W(i, 5) * s.Ri(i, 8);
  305. f_rhs(i + 6 * s.f_n) = s.W(i, 6) * s.Ri(i, 0) + s.W(i, 7) * s.Ri(i, 1) + s.W(i, 8) * s.Ri(i, 2);
  306. f_rhs(i + 7 * s.f_n) = s.W(i, 6) * s.Ri(i, 3) + s.W(i, 7) * s.Ri(i, 4) + s.W(i, 8) * s.Ri(i, 5);
  307. f_rhs(i + 8 * s.f_n) = s.W(i, 6) * s.Ri(i, 6) + s.W(i, 7) * s.Ri(i, 7) + s.W(i, 8) * s.Ri(i, 8);
  308. }
  309. }
  310. Eigen::VectorXd uv_flat(s.dim *s.v_n);
  311. for (int i = 0; i < s.dim; i++)
  312. for (int j = 0; j < s.v_n; j++)
  313. uv_flat(s.v_n * i + j) = s.V_o(j, i);
  314. s.rhs = (f_rhs.transpose() * s.WGL_M.asDiagonal() * A).transpose() + s.proximal_p * uv_flat;
  315. }
  316. }
  317. }
  318. IGL_INLINE void igl::slim_update_weights_and_closest_rotations_with_jacobians(const Eigen::MatrixXd &Ji,
  319. igl::MappingEnergyType slim_energy,
  320. double exp_factor,
  321. Eigen::MatrixXd &W,
  322. Eigen::MatrixXd &Ri)
  323. {
  324. const double eps = 1e-8;
  325. double exp_f = exp_factor;
  326. const int dim = (Ji.cols()==4? 2:3);
  327. if (dim == 2)
  328. {
  329. for (int i = 0; i < Ji.rows(); ++i)
  330. {
  331. typedef Eigen::Matrix2d Mat2;
  332. typedef Eigen::Matrix<double, 2, 2, Eigen::RowMajor> RMat2;
  333. typedef Eigen::Vector2d Vec2;
  334. Mat2 ji, ri, ti, ui, vi;
  335. Vec2 sing;
  336. Vec2 closest_sing_vec;
  337. RMat2 mat_W;
  338. Vec2 m_sing_new;
  339. double s1, s2;
  340. ji(0, 0) = Ji(i, 0);
  341. ji(0, 1) = Ji(i, 1);
  342. ji(1, 0) = Ji(i, 2);
  343. ji(1, 1) = Ji(i, 3);
  344. igl::polar_svd(ji, ri, ti, ui, sing, vi);
  345. s1 = sing(0);
  346. s2 = sing(1);
  347. // Update Weights according to energy
  348. switch (slim_energy)
  349. {
  350. case igl::MappingEnergyType::ARAP:
  351. {
  352. m_sing_new << 1, 1;
  353. break;
  354. }
  355. case igl::MappingEnergyType::SYMMETRIC_DIRICHLET:
  356. {
  357. double s1_g = 2 * (s1 - pow(s1, -3));
  358. double s2_g = 2 * (s2 - pow(s2, -3));
  359. m_sing_new << sqrt(s1_g / (2 * (s1 - 1))), sqrt(s2_g / (2 * (s2 - 1)));
  360. break;
  361. }
  362. case igl::MappingEnergyType::LOG_ARAP:
  363. {
  364. double s1_g = 2 * (log(s1) / s1);
  365. double s2_g = 2 * (log(s2) / s2);
  366. m_sing_new << sqrt(s1_g / (2 * (s1 - 1))), sqrt(s2_g / (2 * (s2 - 1)));
  367. break;
  368. }
  369. case igl::MappingEnergyType::CONFORMAL:
  370. {
  371. double s1_g = 1 / (2 * s2) - s2 / (2 * pow(s1, 2));
  372. double s2_g = 1 / (2 * s1) - s1 / (2 * pow(s2, 2));
  373. double geo_avg = sqrt(s1 * s2);
  374. double s1_min = geo_avg;
  375. double s2_min = geo_avg;
  376. m_sing_new << sqrt(s1_g / (2 * (s1 - s1_min))), sqrt(s2_g / (2 * (s2 - s2_min)));
  377. // change local step
  378. closest_sing_vec << s1_min, s2_min;
  379. ri = ui * closest_sing_vec.asDiagonal() * vi.transpose();
  380. break;
  381. }
  382. case igl::MappingEnergyType::EXP_CONFORMAL:
  383. {
  384. double s1_g = 2 * (s1 - pow(s1, -3));
  385. double s2_g = 2 * (s2 - pow(s2, -3));
  386. double geo_avg = sqrt(s1 * s2);
  387. double s1_min = geo_avg;
  388. double s2_min = geo_avg;
  389. double in_exp = exp_f * ((pow(s1, 2) + pow(s2, 2)) / (2 * s1 * s2));
  390. double exp_thing = exp(in_exp);
  391. s1_g *= exp_thing * exp_f;
  392. s2_g *= exp_thing * exp_f;
  393. m_sing_new << sqrt(s1_g / (2 * (s1 - 1))), sqrt(s2_g / (2 * (s2 - 1)));
  394. break;
  395. }
  396. case igl::MappingEnergyType::EXP_SYMMETRIC_DIRICHLET:
  397. {
  398. double s1_g = 2 * (s1 - pow(s1, -3));
  399. double s2_g = 2 * (s2 - pow(s2, -3));
  400. double in_exp = exp_f * (pow(s1, 2) + pow(s1, -2) + pow(s2, 2) + pow(s2, -2));
  401. double exp_thing = exp(in_exp);
  402. s1_g *= exp_thing * exp_f;
  403. s2_g *= exp_thing * exp_f;
  404. m_sing_new << sqrt(s1_g / (2 * (s1 - 1))), sqrt(s2_g / (2 * (s2 - 1)));
  405. break;
  406. }
  407. }
  408. if (std::abs(s1 - 1) < eps) m_sing_new(0) = 1;
  409. if (std::abs(s2 - 1) < eps) m_sing_new(1) = 1;
  410. mat_W = ui * m_sing_new.asDiagonal() * ui.transpose();
  411. W.row(i) = Eigen::Map<Eigen::Matrix<double, 1, 4, Eigen::RowMajor>>(mat_W.data());
  412. // 2) Update local step (doesn't have to be a rotation, for instance in case of conformal energy)
  413. Ri.row(i) = Eigen::Map<Eigen::Matrix<double, 1,4,Eigen::RowMajor>>(ri.data());
  414. }
  415. }
  416. else
  417. {
  418. typedef Eigen::Matrix<double, 3, 1> Vec3;
  419. typedef Eigen::Matrix<double, 3, 3, Eigen::ColMajor> Mat3;
  420. typedef Eigen::Matrix<double, 3, 3, Eigen::RowMajor> RMat3;
  421. Mat3 ji;
  422. Vec3 m_sing_new;
  423. Vec3 closest_sing_vec;
  424. const double sqrt_2 = sqrt(2);
  425. for (int i = 0; i < Ji.rows(); ++i)
  426. {
  427. ji << Ji(i,0), Ji(i,1), Ji(i,2),
  428. Ji(i,3), Ji(i,4), Ji(i,5),
  429. Ji(i,6), Ji(i,7), Ji(i,8);
  430. Mat3 ri, ti, ui, vi;
  431. Vec3 sing;
  432. igl::polar_svd(ji, ri, ti, ui, sing, vi);
  433. double s1 = sing(0);
  434. double s2 = sing(1);
  435. double s3 = sing(2);
  436. // 1) Update Weights
  437. switch (slim_energy)
  438. {
  439. case igl::MappingEnergyType::ARAP:
  440. {
  441. m_sing_new << 1, 1, 1;
  442. break;
  443. }
  444. case igl::MappingEnergyType::LOG_ARAP:
  445. {
  446. double s1_g = 2 * (log(s1) / s1);
  447. double s2_g = 2 * (log(s2) / s2);
  448. double s3_g = 2 * (log(s3) / s3);
  449. m_sing_new << sqrt(s1_g / (2 * (s1 - 1))), sqrt(s2_g / (2 * (s2 - 1))), sqrt(s3_g / (2 * (s3 - 1)));
  450. break;
  451. }
  452. case igl::MappingEnergyType::SYMMETRIC_DIRICHLET:
  453. {
  454. double s1_g = 2 * (s1 - pow(s1, -3));
  455. double s2_g = 2 * (s2 - pow(s2, -3));
  456. double s3_g = 2 * (s3 - pow(s3, -3));
  457. m_sing_new << sqrt(s1_g / (2 * (s1 - 1))), sqrt(s2_g / (2 * (s2 - 1))), sqrt(s3_g / (2 * (s3 - 1)));
  458. break;
  459. }
  460. case igl::MappingEnergyType::EXP_SYMMETRIC_DIRICHLET:
  461. {
  462. double s1_g = 2 * (s1 - pow(s1, -3));
  463. double s2_g = 2 * (s2 - pow(s2, -3));
  464. double s3_g = 2 * (s3 - pow(s3, -3));
  465. m_sing_new << sqrt(s1_g / (2 * (s1 - 1))), sqrt(s2_g / (2 * (s2 - 1))), sqrt(s3_g / (2 * (s3 - 1)));
  466. double in_exp = exp_f * (pow(s1, 2) + pow(s1, -2) + pow(s2, 2) + pow(s2, -2) + pow(s3, 2) + pow(s3, -2));
  467. double exp_thing = exp(in_exp);
  468. s1_g *= exp_thing * exp_f;
  469. s2_g *= exp_thing * exp_f;
  470. s3_g *= exp_thing * exp_f;
  471. m_sing_new << sqrt(s1_g / (2 * (s1 - 1))), sqrt(s2_g / (2 * (s2 - 1))), sqrt(s3_g / (2 * (s3 - 1)));
  472. break;
  473. }
  474. case igl::MappingEnergyType::CONFORMAL:
  475. {
  476. double common_div = 9 * (pow(s1 * s2 * s3, 5. / 3.));
  477. double s1_g = (-2 * s2 * s3 * (pow(s2, 2) + pow(s3, 2) - 2 * pow(s1, 2))) / common_div;
  478. double s2_g = (-2 * s1 * s3 * (pow(s1, 2) + pow(s3, 2) - 2 * pow(s2, 2))) / common_div;
  479. double s3_g = (-2 * s1 * s2 * (pow(s1, 2) + pow(s2, 2) - 2 * pow(s3, 2))) / common_div;
  480. double closest_s = sqrt(pow(s1, 2) + pow(s3, 2)) / sqrt_2;
  481. double s1_min = closest_s;
  482. double s2_min = closest_s;
  483. double s3_min = closest_s;
  484. m_sing_new << sqrt(s1_g / (2 * (s1 - s1_min))), sqrt(s2_g / (2 * (s2 - s2_min))), sqrt(
  485. s3_g / (2 * (s3 - s3_min)));
  486. // change local step
  487. closest_sing_vec << s1_min, s2_min, s3_min;
  488. ri = ui * closest_sing_vec.asDiagonal() * vi.transpose();
  489. break;
  490. }
  491. case igl::MappingEnergyType::EXP_CONFORMAL:
  492. {
  493. // E_conf = (s1^2 + s2^2 + s3^2)/(3*(s1*s2*s3)^(2/3) )
  494. // dE_conf/ds1 = (-2*(s2*s3)*(s2^2+s3^2 -2*s1^2) ) / (9*(s1*s2*s3)^(5/3))
  495. // Argmin E_conf(s1): s1 = sqrt(s1^2+s2^2)/sqrt(2)
  496. double common_div = 9 * (pow(s1 * s2 * s3, 5. / 3.));
  497. double s1_g = (-2 * s2 * s3 * (pow(s2, 2) + pow(s3, 2) - 2 * pow(s1, 2))) / common_div;
  498. double s2_g = (-2 * s1 * s3 * (pow(s1, 2) + pow(s3, 2) - 2 * pow(s2, 2))) / common_div;
  499. double s3_g = (-2 * s1 * s2 * (pow(s1, 2) + pow(s2, 2) - 2 * pow(s3, 2))) / common_div;
  500. double in_exp = exp_f * ((pow(s1, 2) + pow(s2, 2) + pow(s3, 2)) / (3 * pow((s1 * s2 * s3), 2. / 3)));;
  501. double exp_thing = exp(in_exp);
  502. double closest_s = sqrt(pow(s1, 2) + pow(s3, 2)) / sqrt_2;
  503. double s1_min = closest_s;
  504. double s2_min = closest_s;
  505. double s3_min = closest_s;
  506. s1_g *= exp_thing * exp_f;
  507. s2_g *= exp_thing * exp_f;
  508. s3_g *= exp_thing * exp_f;
  509. m_sing_new << sqrt(s1_g / (2 * (s1 - s1_min))), sqrt(s2_g / (2 * (s2 - s2_min))), sqrt(
  510. s3_g / (2 * (s3 - s3_min)));
  511. // change local step
  512. closest_sing_vec << s1_min, s2_min, s3_min;
  513. ri = ui * closest_sing_vec.asDiagonal() * vi.transpose();
  514. }
  515. }
  516. if (std::abs(s1 - 1) < eps) m_sing_new(0) = 1;
  517. if (std::abs(s2 - 1) < eps) m_sing_new(1) = 1;
  518. if (std::abs(s3 - 1) < eps) m_sing_new(2) = 1;
  519. RMat3 mat_W;
  520. mat_W = ui * m_sing_new.asDiagonal() * ui.transpose();
  521. W.row(i) = Eigen::Map<Eigen::Matrix<double, 1,9,Eigen::RowMajor>>(mat_W.data());
  522. // 2) Update closest rotations (not rotations in case of conformal energy)
  523. Ri.row(i) = Eigen::Map<Eigen::Matrix<double, 1,9,Eigen::RowMajor>>(ri.data());
  524. } // for loop end
  525. } // if dim end
  526. }
  527. IGL_INLINE void igl::slim_buildA(const Eigen::SparseMatrix<double> &Dx,
  528. const Eigen::SparseMatrix<double> &Dy,
  529. const Eigen::SparseMatrix<double> &Dz,
  530. const Eigen::MatrixXd &W,
  531. std::vector<Eigen::Triplet<double> > & IJV)
  532. {
  533. const int dim = (W.cols() == 4) ? 2 : 3;
  534. const int f_n = W.rows();
  535. const int v_n = Dx.cols();
  536. // formula (35) in paper
  537. if (dim == 2)
  538. {
  539. IJV.reserve(4 * (Dx.outerSize() + Dy.outerSize()));
  540. /*A = [W11*Dx, W12*Dx;
  541. W11*Dy, W12*Dy;
  542. W21*Dx, W22*Dx;
  543. W21*Dy, W22*Dy];*/
  544. for (int k = 0; k < Dx.outerSize(); ++k)
  545. {
  546. for (Eigen::SparseMatrix<double>::InnerIterator it(Dx, k); it; ++it)
  547. {
  548. int dx_r = it.row();
  549. int dx_c = it.col();
  550. double val = it.value();
  551. IJV.push_back(Eigen::Triplet<double>(dx_r, dx_c, val * W(dx_r, 0)));
  552. IJV.push_back(Eigen::Triplet<double>(dx_r, v_n + dx_c, val * W(dx_r, 1)));
  553. IJV.push_back(Eigen::Triplet<double>(2 * f_n + dx_r, dx_c, val * W(dx_r, 2)));
  554. IJV.push_back(Eigen::Triplet<double>(2 * f_n + dx_r, v_n + dx_c, val * W(dx_r, 3)));
  555. }
  556. }
  557. for (int k = 0; k < Dy.outerSize(); ++k)
  558. {
  559. for (Eigen::SparseMatrix<double>::InnerIterator it(Dy, k); it; ++it)
  560. {
  561. int dy_r = it.row();
  562. int dy_c = it.col();
  563. double val = it.value();
  564. IJV.push_back(Eigen::Triplet<double>(f_n + dy_r, dy_c, val * W(dy_r, 0)));
  565. IJV.push_back(Eigen::Triplet<double>(f_n + dy_r, v_n + dy_c, val * W(dy_r, 1)));
  566. IJV.push_back(Eigen::Triplet<double>(3 * f_n + dy_r, dy_c, val * W(dy_r, 2)));
  567. IJV.push_back(Eigen::Triplet<double>(3 * f_n + dy_r, v_n + dy_c, val * W(dy_r, 3)));
  568. }
  569. }
  570. }
  571. else
  572. {
  573. /*A = [W11*Dx, W12*Dx, W13*Dx;
  574. W11*Dy, W12*Dy, W13*Dy;
  575. W11*Dz, W12*Dz, W13*Dz;
  576. W21*Dx, W22*Dx, W23*Dx;
  577. W21*Dy, W22*Dy, W23*Dy;
  578. W21*Dz, W22*Dz, W23*Dz;
  579. W31*Dx, W32*Dx, W33*Dx;
  580. W31*Dy, W32*Dy, W33*Dy;
  581. W31*Dz, W32*Dz, W33*Dz;];*/
  582. IJV.reserve(9 * (Dx.outerSize() + Dy.outerSize() + Dz.outerSize()));
  583. for (int k = 0; k < Dx.outerSize(); k++)
  584. {
  585. for (Eigen::SparseMatrix<double>::InnerIterator it(Dx, k); it; ++it)
  586. {
  587. int dx_r = it.row();
  588. int dx_c = it.col();
  589. double val = it.value();
  590. IJV.push_back(Eigen::Triplet<double>(dx_r, dx_c, val * W(dx_r, 0)));
  591. IJV.push_back(Eigen::Triplet<double>(dx_r, v_n + dx_c, val * W(dx_r, 1)));
  592. IJV.push_back(Eigen::Triplet<double>(dx_r, 2 * v_n + dx_c, val * W(dx_r, 2)));
  593. IJV.push_back(Eigen::Triplet<double>(3 * f_n + dx_r, dx_c, val * W(dx_r, 3)));
  594. IJV.push_back(Eigen::Triplet<double>(3 * f_n + dx_r, v_n + dx_c, val * W(dx_r, 4)));
  595. IJV.push_back(Eigen::Triplet<double>(3 * f_n + dx_r, 2 * v_n + dx_c, val * W(dx_r, 5)));
  596. IJV.push_back(Eigen::Triplet<double>(6 * f_n + dx_r, dx_c, val * W(dx_r, 6)));
  597. IJV.push_back(Eigen::Triplet<double>(6 * f_n + dx_r, v_n + dx_c, val * W(dx_r, 7)));
  598. IJV.push_back(Eigen::Triplet<double>(6 * f_n + dx_r, 2 * v_n + dx_c, val * W(dx_r, 8)));
  599. }
  600. }
  601. for (int k = 0; k < Dy.outerSize(); k++)
  602. {
  603. for (Eigen::SparseMatrix<double>::InnerIterator it(Dy, k); it; ++it)
  604. {
  605. int dy_r = it.row();
  606. int dy_c = it.col();
  607. double val = it.value();
  608. IJV.push_back(Eigen::Triplet<double>(f_n + dy_r, dy_c, val * W(dy_r, 0)));
  609. IJV.push_back(Eigen::Triplet<double>(f_n + dy_r, v_n + dy_c, val * W(dy_r, 1)));
  610. IJV.push_back(Eigen::Triplet<double>(f_n + dy_r, 2 * v_n + dy_c, val * W(dy_r, 2)));
  611. IJV.push_back(Eigen::Triplet<double>(4 * f_n + dy_r, dy_c, val * W(dy_r, 3)));
  612. IJV.push_back(Eigen::Triplet<double>(4 * f_n + dy_r, v_n + dy_c, val * W(dy_r, 4)));
  613. IJV.push_back(Eigen::Triplet<double>(4 * f_n + dy_r, 2 * v_n + dy_c, val * W(dy_r, 5)));
  614. IJV.push_back(Eigen::Triplet<double>(7 * f_n + dy_r, dy_c, val * W(dy_r, 6)));
  615. IJV.push_back(Eigen::Triplet<double>(7 * f_n + dy_r, v_n + dy_c, val * W(dy_r, 7)));
  616. IJV.push_back(Eigen::Triplet<double>(7 * f_n + dy_r, 2 * v_n + dy_c, val * W(dy_r, 8)));
  617. }
  618. }
  619. for (int k = 0; k < Dz.outerSize(); k++)
  620. {
  621. for (Eigen::SparseMatrix<double>::InnerIterator it(Dz, k); it; ++it)
  622. {
  623. int dz_r = it.row();
  624. int dz_c = it.col();
  625. double val = it.value();
  626. IJV.push_back(Eigen::Triplet<double>(2 * f_n + dz_r, dz_c, val * W(dz_r, 0)));
  627. IJV.push_back(Eigen::Triplet<double>(2 * f_n + dz_r, v_n + dz_c, val * W(dz_r, 1)));
  628. IJV.push_back(Eigen::Triplet<double>(2 * f_n + dz_r, 2 * v_n + dz_c, val * W(dz_r, 2)));
  629. IJV.push_back(Eigen::Triplet<double>(5 * f_n + dz_r, dz_c, val * W(dz_r, 3)));
  630. IJV.push_back(Eigen::Triplet<double>(5 * f_n + dz_r, v_n + dz_c, val * W(dz_r, 4)));
  631. IJV.push_back(Eigen::Triplet<double>(5 * f_n + dz_r, 2 * v_n + dz_c, val * W(dz_r, 5)));
  632. IJV.push_back(Eigen::Triplet<double>(8 * f_n + dz_r, dz_c, val * W(dz_r, 6)));
  633. IJV.push_back(Eigen::Triplet<double>(8 * f_n + dz_r, v_n + dz_c, val * W(dz_r, 7)));
  634. IJV.push_back(Eigen::Triplet<double>(8 * f_n + dz_r, 2 * v_n + dz_c, val * W(dz_r, 8)));
  635. }
  636. }
  637. }
  638. }
  639. /// Slim Implementation
  640. IGL_INLINE void igl::slim_precompute(
  641. const Eigen::MatrixXd &V,
  642. const Eigen::MatrixXi &F,
  643. const Eigen::MatrixXd &V_init,
  644. igl::SLIMData &data,
  645. igl::MappingEnergyType slim_energy,
  646. Eigen::VectorXi &b,
  647. Eigen::MatrixXd &bc,
  648. double soft_p)
  649. {
  650. data.V = V;
  651. data.F = F;
  652. data.V_o = V_init;
  653. data.v_num = V.rows();
  654. data.f_num = F.rows();
  655. data.slim_energy = slim_energy;
  656. data.b = b;
  657. data.bc = bc;
  658. data.soft_const_p = soft_p;
  659. data.proximal_p = 0.0001;
  660. igl::doublearea(V, F, data.M);
  661. data.M /= 2.;
  662. data.mesh_area = data.M.sum();
  663. data.mesh_improvement_3d = false; // whether to use a jacobian derived from a real mesh or an abstract regular mesh (used for mesh improvement)
  664. data.exp_factor = 1.0; // param used only for exponential energies (e.g exponential symmetric dirichlet)
  665. assert (F.cols() == 3 || F.cols() == 4);
  666. igl::slim::pre_calc(data);
  667. data.energy = igl::slim::compute_energy(data,data.V_o) / data.mesh_area;
  668. }
  669. IGL_INLINE Eigen::MatrixXd igl::slim_solve(igl::SLIMData &data, int iter_num)
  670. {
  671. for (int i = 0; i < iter_num; i++)
  672. {
  673. Eigen::MatrixXd dest_res;
  674. dest_res = data.V_o;
  675. // Solve Weighted Proxy
  676. igl::slim::update_weights_and_closest_rotations(data, dest_res);
  677. igl::slim::solve_weighted_arap(data,data.V, data.F, dest_res, data.b, data.bc);
  678. double old_energy = data.energy;
  679. std::function<double(Eigen::MatrixXd &)> compute_energy = [&](
  680. Eigen::MatrixXd &aaa) { return igl::slim::compute_energy(data,aaa); };
  681. data.energy = igl::flip_avoiding_line_search(data.F, data.V_o, dest_res, compute_energy,
  682. data.energy * data.mesh_area) / data.mesh_area;
  683. }
  684. return data.V_o;
  685. }
  686. #ifdef IGL_STATIC_LIBRARY
  687. // Explicit template instantiation
  688. #endif