Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 172725976] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1312 geometric_solution 5.19928633 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 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.766001488113 0.787429774059 0 1 1 0 0132 3201 2310 3201 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.703389572324 0.149710711638 0 3 4 0 3201 0132 0132 0132 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 0 1 -1 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.819492157302 0.434887819340 5 2 6 4 0132 0132 0132 3201 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 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 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.311458794056 0.775189677271 6 3 5 2 1023 2310 1023 0132 0 0 0 0 0 1 0 -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 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 0 0.311458794056 0.775189677271 3 5 4 5 0132 1302 1023 2031 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 -1 -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 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548626756263 0.570171459248 6 4 6 3 2310 1023 3201 0132 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 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.446263594361 1.110705294865 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0011_2'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 35249258993135045814538243/969849997430871230238697*c_0101_5^22 + 86529307013602898513240870/969849997430871230238697*c_0101_5^21 + 162679396285022130500022040/969849997430871230238697*c_0101_5^20 - 1315776286846090017765102883/969849997430871230238697*c_0101_5^19 - 391310219111324185789803231/969849997430871230238697*c_0101_5^18 + 8201461124739826436752207375/969849997430871230238697*c_0101_5^17 + 1812597807111241779229376048/969849997430871230238697*c_0101_5^16 - 37450043801318518845973223827/969849997430871230238697*c_0101_5^15 - 19258695395891604511466119366/969849997430871230238697*c_0101_5^14 + 109351755841653476875550225537/969849997430871230238697*c_0101_5^13 + 83360186929391993367346972510/969849997430871230238697*c_0101_5^1\ 2 - 184799002673960713661305545729/969849997430871230238697*c_0101_\ 5^11 - 170126126176121555245223247911/969849997430871230238697*c_01\ 01_5^10 + 174913335818341187256976481848/969849997430871230238697*c\ _0101_5^9 + 16634153106625754683715119272/88168181584624657294427*c\ _0101_5^8 - 715340273676958140301816671/8015289234965877935857*c_01\ 01_5^7 - 104926206589896655488179492049/969849997430871230238697*c_\ 0101_5^6 + 18068865175752817474019778633/969849997430871230238697*c\ _0101_5^5 + 2702483708049011210423454753/88168181584624657294427*c_\ 0101_5^4 - 572719351810216540416374066/969849997430871230238697*c_0\ 101_5^3 - 3466546737653660603188620523/969849997430871230238697*c_0\ 101_5^2 + 90688260272673029203821863/969849997430871230238697*c_010\ 1_5 + 199716964607660007557980012/969849997430871230238697, c_0011_0 - 1, c_0011_2 + 426928676012796996008724/969849997430871230238697*c_0101_5^2\ 2 - 874841653506401153327939/969849997430871230238697*c_0101_5^21 - 2232117863801690636462627/969849997430871230238697*c_0101_5^20 + 14981656316539156930203734/969849997430871230238697*c_0101_5^19 + 9859297187546078425287005/969849997430871230238697*c_0101_5^18 - 92166385446711402210763048/969849997430871230238697*c_0101_5^17 - 52203913271004812572869569/969849997430871230238697*c_0101_5^16 + 409079421354969369481031204/969849997430871230238697*c_0101_5^15 + 362832528093463752870518427/969849997430871230238697*c_0101_5^14 - 1073285891693796310182857856/969849997430871230238697*c_0101_5^13 - 1257327613438318733620767967/969849997430871230238697*c_0101_5^12 + 1474547132187685654636228921/969849997430871230238697*c_0101_5^11 + 2089653508846800760601105359/969849997430871230238697*c_0101_5^10 - 970994124636320213667799379/969849997430871230238697*c_0101_5^9 - 157436859898219962175822426/88168181584624657294427*c_0101_5^8 + 19480502760806957201514055/88168181584624657294427*c_0101_5^7 + 684931022065106932454368179/969849997430871230238697*c_0101_5^6 + 29332006060117363353038540/969849997430871230238697*c_0101_5^5 - 10745694563402134711635072/88168181584624657294427*c_0101_5^4 - 5865660761993451214968143/969849997430871230238697*c_0101_5^3 + 11145347922190986629005631/969849997430871230238697*c_0101_5^2 + 345406624449947859352783/969849997430871230238697*c_0101_5 + 22504568503521453273257/969849997430871230238697, c_0011_4 - 452415561071316784427094/969849997430871230238697*c_0101_5^2\ 2 + 1444801406767088941113376/969849997430871230238697*c_0101_5^21 + 691918031629121100362762/969849997430871230238697*c_0101_5^20 - 16689281600784120078988931/969849997430871230238697*c_0101_5^19 + 8741449977901504805497939/969849997430871230238697*c_0101_5^18 + 87710927242302473387795762/969849997430871230238697*c_0101_5^17 - 47490120137375898436176016/969849997430871230238697*c_0101_5^16 - 381129804588556231565122400/969849997430871230238697*c_0101_5^15 + 69176336557751269537998902/969849997430871230238697*c_0101_5^14 + 1071408016612591831926181596/969849997430871230238697*c_0101_5^13 + 23456283458800156859604228/969849997430871230238697*c_0101_5^12 - 1699012681135956286185241478/969849997430871230238697*c_0101_5^11 - 72398742131417140568929233/969849997430871230238697*c_0101_5^10 + 1497514094852640519906802954/969849997430871230238697*c_0101_5^9 - 677674920385354889873043/8015289234965877935857*c_0101_5^8 - 66887242389065748615700090/88168181584624657294427*c_0101_5^7 + 165511782442551706910706627/969849997430871230238697*c_0101_5^6 + 214123567859513053051440182/969849997430871230238697*c_0101_5^5 - 6761709946387767872786536/88168181584624657294427*c_0101_5^4 - 40312845124183932310857826/969849997430871230238697*c_0101_5^3 + 10855472982054125722200748/969849997430871230238697*c_0101_5^2 + 2533688110834372934729061/969849997430871230238697*c_0101_5 - 1103213165013911307615250/969849997430871230238697, c_0101_0 - 468383371107325443454728/969849997430871230238697*c_0101_5^2\ 2 + 1395299025969848512453551/969849997430871230238697*c_0101_5^21 + 1170808395110216604040449/969849997430871230238697*c_0101_5^20 - 17391003389552049709457508/969849997430871230238697*c_0101_5^19 + 4707101188356741930565387/969849997430871230238697*c_0101_5^18 + 97209863846742184795085754/969849997430871230238697*c_0101_5^17 - 26595058322172132345609538/969849997430871230238697*c_0101_5^16 - 431200721508432572182750097/969849997430871230238697*c_0101_5^15 - 30338265981129204829088185/969849997430871230238697*c_0101_5^14 + 1237624819591755464351160156/969849997430871230238697*c_0101_5^13 + 378743663509068055173858217/969849997430871230238697*c_0101_5^12 - 2023095326852080746141650028/969849997430871230238697*c_0101_5^11 - 822976629102383189412352249/969849997430871230238697*c_0101_5^10 + 1830676525257089304003816377/969849997430871230238697*c_0101_5^9 + 71819305912582467475138680/88168181584624657294427*c_0101_5^8 - 80689557775881422072120981/88168181584624657294427*c_0101_5^7 - 361921906561339803037218098/969849997430871230238697*c_0101_5^6 + 228892040093255474764763427/969849997430871230238697*c_0101_5^5 + 6865631180132104094785799/88168181584624657294427*c_0101_5^4 - 40496349589569641991975870/969849997430871230238697*c_0101_5^3 - 8100409164433273863935765/969849997430871230238697*c_0101_5^2 + 5287944017168127652639507/969849997430871230238697*c_0101_5 + 313332452842281219606562/969849997430871230238697, c_0101_1 - 247926478529456268264451/969849997430871230238697*c_0101_5^2\ 2 + 328075478682022086907577/969849997430871230238697*c_0101_5^21 + 1901725202067254996738373/969849997430871230238697*c_0101_5^20 - 8495407234381825171717884/969849997430871230238697*c_0101_5^19 - 12472724634424558864931127/969849997430871230238697*c_0101_5^18 + 58028754877065127983628641/969849997430871230238697*c_0101_5^17 + 65495349515270516772651495/969849997430871230238697*c_0101_5^16 - 261884144284397994091027268/969849997430871230238697*c_0101_5^15 - 364211674128208775660588579/969849997430871230238697*c_0101_5^14 + 673137432384720060506768664/969849997430871230238697*c_0101_5^13 + 1174464242576698731523110736/969849997430871230238697*c_0101_5^12 - 895779941825755563494737220/969849997430871230238697*c_0101_5^11 - 1945465096896917270168074912/969849997430871230238697*c_0101_5^10 + 568521668704844845114958193/969849997430871230238697*c_0101_5^9 + 151333774000070629914447471/88168181584624657294427*c_0101_5^8 - 11448048470413458894972958/88168181584624657294427*c_0101_5^7 - 704078814645154557733406170/969849997430871230238697*c_0101_5^6 - 5676094334846573386217144/969849997430871230238697*c_0101_5^5 + 12529653502519447627050716/88168181584624657294427*c_0101_5^4 - 4356881560306295132139212/969849997430871230238697*c_0101_5^3 - 16213912738163116201592396/969849997430871230238697*c_0101_5^2 + 2590228128762918875878087/969849997430871230238697*c_0101_5 + 665799924461489930649222/969849997430871230238697, c_0101_3 + 687968499343456032637405/969849997430871230238697*c_0101_5^2\ 2 - 1600686580141784352747581/969849997430871230238697*c_0101_5^21 - 3129226239936920192446717/969849997430871230238697*c_0101_5^20 + 24813571587335046980406285/969849997430871230238697*c_0101_5^19 + 9422586482814137073311116/969849997430871230238697*c_0101_5^18 - 150364480838122036487523726/969849997430871230238697*c_0101_5^17 - 47125380553491396039085890/969849997430871230238697*c_0101_5^16 + 672242685370751475178437420/969849997430871230238697*c_0101_5^15 + 420710195950116642703485306/969849997430871230238697*c_0101_5^14 - 1847204710218791340847629049/969849997430871230238697*c_0101_5^13 - 1604913215513872460483939106/969849997430871230238697*c_0101_5^12 + 2817144425285113159320113453/969849997430871230238697*c_0101_5^11 + 2829550224770987167531437971/969849997430871230238697*c_0101_5^10 - 2329316556302720028241750842/969849997430871230238697*c_0101_5^9 - 227576560554315631037700941/88168181584624657294427*c_0101_5^8 + 90755861633089796624050344/88168181584624657294427*c_0101_5^7 + 1093794615106212704615761811/969849997430871230238697*c_0101_5^6 - 206699269029056947078456856/969849997430871230238697*c_0101_5^5 - 19866776093663507667297598/88168181584624657294427*c_0101_5^4 + 23865505557321205770462901/969849997430871230238697*c_0101_5^3 + 21180052744398518023692082/969849997430871230238697*c_0101_5^2 - 2334831446034615963610724/969849997430871230238697*c_0101_5 - 606993324946606941918956/969849997430871230238697, c_0101_5^23 - 3*c_0101_5^22 - 3*c_0101_5^21 + 39*c_0101_5^20 - 10*c_0101_5^19 - 228*c_0101_5^18 + 72*c_0101_5^17 + 1029*c_0101_5^16 - 10*c_0101_5^15 - 3125*c_0101_5^14 - 689*c_0101_5^13 + 5706*c_0101_5^12 + 1826*c_0101_5^11 - 6118*c_0101_5^10 - 2099*c_0101_5^9 + 3762*c_0101_5^8 + 1224*c_0101_5^7 - 1261*c_0101_5^6 - 356*c_0101_5^5 + 223*c_0101_5^4 + 45*c_0101_5^3 - 25*c_0101_5^2 - 2*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB