Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 3701293076] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1590 geometric_solution 5.36158033 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.553384150046 0.182347634761 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.277073924789 0.354510033359 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 -1 1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547748918720 0.658925940289 2 5 4 6 0132 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.015679505534 0.972936171196 3 6 2 5 2310 0132 0132 2310 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.015679505534 0.972936171196 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379189790545 0.361026793118 6 4 3 6 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481045975636 0.897743612051 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 444074499300818230429581839281362088464913367123/472002937756480310\ 208429817264271242317455278955340*c_0110_5^28 + 14436819980133676542222733103654866328502537032857/4720029377564803\ 10208429817264271242317455278955340*c_0110_5^26 - 23171419604240564987041531759057211095716767212463/1180007344391200\ 77552107454316067810579363819738835*c_0110_5^24 - 16795935394449111225521613157096321031019270439/4720029377564803102\ 08429817264271242317455278955340*c_0110_5^22 + 9084421552456256080951510642035363629561294050394/23137398909631387\ 75531518712079760991752231759585*c_0110_5^20 - 36851454513703617947597831568641361141144223411819/3084986521284185\ 034042024949439681322336309012780*c_0110_5^18 - 5018720165531547286642168340570785010146432029963613/78667156292746\ 718368071636210711873719575879825890*c_0110_5^16 + 2252480196423067744346851783290642849478248017046917/69412196728894\ 16326594556136239282975256695278755*c_0110_5^14 - 16030913201433684720466614591500480741224309665172247/1573343125854\ 93436736143272421423747439151759651780*c_0110_5^12 + 14338172087302780154257663626148786559659244967502307/3371449555403\ 4307872030701233162231594103948496810*c_0110_5^10 + 18142699530750162280991978877151182081474006798420293/1180007344391\ 20077552107454316067810579363819738835*c_0110_5^8 + 10805287119707237113178459809482103445329900199190238/1180007344391\ 20077552107454316067810579363819738835*c_0110_5^6 - 24735348908166342338381765179629593643253995232293178/1180007344391\ 20077552107454316067810579363819738835*c_0110_5^4 - 1323361511072523836823096203268398588723065198262621/11800073443912\ 0077552107454316067810579363819738835*c_0110_5^2 - 402653636491230702867058482116896411791096059074787/524447708618311\ 45578714424140474582479717253217260, c_0011_0 - 1, c_0011_1 + 3249166876386335048299762362975101839591250/9443836289645464\ 389924566171754126496947884733*c_0110_5^28 - 84269858778221812045585604507836048690411645/9443836289645464389924\ 566171754126496947884733*c_0110_5^26 + 114136413948829532464984885908272495032196492/944383628964546438992\ 4566171754126496947884733*c_0110_5^24 + 1016098493130026333111872364611838675598782194/94438362896454643899\ 24566171754126496947884733*c_0110_5^22 - 2461089304556075226575680562937476364032181667/31479454298818214633\ 08188723918042165649294911*c_0110_5^20 - 1123837460671222418179776044544684826051408544/10493151432939404877\ 69396241306014055216431637*c_0110_5^18 + 59390861951327632413255373423117673937971833319/3147945429881821463\ 308188723918042165649294911*c_0110_5^16 + 67811141200375375990618845889741338482630912003/9443836289645464389\ 924566171754126496947884733*c_0110_5^14 + 80012677728404681599183100562979516047011930792/3147945429881821463\ 308188723918042165649294911*c_0110_5^12 + 217627812258444353339909096965213922100205185860/944383628964546438\ 9924566171754126496947884733*c_0110_5^10 + 59246314639342387992429594464032646647377997201/9443836289645464389\ 924566171754126496947884733*c_0110_5^8 - 99637332656051078259943377649658750994258169138/9443836289645464389\ 924566171754126496947884733*c_0110_5^6 - 60091601126433348806934961224009997916534933741/9443836289645464389\ 924566171754126496947884733*c_0110_5^4 - 5026850680024035365041540965443667623729199217/94438362896454643899\ 24566171754126496947884733*c_0110_5^2 - 748054257791879299218279828315247108429815571/104931514329394048776\ 9396241306014055216431637, c_0011_4 - 580369152720048488104807995954430417835370943/96327130154383\ 7367772305749518920902688684242766*c_0110_5^29 + 15296815237017868035626449827287321648270062883/9632713015438373677\ 72305749518920902688684242766*c_0110_5^27 - 13473899803120892462645743780703349805346577095/4816356507719186838\ 86152874759460451344342121383*c_0110_5^25 - 167044172154076229097186662681099338989068408261/963271301543837367\ 772305749518920902688684242766*c_0110_5^23 + 13564748117132295427375496673281262290866793546/9443836289645464389\ 924566171754126496947884733*c_0110_5^21 + 7777403846174064112177236675474669129721901881/62958908597636429266\ 16377447836084331298589822*c_0110_5^19 - 5340743370465785646769429198903882731154085940602/16054521692397289\ 4628717624919820150448114040461*c_0110_5^17 + 47584659171961923319476052712658210442655925647/2833150886893639316\ 9773698515262379490843654199*c_0110_5^15 - 16694487437947819702876742665915323466309001107201/3210904338479457\ 89257435249839640300896228080922*c_0110_5^13 - 8605419555061867135906326124027890633208844829281/48163565077191868\ 3886152874759460451344342121383*c_0110_5^11 - 6433453468892072809821098860121187303639745166386/48163565077191868\ 3886152874759460451344342121383*c_0110_5^9 + 9930571929982603698052431034142421922192951207408/48163565077191868\ 3886152874759460451344342121383*c_0110_5^7 + 1278543414861581372690451660404113055013431724518/48163565077191868\ 3886152874759460451344342121383*c_0110_5^5 + 1889813716380829022109309188342375161337631101677/48163565077191868\ 3886152874759460451344342121383*c_0110_5^3 + 34419910058692946370371956532390959077244434221/3567671487199397658\ 4159472204404477877358675658*c_0110_5, c_0101_0 - 26650104902786213284542245323586583035999488/481635650771918\ 683886152874759460451344342121383*c_0110_5^29 + 550057301587584634000348297889464604110169987/481635650771918683886\ 152874759460451344342121383*c_0110_5^27 + 2788028507498940779030520327831530529987868190/48163565077191868388\ 6152874759460451344342121383*c_0110_5^25 - 14978844305091576202759502468331714048077560427/4816356507719186838\ 86152874759460451344342121383*c_0110_5^23 + 383668623319168631408289080716516547086637782/944383628964546438992\ 4566171754126496947884733*c_0110_5^21 + 2757002312444956256763347034798328054536155008/31479454298818214633\ 08188723918042165649294911*c_0110_5^19 - 392159311627725534264824202397062548656630161175/160545216923972894\ 628717624919820150448114040461*c_0110_5^17 - 494710395364510424603704114002850967788761212822/283315088689363931\ 69773698515262379490843654199*c_0110_5^15 - 455513729230579483210902589493417895601720459735/160545216923972894\ 628717624919820150448114040461*c_0110_5^13 - 12795291851086111693190157959051922193996974607369/4816356507719186\ 83886152874759460451344342121383*c_0110_5^11 - 4723327434695603243240624211738445955568935956571/48163565077191868\ 3886152874759460451344342121383*c_0110_5^9 - 129104791626978841603085433860348795248451478586/481635650771918683\ 886152874759460451344342121383*c_0110_5^7 + 5479132322802028195260110883316921126906755646405/48163565077191868\ 3886152874759460451344342121383*c_0110_5^5 + 911276303299861723962895820727020612172866526581/481635650771918683\ 886152874759460451344342121383*c_0110_5^3 + 9272531118571494294240617532078164382819953987/53515072307990964876\ 239208306606716816038013487*c_0110_5, c_0101_2 + 249269089369249977582535070806260646623990326/48163565077191\ 8683886152874759460451344342121383*c_0110_5^29 - 6638316884394160812266307895592850048277337794/48163565077191868388\ 6152874759460451344342121383*c_0110_5^27 + 13374381924887321252534966501983290594554411927/4816356507719186838\ 86152874759460451344342121383*c_0110_5^25 + 68602734587487879084538485545070477300922119031/4816356507719186838\ 86152874759460451344342121383*c_0110_5^23 - 12047156933226439603745532543847886856815365871/9443836289645464389\ 924566171754126496947884733*c_0110_5^21 - 2271487293041871171952077012859405426023102515/31479454298818214633\ 08188723918042165649294911*c_0110_5^19 + 4636417577973069285348481756887674438277886432322/16054521692397289\ 4628717624919820150448114040461*c_0110_5^17 - 265160585522159154473571811474765050704211665054/283315088689363931\ 69773698515262379490843654199*c_0110_5^15 + 7213460836630062000594843144321913593785984531519/16054521692397289\ 4628717624919820150448114040461*c_0110_5^13 + 2455064196207453174681784695236868831885816286616/48163565077191868\ 3886152874759460451344342121383*c_0110_5^11 + 3425458932523466865694386971935386060452193590317/48163565077191868\ 3886152874759460451344342121383*c_0110_5^9 - 8343761747231497532812716188705953285488532275364/48163565077191868\ 3886152874759460451344342121383*c_0110_5^7 + 2277726595425518849929931451939162692797529788813/48163565077191868\ 3886152874759460451344342121383*c_0110_5^5 - 640703417083053816483156342162608849211849286447/481635650771918683\ 886152874759460451344342121383*c_0110_5^3 - 3704458005363495840217079639987511313311617961/17838357435996988292\ 079736102202238938679337829*c_0110_5, c_0101_3 - 1827702127909087272020146833470733903673609/9443836289645464\ 389924566171754126496947884733*c_0110_5^28 + 48403683361602198238705806651004253817472424/9443836289645464389924\ 566171754126496947884733*c_0110_5^26 - 90652723530044482048393154721949650193569727/9443836289645464389924\ 566171754126496947884733*c_0110_5^24 - 523092223681690208111688206873213298010082390/944383628964546438992\ 4566171754126496947884733*c_0110_5^22 + 1478654071645576386010604078396368114079901170/31479454298818214633\ 08188723918042165649294911*c_0110_5^20 + 365336260061875882522820105130863210086730046/104931514329394048776\ 9396241306014055216431637*c_0110_5^18 - 34028548609962277587337046025253161488496945274/3147945429881821463\ 308188723918042165649294911*c_0110_5^16 + 17075998512073891547005922356447341046019721107/9443836289645464389\ 924566171754126496947884733*c_0110_5^14 - 47271497253012961950895944612419732797361878192/3147945429881821463\ 308188723918042165649294911*c_0110_5^12 - 32042538652242784398516874203332898929880865465/9443836289645464389\ 924566171754126496947884733*c_0110_5^10 - 15190145864354538928184795003410885276170797156/9443836289645464389\ 924566171754126496947884733*c_0110_5^8 + 82213888915996397544472034495597643879613087055/9443836289645464389\ 924566171754126496947884733*c_0110_5^6 - 4393358116794241081933073987670184036907646608/94438362896454643899\ 24566171754126496947884733*c_0110_5^4 + 4678536634840892608705362566684472836362170110/94438362896454643899\ 24566171754126496947884733*c_0110_5^2 - 64512367273369615257153273697476100596987442/1049315143293940487769\ 396241306014055216431637, c_0110_5^30 - 26*c_0110_5^28 + 37*c_0110_5^26 + 305*c_0110_5^24 - 2283*c_0110_5^22 - 2907*c_0110_5^20 + 54543*c_0110_5^18 + 16906*c_0110_5^16 + 83991*c_0110_5^14 + 62125*c_0110_5^12 + 32138*c_0110_5^10 - 24536*c_0110_5^8 - 12568*c_0110_5^6 - 5780*c_0110_5^4 - 2655*c_0110_5^2 - 567 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB