Magma V2.19-8 Tue Aug 20 2013 16:18:24 on localhost [Seed = 1730607697] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2606 geometric_solution 5.88996702 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 1 0 -1 -1 0 1 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.725933342759 0.481281855495 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 -1 1 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 -1 1 1 0 -1 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.715530985326 0.709544054044 4 1 5 6 0132 0132 0132 0132 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.048621087271 0.901646472869 5 6 4 1 1023 2310 2310 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 -1 0 1 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.048621087271 0.901646472869 2 3 4 4 0132 3201 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.104599679597 0.665941596357 5 3 5 2 2310 1023 3201 0132 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.552087670408 1.459518905049 6 6 2 3 1302 2031 0132 3201 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339556825887 0.372035396894 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0110_6']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0110_6']), 'c_1010_2' : negation(d['c_0110_6']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 4237103645771222379109079489030703194458258/35582425215189152380096\ 02734005455310117829*c_0110_6^24 + 27598273218981297644776322393250125832352158/3558242521518915238009\ 602734005455310117829*c_0110_6^23 + 65026353206110753386804495634221517689730479/3558242521518915238009\ 602734005455310117829*c_0110_6^22 - 567136061710195709047768935535890491781242981/355824252151891523800\ 9602734005455310117829*c_0110_6^21 - 42034771310746680978712355389069915843473241/3558242521518915238009\ 602734005455310117829*c_0110_6^20 + 2748114363675276561278420182352450212332291502/35582425215189152380\ 09602734005455310117829*c_0110_6^19 - 1724614015954830460781806355164072383976755721/35582425215189152380\ 09602734005455310117829*c_0110_6^18 - 4869815569808911290731710853619464493996949034/35582425215189152380\ 09602734005455310117829*c_0110_6^17 + 5122107573711134651562911542078613126537237841/35582425215189152380\ 09602734005455310117829*c_0110_6^16 + 3640229745090232505855979493021008183208318304/35582425215189152380\ 09602734005455310117829*c_0110_6^15 - 5235911432697723945210971048197496482937008543/35582425215189152380\ 09602734005455310117829*c_0110_6^14 - 604196770624115014965484979996989872486724052/355824252151891523800\ 9602734005455310117829*c_0110_6^13 + 1888123617488960851358128669473144717820873671/35582425215189152380\ 09602734005455310117829*c_0110_6^12 - 1951651005135169593738289502980339979123994207/35582425215189152380\ 09602734005455310117829*c_0110_6^11 + 811471069801137332710265828166249697626209249/355824252151891523800\ 9602734005455310117829*c_0110_6^10 + 1596582787428694099489917108216261215989459614/35582425215189152380\ 09602734005455310117829*c_0110_6^9 - 764331180186729433785047011385289559034520156/355824252151891523800\ 9602734005455310117829*c_0110_6^8 - 1010600178347871106729503780971005237158476247/35582425215189152380\ 09602734005455310117829*c_0110_6^7 + 740615276194658039915767820621358031120024791/355824252151891523800\ 9602734005455310117829*c_0110_6^6 + 353775294794161261789202742862715343012730249/355824252151891523800\ 9602734005455310117829*c_0110_6^5 + 957795365660456710058484600827307801647059/355824252151891523800960\ 2734005455310117829*c_0110_6^4 - 3407041831626861000517067818542496\ 15958803109/3558242521518915238009602734005455310117829*c_0110_6^3 + 120535427221115855491711606161705380530504397/355824252151891523800\ 9602734005455310117829*c_0110_6^2 - 77524645074600056433611092931034286979978921/3558242521518915238009\ 602734005455310117829*c_0110_6 + 1914656719802506666137977047036874\ 9452073812/3558242521518915238009602734005455310117829, c_0011_0 - 1, c_0011_3 + 1344383869910363061173430300533250836396839/1674467068950077\ 759063342463061390734173096*c_0110_6^24 - 6626680220426346250709579651961172908288071/16744670689500777590633\ 42463061390734173096*c_0110_6^23 - 8085969412190436216473024329279983194474529/83723353447503887953167\ 1231530695367086548*c_0110_6^22 + 495169206474515023371838931189497\ 19967005545/837233534475038879531671231530695367086548*c_0110_6^21 - 76245014919733256254982590009827068667640383/1674467068950077759063\ 342463061390734173096*c_0110_6^20 - 203102008806240912349461093538470197610691417/167446706895007775906\ 3342463061390734173096*c_0110_6^19 + 41489962935663180649284916589677398715660592/2093083836187597198829\ 17807882673841771637*c_0110_6^18 + 69250021145187881272716660509124097792951485/1674467068950077759063\ 342463061390734173096*c_0110_6^17 - 98578923725081819646326110440806178342814077/4186167672375194397658\ 35615765347683543274*c_0110_6^16 + 109303883725394196156465710137915915053457793/167446706895007775906\ 3342463061390734173096*c_0110_6^15 + 202025131645648727110019874570411905270095851/167446706895007775906\ 3342463061390734173096*c_0110_6^14 - 166379016814237710657245258206457865878116327/167446706895007775906\ 3342463061390734173096*c_0110_6^13 + 57720779730648476069855777111098661677632363/1674467068950077759063\ 342463061390734173096*c_0110_6^12 + 7007730432878699380881079398790034875501068/20930838361875971988291\ 7807882673841771637*c_0110_6^11 - 417050579140007004945879954924107\ 03941332831/837233534475038879531671231530695367086548*c_0110_6^10 - 8382933402891561034261602794578214949784163/41861676723751943976583\ 5615765347683543274*c_0110_6^9 + 7999793989213895300499583379100840\ 6199739269/1674467068950077759063342463061390734173096*c_0110_6^8 - 5171255860897367539540599393508258006199003/16744670689500777590633\ 42463061390734173096*c_0110_6^7 - 400471583008795196162625242291514\ 1663895223/418616767237519439765835615765347683543274*c_0110_6^6 - 4832056054505733565094435445633068894981483/41861676723751943976583\ 5615765347683543274*c_0110_6^5 + 2005882864188039505365655195437509\ 1171595825/1674467068950077759063342463061390734173096*c_0110_6^4 - 1709124268761642276522760086113178098233749/41861676723751943976583\ 5615765347683543274*c_0110_6^3 + 1578122249083743065992489003982444\ 87609741/418616767237519439765835615765347683543274*c_0110_6^2 - 103196562545001717426329750620012546834695/837233534475038879531671\ 231530695367086548*c_0110_6 - 1363337963293296606793833442796631378\ 718123/1674467068950077759063342463061390734173096, c_0011_6 + 109789584433501539411859722412519704032231/16744670689500777\ 59063342463061390734173096*c_0110_6^24 - 1402117616082093333951126045316236720134943/16744670689500777590633\ 42463061390734173096*c_0110_6^23 + 1209518337391390239219188374656514040429999/83723353447503887953167\ 1231530695367086548*c_0110_6^22 + 105185136326520306091852511502562\ 08604024417/837233534475038879531671231530695367086548*c_0110_6^21 - 63412688899439410323889450654382653773188847/1674467068950077759063\ 342463061390734173096*c_0110_6^20 - 8534619176142158024190112184054673390537425/16744670689500777590633\ 42463061390734173096*c_0110_6^19 + 22641618783041357292139165649268669645734766/2093083836187597198829\ 17807882673841771637*c_0110_6^18 - 104240163632609451708356414731721177451381795/167446706895007775906\ 3342463061390734173096*c_0110_6^17 - 49607662030050146630381301773255576972735273/4186167672375194397658\ 35615765347683543274*c_0110_6^16 + 172705244532517391632933725870825534063564537/167446706895007775906\ 3342463061390734173096*c_0110_6^15 + 114225908525613622653388974890929228076373795/167446706895007775906\ 3342463061390734173096*c_0110_6^14 - 114690466469295601081215861674467390827411911/167446706895007775906\ 3342463061390734173096*c_0110_6^13 + 11664739594588770867522688215158054473268579/1674467068950077759063\ 342463061390734173096*c_0110_6^12 - 964036225927958145320162214214869977274723/209308383618759719882917\ 807882673841771637*c_0110_6^11 - 3020394401241258337909549460264868\ 5076438715/837233534475038879531671231530695367086548*c_0110_6^10 + 4394105600744523423058507401482831290294823/41861676723751943976583\ 5615765347683543274*c_0110_6^9 + 6284624299185803602169742033995098\ 9557038341/1674467068950077759063342463061390734173096*c_0110_6^8 - 17737427893456967944126586020717854448304235/1674467068950077759063\ 342463061390734173096*c_0110_6^7 - 4816708105914485077770683605426092667067317/41861676723751943976583\ 5615765347683543274*c_0110_6^6 - 1110423923389292522117264354393352\ 66632125/418616767237519439765835615765347683543274*c_0110_6^5 + 19244111003603584810061607864315012127369513/1674467068950077759063\ 342463061390734173096*c_0110_6^4 - 116803729991520613508436860897350877852945/418616767237519439765835\ 615765347683543274*c_0110_6^3 - 24556651448495204055856964046428326\ 7344653/418616767237519439765835615765347683543274*c_0110_6^2 - 1461554833518470407988925161831430919731559/83723353447503887953167\ 1231530695367086548*c_0110_6 - 178480480852153881603530096703671883\ 5444779/1674467068950077759063342463061390734173096, c_0101_0 + 65660593461189826915263219268927210/216945763988797754927148\ 64136826643*c_0110_6^24 - 229144347798606891851014507846930548/2169\ 4576398879775492714864136826643*c_0110_6^23 - 1164684720868715719664686385979371820/21694576398879775492714864136\ 826643*c_0110_6^22 + 3332988170431832750760214139042672881/21694576\ 398879775492714864136826643*c_0110_6^21 + 1813176572873413798179183868084801771/21694576398879775492714864136\ 826643*c_0110_6^20 - 9845338168119391613865094404340589104/21694576\ 398879775492714864136826643*c_0110_6^19 + 1659921024386876574230628854209211987/21694576398879775492714864136\ 826643*c_0110_6^18 + 12601999920646409235424805574650696479/2169457\ 6398879775492714864136826643*c_0110_6^17 - 4580640520847052111674487156187182990/21694576398879775492714864136\ 826643*c_0110_6^16 - 8498449955275490805751951793312732694/21694576\ 398879775492714864136826643*c_0110_6^15 + 3241270275787666152784053264923022546/21694576398879775492714864136\ 826643*c_0110_6^14 - 3802752443061204092308529594795316/21694576398\ 879775492714864136826643*c_0110_6^13 - 532569820047242963380746854066470605/216945763988797754927148641368\ 26643*c_0110_6^12 + 3772758899469127343544090339833097257/216945763\ 98879775492714864136826643*c_0110_6^11 + 963257155617825206049075366060665463/216945763988797754927148641368\ 26643*c_0110_6^10 - 3161780764302092484068209280385307824/216945763\ 98879775492714864136826643*c_0110_6^9 - 113004514020451260569155708421311028/216945763988797754927148641368\ 26643*c_0110_6^8 + 1396972339554049510329560804954977132/2169457639\ 8879775492714864136826643*c_0110_6^7 + 390747023974955187536869912371582736/216945763988797754927148641368\ 26643*c_0110_6^6 - 817014320047177574965936213147481081/21694576398\ 879775492714864136826643*c_0110_6^5 - 216681557674725742184174600270061008/216945763988797754927148641368\ 26643*c_0110_6^4 - 79734885688621779943604030329870337/216945763988\ 79775492714864136826643*c_0110_6^3 - 18061151361963358747316126257974032/2169457639887977549271486413682\ 6643*c_0110_6^2 + 58059402115587484281699653262327034/2169457639887\ 9775492714864136826643*c_0110_6 + 282691533888389256130822450931080\ 62/21694576398879775492714864136826643, c_0101_1 - 30781121796965674973287599121956985/216945763988797754927148\ 64136826643*c_0110_6^24 + 89823735753425918097011533576109453/21694\ 576398879775492714864136826643*c_0110_6^23 + 610932503174902340392599274545547037/216945763988797754927148641368\ 26643*c_0110_6^22 - 1256638532466492971776364951835761551/216945763\ 98879775492714864136826643*c_0110_6^21 - 1827830414651974328004047521410887820/21694576398879775492714864136\ 826643*c_0110_6^20 + 4206335366782216413444812739009379770/21694576\ 398879775492714864136826643*c_0110_6^19 + 2276527650490930194683354771483865141/21694576398879775492714864136\ 826643*c_0110_6^18 - 6775240620570415607809458116538265833/21694576\ 398879775492714864136826643*c_0110_6^17 - 1992342381541850491230454047652973474/21694576398879775492714864136\ 826643*c_0110_6^16 + 6126017508972591167540845884100229461/21694576\ 398879775492714864136826643*c_0110_6^15 + 1471248706984738435319377683179222033/21694576398879775492714864136\ 826643*c_0110_6^14 - 1656816633308361096648361782129655835/21694576\ 398879775492714864136826643*c_0110_6^13 - 231703901840210409449151545878332598/216945763988797754927148641368\ 26643*c_0110_6^12 - 1547232989161130965397973094926562835/216945763\ 98879775492714864136826643*c_0110_6^11 - 1410194056945669009201748441635551462/21694576398879775492714864136\ 826643*c_0110_6^10 + 1521017064116610592790479277811183839/21694576\ 398879775492714864136826643*c_0110_6^9 + 1104651414938496409602083822678552253/21694576398879775492714864136\ 826643*c_0110_6^8 - 696153631719426623506525456600131364/2169457639\ 8879775492714864136826643*c_0110_6^7 - 771171643034117942909474121749886458/216945763988797754927148641368\ 26643*c_0110_6^6 + 345118831027074448913761809228995637/21694576398\ 879775492714864136826643*c_0110_6^5 + 471144548868424591059852413065789755/216945763988797754927148641368\ 26643*c_0110_6^4 + 131865951467653483197595314415417364/21694576398\ 879775492714864136826643*c_0110_6^3 - 71747698821841280917267479197021122/2169457639887977549271486413682\ 6643*c_0110_6^2 - 63546366455059857171374530205710569/2169457639887\ 9775492714864136826643*c_0110_6 - 364949768132751380512782317305830\ 19/21694576398879775492714864136826643, c_0101_2 - 142496326895167409855251105218296077488517/16744670689500777\ 59063342463061390734173096*c_0110_6^24 - 275590236380378790101384654657645639286411/167446706895007775906334\ 2463061390734173096*c_0110_6^23 + 307384301368654754618329441879814\ 7954436699/837233534475038879531671231530695367086548*c_0110_6^22 + 1549014161664966159697333122910299952436693/83723353447503887953167\ 1231530695367086548*c_0110_6^21 - 587112997883888212480416243322161\ 01644229691/1674467068950077759063342463061390734173096*c_0110_6^20 + 48735899883865235583389729354000775387009475/16744670689500777590\ 63342463061390734173096*c_0110_6^19 + 15606397872934428936922758467598546624715177/2093083836187597198829\ 17807882673841771637*c_0110_6^18 - 176604256609751422318548078017042547971651519/167446706895007775906\ 3342463061390734173096*c_0110_6^17 - 21000741702407976924477736272652503316539907/4186167672375194397658\ 35615765347683543274*c_0110_6^16 + 209178802062684462966924224185583470208379741/167446706895007775906\ 3342463061390734173096*c_0110_6^15 + 5005818639133828071741376092895797598155311/16744670689500777590633\ 42463061390734173096*c_0110_6^14 - 103661767065290964961465228185727918103298531/167446706895007775906\ 3342463061390734173096*c_0110_6^13 + 49979877299683921450608456413242212896190767/1674467068950077759063\ 342463061390734173096*c_0110_6^12 - 4278044883390480814383009176043012548873454/20930838361875971988291\ 7807882673841771637*c_0110_6^11 - 199415338133495696297192142861707\ 59659440159/837233534475038879531671231530695367086548*c_0110_6^10 + 10548728163832560819621716915193972872339793/4186167672375194397658\ 35615765347683543274*c_0110_6^9 + 361993138465887756702000580391458\ 53401877721/1674467068950077759063342463061390734173096*c_0110_6^8 - 32585236473319944130157087787288127865690103/1674467068950077759063\ 342463061390734173096*c_0110_6^7 - 2260524974265758939984678447234985615724563/41861676723751943976583\ 5615765347683543274*c_0110_6^6 + 1388197135953616330348740545951335\ 511833979/418616767237519439765835615765347683543274*c_0110_6^5 + 16398089169831032248678380180067049021128189/1674467068950077759063\ 342463061390734173096*c_0110_6^4 - 1342510914237067134775188999762786804495051/41861676723751943976583\ 5615765347683543274*c_0110_6^3 + 3847575458210999182338718356431185\ 76377383/418616767237519439765835615765347683543274*c_0110_6^2 - 913564815942247143201813273734689659866227/837233534475038879531671\ 231530695367086548*c_0110_6 - 1211043439813966440601061191837200753\ 545823/1674467068950077759063342463061390734173096, c_0110_6^25 - 47/11*c_0110_6^24 - 166/11*c_0110_6^23 + 714/11*c_0110_6^22 - 115/11*c_0110_6^21 - 1929/11*c_0110_6^20 + 1516/11*c_0110_6^19 + 2041/11*c_0110_6^18 - 2368/11*c_0110_6^17 - 97*c_0110_6^16 + 1635/11*c_0110_6^15 - 199/11*c_0110_6^14 - 69/11*c_0110_6^13 + 604/11*c_0110_6^12 - 342/11*c_0110_6^11 - 60*c_0110_6^10 + 353/11*c_0110_6^9 + 285/11*c_0110_6^8 - 72/11*c_0110_6^7 - 228/11*c_0110_6^6 + 45/11*c_0110_6^5 + 40/11*c_0110_6^4 + 20/11*c_0110_6^3 + 10/11*c_0110_6^2 - 7/11*c_0110_6 - 4/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB