1c4762a1bSJed Brown static char help[] = "Tests TSTrajectoryGetVecs. \n\n"; 2c4762a1bSJed Brown /* 3c4762a1bSJed Brown This example tests TSTrajectory and the ability of TSTrajectoryGetVecs 4c4762a1bSJed Brown to reconstructs states and derivatives via interpolation (if necessary). 5c4762a1bSJed Brown It also tests TSTrajectory{Get|Restore}UpdatedHistoryVecs 6c4762a1bSJed Brown */ 7c4762a1bSJed Brown #include <petscts.h> 8c4762a1bSJed Brown 9c4762a1bSJed Brown PetscScalar func(PetscInt p, PetscReal t) { return p ? t*func(p-1,t) : 1.0; } 10c4762a1bSJed Brown PetscScalar dfunc(PetscInt p, PetscReal t) { return p > 0 ? (PetscReal)p*func(p-1,t) : 0.0; } 11c4762a1bSJed Brown 12c4762a1bSJed Brown int main(int argc,char **argv) 13c4762a1bSJed Brown { 14c4762a1bSJed Brown TS ts; 15c4762a1bSJed Brown Vec W,W2,Wdot; 16c4762a1bSJed Brown TSTrajectory tj; 17c4762a1bSJed Brown PetscReal times[10], tol = PETSC_SMALL; 18c4762a1bSJed Brown PetscReal TT[10] = { 2, 9, 1, 3, 6, 7, 5, 10, 4, 8 }; 19c4762a1bSJed Brown PetscInt i, p = 1, Nt = 10; 20c4762a1bSJed Brown PetscInt II[10] = { 1, 4, 9, 2, 3, 6, 5, 8, 0, 7 }; 21c4762a1bSJed Brown PetscBool sort,use1,use2,check = PETSC_FALSE; 22c4762a1bSJed Brown 239566063dSJacob Faibussowitsch PetscCall(PetscInitialize(&argc,&argv,(char*)0,help)); 249566063dSJacob Faibussowitsch PetscCall(VecCreate(PETSC_COMM_WORLD,&W)); 259566063dSJacob Faibussowitsch PetscCall(VecSetSizes(W,1,PETSC_DECIDE)); 269566063dSJacob Faibussowitsch PetscCall(VecSetUp(W)); 279566063dSJacob Faibussowitsch PetscCall(VecDuplicate(W,&Wdot)); 289566063dSJacob Faibussowitsch PetscCall(VecDuplicate(W,&W2)); 299566063dSJacob Faibussowitsch PetscCall(TSCreate(PETSC_COMM_WORLD,&ts)); 309566063dSJacob Faibussowitsch PetscCall(TSSetSolution(ts,W2)); 319566063dSJacob Faibussowitsch PetscCall(TSSetMaxSteps(ts,10)); 329566063dSJacob Faibussowitsch PetscCall(TSSetSaveTrajectory(ts)); 339566063dSJacob Faibussowitsch PetscCall(TSGetTrajectory(ts,&tj)); 349566063dSJacob Faibussowitsch PetscCall(TSTrajectorySetType(tj,ts,TSTRAJECTORYBASIC)); 359566063dSJacob Faibussowitsch PetscCall(TSTrajectorySetFromOptions(tj,ts)); 369566063dSJacob Faibussowitsch PetscCall(TSTrajectorySetSolutionOnly(tj,PETSC_TRUE)); 379566063dSJacob Faibussowitsch PetscCall(TSTrajectorySetUp(tj,ts)); 389566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(NULL,NULL,"-check",&check,NULL)); 399566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetInt(NULL,NULL,"-p",&p,NULL)); 409566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetRealArray(NULL,NULL,"-interptimes",times,&Nt,NULL)); 41c4762a1bSJed Brown sort = PETSC_FALSE; 429566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(NULL,NULL,"-sorttimes",&sort,NULL)); 43*1baa6e33SBarry Smith if (sort) PetscCall(PetscSortReal(10,TT)); 44c4762a1bSJed Brown sort = PETSC_FALSE; 459566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(NULL,NULL,"-sortkeys",&sort,NULL)); 46*1baa6e33SBarry Smith if (sort) PetscCall(PetscSortInt(10,II)); 47c4762a1bSJed Brown p = PetscMax(p,-p); 48c4762a1bSJed Brown 49c4762a1bSJed Brown /* populate trajectory */ 50c4762a1bSJed Brown for (i = 0; i < 10; i++) { 519566063dSJacob Faibussowitsch PetscCall(VecSet(W,func(p,TT[i]))); 529566063dSJacob Faibussowitsch PetscCall(TSSetStepNumber(ts,II[i])); 539566063dSJacob Faibussowitsch PetscCall(TSTrajectorySet(tj,ts,II[i],TT[i],W)); 54c4762a1bSJed Brown } 55c4762a1bSJed Brown for (i = 0; i < Nt; i++) { 56c4762a1bSJed Brown PetscReal testtime = times[i], serr, derr; 57c4762a1bSJed Brown const PetscScalar *aW,*aWdot; 58c4762a1bSJed Brown 599566063dSJacob Faibussowitsch PetscCall(TSTrajectoryGetVecs(tj,ts,PETSC_DECIDE,&testtime,W,Wdot)); 609566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(W,&aW)); 619566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(Wdot,&aWdot)); 629566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD," f(%g) = %g (reconstructed %g)\n",(double)testtime,(double)PetscRealPart(func(p,testtime)),(double)PetscRealPart(aW[0]))); 639566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD,"df(%g) = %g (reconstructed %g)\n",(double)testtime,(double)PetscRealPart(dfunc(p,testtime)),(double)PetscRealPart(aWdot[0]))); 64c4762a1bSJed Brown serr = PetscAbsScalar(func(p,testtime)-aW[0]); 65c4762a1bSJed Brown derr = PetscAbsScalar(dfunc(p,testtime)-aWdot[0]); 669566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(W,&aW)); 679566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(Wdot,&aWdot)); 683c633725SBarry Smith PetscCheck(!check || serr <= tol,PETSC_COMM_SELF,PETSC_ERR_PLIB,"Error in state %g > %g",(double)serr,(double)tol); 693c633725SBarry Smith PetscCheck(!check || derr <= tol,PETSC_COMM_SELF,PETSC_ERR_PLIB,"Error in state derivative %g > %g",(double)derr,(double)tol); 70c4762a1bSJed Brown } 71c4762a1bSJed Brown for (i = Nt-1; i >= 0; i--) { 72c4762a1bSJed Brown PetscReal testtime = times[i], serr; 73c4762a1bSJed Brown const PetscScalar *aW; 74c4762a1bSJed Brown 759566063dSJacob Faibussowitsch PetscCall(TSTrajectoryGetVecs(tj,ts,PETSC_DECIDE,&testtime,W,NULL)); 769566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(W,&aW)); 779566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD," f(%g) = %g (reconstructed %g)\n",(double)testtime,(double)PetscRealPart(func(p,testtime)),(double)PetscRealPart(aW[0]))); 78c4762a1bSJed Brown serr = PetscAbsScalar(func(p,testtime)-aW[0]); 799566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(W,&aW)); 803c633725SBarry Smith PetscCheck(!check || serr <= tol,PETSC_COMM_SELF,PETSC_ERR_PLIB,"Error in state %g > %g",(double)serr,(double)tol); 81c4762a1bSJed Brown } 82c4762a1bSJed Brown for (i = Nt-1; i >= 0; i--) { 83c4762a1bSJed Brown PetscReal testtime = times[i], derr; 84c4762a1bSJed Brown const PetscScalar *aWdot; 85c4762a1bSJed Brown 869566063dSJacob Faibussowitsch PetscCall(TSTrajectoryGetVecs(tj,ts,PETSC_DECIDE,&testtime,NULL,Wdot)); 879566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(Wdot,&aWdot)); 889566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD,"df(%g) = %g (reconstructed %g)\n",(double)testtime,(double)PetscRealPart(dfunc(p,testtime)),(double)PetscRealPart(aWdot[0]))); 89c4762a1bSJed Brown derr = PetscAbsScalar(dfunc(p,testtime)-aWdot[0]); 909566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(Wdot,&aWdot)); 913c633725SBarry Smith PetscCheck(!check || derr <= tol,PETSC_COMM_SELF,PETSC_ERR_PLIB,"Error in state derivative %g > %g",(double)derr,(double)tol); 92c4762a1bSJed Brown } 93c4762a1bSJed Brown for (i = 0; i < Nt; i++) { 94c4762a1bSJed Brown PetscReal testtime = times[i], serr, derr; 95c4762a1bSJed Brown const PetscScalar *aW,*aWdot; 96c4762a1bSJed Brown Vec hW,hWdot; 97c4762a1bSJed Brown 989566063dSJacob Faibussowitsch PetscCall(TSTrajectoryGetUpdatedHistoryVecs(tj,ts,testtime,&hW,&hWdot)); 999566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(hW,&aW)); 1009566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(hWdot,&aWdot)); 1019566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD," f(%g) = %g (reconstructed %g)\n",(double)testtime,(double)PetscRealPart(func(p,testtime)),(double)PetscRealPart(aW[0]))); 1029566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD,"df(%g) = %g (reconstructed %g)\n",(double)testtime,(double)PetscRealPart(dfunc(p,testtime)),(double)PetscRealPart(aWdot[0]))); 103c4762a1bSJed Brown serr = PetscAbsScalar(func(p,testtime)-aW[0]); 104c4762a1bSJed Brown derr = PetscAbsScalar(dfunc(p,testtime)-aWdot[0]); 1059566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(hW,&aW)); 1069566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(hWdot,&aWdot)); 1079566063dSJacob Faibussowitsch PetscCall(TSTrajectoryRestoreUpdatedHistoryVecs(tj,&hW,&hWdot)); 1083c633725SBarry Smith PetscCheck(!check || serr <= tol,PETSC_COMM_SELF,PETSC_ERR_PLIB,"Error in state %g > %g",(double)serr,(double)tol); 1093c633725SBarry Smith PetscCheck(!check || derr <= tol,PETSC_COMM_SELF,PETSC_ERR_PLIB,"Error in state derivative %g > %g",(double)derr,(double)tol); 110c4762a1bSJed Brown } 111c4762a1bSJed Brown 112c4762a1bSJed Brown /* Test on-the-fly reconstruction */ 1139566063dSJacob Faibussowitsch PetscCall(TSDestroy(&ts)); 1149566063dSJacob Faibussowitsch PetscCall(TSCreate(PETSC_COMM_WORLD,&ts)); 1159566063dSJacob Faibussowitsch PetscCall(TSSetSolution(ts,W2)); 1169566063dSJacob Faibussowitsch PetscCall(TSSetMaxSteps(ts,10)); 1179566063dSJacob Faibussowitsch PetscCall(TSSetSaveTrajectory(ts)); 1189566063dSJacob Faibussowitsch PetscCall(TSGetTrajectory(ts,&tj)); 1199566063dSJacob Faibussowitsch PetscCall(TSTrajectorySetType(tj,ts,TSTRAJECTORYBASIC)); 1209566063dSJacob Faibussowitsch PetscCall(TSTrajectorySetFromOptions(tj,ts)); 1219566063dSJacob Faibussowitsch PetscCall(TSTrajectorySetSolutionOnly(tj,PETSC_TRUE)); 1229566063dSJacob Faibussowitsch PetscCall(TSTrajectorySetUp(tj,ts)); 123c4762a1bSJed Brown use1 = PETSC_FALSE; 124c4762a1bSJed Brown use2 = PETSC_TRUE; 1259566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(NULL,NULL,"-use_state",&use1,NULL)); 1269566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(NULL,NULL,"-use_der",&use2,NULL)); 1279566063dSJacob Faibussowitsch PetscCall(PetscSortReal(10,TT)); 128c4762a1bSJed Brown for (i = 0; i < 10; i++) { 129c4762a1bSJed Brown 1309566063dSJacob Faibussowitsch PetscCall(TSSetStepNumber(ts,i)); 1319566063dSJacob Faibussowitsch PetscCall(VecSet(W,func(p,TT[i]))); 1329566063dSJacob Faibussowitsch PetscCall(TSTrajectorySet(tj,ts,i,TT[i],W)); 133c4762a1bSJed Brown if (i) { 134c4762a1bSJed Brown const PetscScalar *aW,*aWdot; 135c4762a1bSJed Brown Vec hW,hWdot; 136c4762a1bSJed Brown PetscReal testtime = TT[i], serr, derr; 137c4762a1bSJed Brown 1389566063dSJacob Faibussowitsch PetscCall(TSTrajectoryGetUpdatedHistoryVecs(tj,ts,testtime,use1 ? &hW : NULL,use2 ? &hWdot : NULL)); 139c4762a1bSJed Brown if (use1) { 1409566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(hW,&aW)); 1419566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD," f(%g) = %g (reconstructed %g)\n",(double)testtime,(double)PetscRealPart(func(p,testtime)),(double)PetscRealPart(aW[0]))); 142c4762a1bSJed Brown serr = PetscAbsScalar(func(p,testtime)-aW[0]); 1439566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(hW,&aW)); 1443c633725SBarry Smith PetscCheck(!check || serr <= tol,PETSC_COMM_SELF,PETSC_ERR_PLIB,"Error in state %g > %g",(double)serr,(double)tol); 145c4762a1bSJed Brown } 146c4762a1bSJed Brown if (use2) { 1479566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(hWdot,&aWdot)); 1489566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD,"df(%g) = %g (reconstructed %g)\n",(double)testtime,(double)PetscRealPart(dfunc(p,testtime)),(double)PetscRealPart(aWdot[0]))); 149c4762a1bSJed Brown derr = PetscAbsScalar(dfunc(p,testtime)-aWdot[0]); 1509566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(hWdot,&aWdot)); 1513c633725SBarry Smith PetscCheck(!check || i < p || derr <= tol,PETSC_COMM_SELF,PETSC_ERR_PLIB,"Error in state derivative %g > %g",(double)derr,(double)tol); 152c4762a1bSJed Brown } 1539566063dSJacob Faibussowitsch PetscCall(TSTrajectoryRestoreUpdatedHistoryVecs(tj,use1 ? &hW : NULL,use2 ? &hWdot : NULL)); 154c4762a1bSJed Brown } 155c4762a1bSJed Brown } 1569566063dSJacob Faibussowitsch PetscCall(TSRemoveTrajectory(ts)); 1579566063dSJacob Faibussowitsch PetscCall(TSDestroy(&ts)); 1589566063dSJacob Faibussowitsch PetscCall(VecDestroy(&W)); 1599566063dSJacob Faibussowitsch PetscCall(VecDestroy(&W2)); 1609566063dSJacob Faibussowitsch PetscCall(VecDestroy(&Wdot)); 1619566063dSJacob Faibussowitsch PetscCall(PetscFinalize()); 162b122ec5aSJacob Faibussowitsch return 0; 163c4762a1bSJed Brown } 164c4762a1bSJed Brown 165c4762a1bSJed Brown /*TEST 166c4762a1bSJed Brown 167c4762a1bSJed Brown test: 168c4762a1bSJed Brown suffix: 1 169c4762a1bSJed Brown requires: !single 170c4762a1bSJed Brown args: -ts_trajectory_monitor -p 3 -ts_trajectory_reconstruction_order 3 -interptimes 1,9.9,3,1.1,1.1,5.6 -check 171c4762a1bSJed Brown 172c4762a1bSJed Brown test: 173c4762a1bSJed Brown suffix: 2 174c4762a1bSJed Brown requires: !single 175c4762a1bSJed Brown args: -sortkeys -ts_trajectory_monitor -ts_trajectory_type memory -p 3 -ts_trajectory_reconstruction_order 3 -ts_trajectory_adjointmode 0 -interptimes 1,9.9,3,1.1,1.1,5.6 -check 176c4762a1bSJed Brown 177c4762a1bSJed Brown test: 178c4762a1bSJed Brown suffix: 3 179c4762a1bSJed Brown requires: !single 180c4762a1bSJed Brown args: -ts_trajectory_monitor -p 3 -ts_trajectory_reconstruction_order 5 -interptimes 1,9.9,3,1.1,1.1,5.6 -check 181c4762a1bSJed Brown 182c4762a1bSJed Brown TEST*/ 183