Started: Thu Nov 29 10:35:56 2018

Available threads: 0

Problem: dat/JupiterL1_08_PD.dat at {-9.3787073541060789343110377220839273657946618007980e-1 ,0 ,5.6441881612637395993933632651624907464893503324034e-2 ,0 ,2.0020233941036936853274734482269779032039227757102 ,0 }
Validate the existence of a branch of period-1 points:
proveBranchHaloOrbits(this->cr3bpFixPointsSolver.pm,this->cr3bpFixPointsSolver.pm,c,s,this->fp,0,4,2,3,5,&(this->Dfp)): true
############################

y0[i][3]=[-5.4064648742911814626023679508137125907755356812381e-33 ,5.4064650102416425590754056068961382286687187102659e-33 ]
D0[i][3][0]=[7.6302593935325036404982434508292961447041096765683e-1 ,7.6302593935325036404982434510402963045100208560545e-1 ]
D0[i][3][2]=[-6.2909195266743935245226772734429828446775888266148e-30 ,6.2909195180482391559485218492684696531076245600891e-30 ]
dy0=[-1.1421825787725237662015084225033678295286117783861e-32 ,1.2055172812731487061073692815200988420122947150986e-32 ]
Ddy=[3.7262267666326117957514850418298786032167863176851 ,3.7262267666329460192950412563715698278919678713064 ]
dy=[-3.2352225368252982814833244973063139653430193261396e-33 ,3.0652524666519779903955280133662080807462869116586e-33 ]
r[4]=[-9.9999999999999999999713588617421762351887558342849e-18 ,9.9999999999999999999713588617421762351887558342849e-18 ]
subset(dy,r[4])=true
Validate the existence of Lyapunov-Schmidt reduction in the considered domain:
computeLyapunovSchmidtReduction(i): true
############################

y0[i][3]=[-6.8956314479670296581023052917491946244229729477943e-31 ,6.8956314470370669178470892517192364083836893539031e-31 ]
D0[i][3][0]=[-5.3593947951723410254524521186391599281278025910391e-28 ,5.3593948018778976576389785659570170861902439781253e-28 ]
D0[i][3][2]=[-3.1930448083175827038938010941207298295518929139084e-28 ,3.1930448045567009121332984796884833691971228474733e-28 ]
dy0=[-6.8956314479670615893975177453608171989819659643140e-31 ,6.8982161413794009284667843058579762132828422784381e-31 ]
Ddy=[4.6645010469448237352896168081910712056260790712801 ,4.6645010469449311756870724898101899497951337870594 ]
dy=[-1.4788754621242128649132319825495642034081140119785e-31 ,1.4783213421044452043611003530885463994449273775269e-31 ]
r[4]=[-9.9999999999999999999713588617421762351887558342849e-18 ,9.9999999999999999999713588617421762351887558342849e-18 ]
subset(dy,r[4])=true
Validate the existence of Lyapunov-Schmidt reduction in the considered domain:
computeLyapunovSchmidtReduction(i): true
############################

Intersection of two enclosures of dy(x,z) along fixed point curve:
intersection(r[4],fp[4],fp[4]): true
############################

DBif[i][3][4]=[3.7262267666327789075232631467236458341553429697616 ,3.7262267666327789075232631514778025969534112192299 ]
D0[i][5][0]=[7.5479491350878385504582906197520992415056409189039e-1 ,7.5479491350878385504582906199179419018095519532275e-1 ]
D0[i][3][0]=[7.6302593935325036404982434508292961447041096765683e-1 ,7.6302593935325036404982434510402963045100208560545e-1 ]
DBif[i][5][0]=[7.5479491350878385504582906197450755048348558888346e-1 ,7.5479491350878385504582906199249656384803369832967e-1 ]
DBif[i][3][0]=[7.6302593935325036404982434508089118917280401466735e-1 ,7.6302593935325036404982434510606805574860903859494e-1 ]
D[k][3][4]=[3.7262267666327712662991406648073014025020793720424 ,3.7262267666327865487473856333941470286066748169490 ]
_H(5,0,0)=[3.3179258655504279104899094896270056857316258978858e3 ,3.3179258655936758111115550790625936395655761356242e3 ]
_H(5,0,2)=[1.6306213251888417778742975089553013833591678781863e3 ,1.6306213252262162055639285342820513273124510807168e3 ]
Dg!=0.: true
############################

Check principal period of new branch:
!intersection(-g/Dg,r[2],tmp): true
############################

DBif[i][3][4]=[4.6645010469448774554883446472356554858153676318548 ,4.6645010469448774554883446507656056696058452264848 ]
D0[i][5][0]=[-1.8027995086584617252185220987820253833805513419030e-29 ,1.8027995029151219069417551940775557451688406829632e-29 ]
D0[i][3][0]=[-5.3593947951723410254524521186391599281278025910391e-28 ,5.3593948018778976576389785659570170861902439781253e-28 ]
DBif[i][5][0]=[-2.5975717895476430338163498701434600452696445762455e-29 ,2.5975717838043032155395829654389904070579339173057e-29 ]
DBif[i][3][0]=[-5.4187010305113479716081412234084649513346330772495e-28 ,5.4187010372169046037946676707263221093970744643357e-28 ]
D[k][3][4]=[4.6645010469448774073936272652024320858689399501547 ,4.6645010469448775035830620327988290695522729081848 ]
_H(5,0,0)=[-1.7217757041008815828918152854537545423538320276199e-7 ,1.7217757041008798561168885982440357546860215911363e-7 ]
_H(5,0,2)=[3.9929976788690023087287904653386489577557416051890 ,3.9929980758170543508539178476614526018292272490122 ]
g=[-5.4163415207080470293167863259471613130241110133580e-28 ,5.4163415137519866502128668254946918983905147980565e-28 ]
Dg=[3.9929976788690023087287582710690299045078360273132 ,3.9929980758170543508539500419310716550838694979808 ]
r[2]=[-9.9999999999999999999713588617421762351887558342849e-18 ,9.9999999999999999999713588617421762351887558342849e-18 ]
Dg!=0.: true
############################

-g/Dg=[-1.3564599705167220996655164960510749285581865844760e-28 ,1.3564599722587868185897184944857012479883018571279e-28 ]
Check existence of period-n branch:
subset(-g/Dg,r[2]): true
############################

T1={[-1.8698294756032253240508443023722565831881391867502e-16 ,1.8698294756032249327878547766668633609809943579158e-16 ],[0 ,0 ],[1.0000000000000000000000000000000000000000000000000 ,1.0000000000000000000000000000000000000000000000000 ],[0 ,0 ],[-1.1082404128458914954817471875205178166260826232237e-17 ,1.1082404128458914359874425503457114205387488633747e-17 ],[0 ,0 ]}
DH[2]=[1.7829432681052211639252514064913645479979430655273e-1 ,1.7829432681052211639252514194410602358606704119200e-1 ]
Is Jacobi integral monotone along space-parameter of fixed point curve:
!isSingular(DH[2]): true
############################

DH*T1=[1.7829432681052207209290283177380104583284568308182e-1 ,1.7829432681052216069214745081944381071500507274047e-1 ]
Is Jacobi integral monotone along fixed point curve:
!isSingular(DH*T1): true
############################

D[k][3][4]=[4.6645010469448774554883446465832699426990733945194 ,4.6645010469448774554883446514179912135599805080109 ]
_H(5,0,0)=[-2.1803857256700857517998992846346124466341160062632e-14 ,2.1803857259760062851237871768802300614589872034332e-14 ]
_H(5,0,2)=[3.9929978773430034690759110838292930440972690528912 ,3.9929978773430531905065675477672760643187206237939 ]
T2={[1.0000000000000000000000000000000000000000000000000 ,1.0000000000000000000000000000000000000000000000000 ],[0 ,0 ],[-5.4605231281186289684881634010893375776399386670001e-15 ,5.4605231273524864792578618667107033774998927265723e-15 ],[0 ,0 ],[-6.0708220771509514710633216692533405251572544755451e-16 ,6.0708220780027223782421338012366651289801843063172e-16 ],[0 ,0 ]}
DH*T2=[-3.4002660759963333888394809282391529034650255983100e-15 ,3.4002660755192566959322572147277949634348271755152e-15 ]
Does bound on derivative Jacobi(bifCurve(x)) contain zero:
isSingular(DH*T2): true
############################

T3={[0 ,0 ],[0 ,0 ],[1.0197455362940633780960936897150446091457842912782 ,1.0198137321384907358858836452978478640263308672425 ],[0 ,0 ],[6.1768892761489533577909459842839269236504683432646e-1 ,6.1768892761491431297192036355462279327314981829311e-1 ],[0 ,0 ]}
DH*T3 + T2*(D2H*T2)=[9.1448553425406841167326590880019178934580424777824e-2 ,9.1460712357731920052581992125092287119028213345136e-2 ]
Is second derivative Jacobi(bifCurve(x)) nonzero:
!isSingular(DH*T3 + T2*(D2H*T2)): true
############################

Bound on Jacobi constant: [-9.9874596801401641137454972206246148314560870206346e-1 ,-9.9874596801401641137454972149982603833128602972039e-1 ]
dat/JupiterL1_08_PD.dat at {-9.3787073541060789343110377220839273657946618007980e-1 ,0 ,5.6441881612637395993933632651624907464893503324034e-2 ,0 ,2.0020233941036936853274734482269779032039227757102 ,0 } completed.
Final result: true
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


Finished: Thu Nov 29 13:06:41 2018
elapsed time: 2hours 30minutes 45seconds