Magma V2.19-8 Tue Aug 20 2013 16:17:55 on localhost [Seed = 1966401973] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2149 geometric_solution 5.63044232 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 -1 2 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 -1 0 1 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.201744014473 0.214724380286 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 1 1 -2 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 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.474209149337 2.258853425525 1 4 3 5 0132 0132 0213 0132 0 0 0 0 0 0 1 -1 0 0 -1 1 -1 0 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375754660215 0.496374574198 5 2 4 1 0132 0213 3201 0132 0 0 0 0 0 -1 0 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 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.375754660215 0.496374574198 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.030508912369 1.280704610652 3 6 2 6 0132 0132 0132 2310 0 0 0 0 0 -1 1 0 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 0 0 0 0 0 0 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.193058023474 0.680772530986 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 1 0 -1 1 0 -1 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 1 0 -1 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.464982058909 0.360952115226 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0101_1, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 1951241884188365848501136099443187653243495/13476444171615348394842\ 6214703361784589952*c_0110_6^21 - 113680374122742985665633645947125\ 66318243829/134764441716153483948426214703361784589952*c_0110_6^20 - 17575067686804665915742095579069101424635957/6738222085807674197421\ 3107351680892294976*c_0110_6^19 + 105126197430557999376264370811289\ 780731443841/134764441716153483948426214703361784589952*c_0110_6^18 + 58001927129366557832316347829643971140556775/22460740286025580658\ 071035783893630764992*c_0110_6^17 + 1517767404381451543160945284864221898204697/96260315511538202820304\ 43907382984613568*c_0110_6^16 + 48240440521562515001194238666733263\ 022094309/19252063102307640564060887814765969227136*c_0110_6^15 + 657570075728290978938641564951373399103884187/449214805720511613161\ 42071567787261529984*c_0110_6^14 - 1909141830270718998870013933581078599761574555/13476444171615348394\ 8426214703361784589952*c_0110_6^13 - 1109853459838337253103095438589701669152349355/33691110429038370987\ 106553675840446147488*c_0110_6^12 - 257389084333481527170773847006138389923753889/673822208580767419742\ 13107351680892294976*c_0110_6^11 - 13339752364171741876611976609035924141079963/1497382685735038710538\ 0690522595753843328*c_0110_6^10 + 685749514438200291099230690379834\ 889541301625/67382220858076741974213107351680892294976*c_0110_6^9 - 143854220608728956594285971614487958118387803/336911104290383709871\ 06553675840446147488*c_0110_6^8 + 105651349309310146635300619214033\ 6828405051933/67382220858076741974213107351680892294976*c_0110_6^7 + 886862318588606734700687717187444711590097925/134764441716153483948\ 426214703361784589952*c_0110_6^6 + 1096908940346214517493289051251620470130697293/13476444171615348394\ 8426214703361784589952*c_0110_6^5 + 210502179920596067746627458357728633852804915/134764441716153483948\ 426214703361784589952*c_0110_6^4 + 268674499154362476494726496258364740683592163/673822208580767419742\ 13107351680892294976*c_0110_6^3 - 446876468406678878076735783521456\ 3221346783/14973826857350387105380690522595753843328*c_0110_6^2 + 259839973543488204733506046319707296337313/160433859185897004700507\ 3984563830768928*c_0110_6 - 709370914806176816483452985693610528510\ 6481/134764441716153483948426214703361784589952, c_0011_0 - 1, c_0011_1 + 1028609153768363239108087000411633/9295986834578929952979847\ 405111892*c_0110_6^21 - 12265083904350494607222898350784047/1859197\ 3669157859905959694810223784*c_0110_6^20 - 4402513466700684253194764039846767/23239967086447324882449618512779\ 73*c_0110_6^19 + 14351998075335273147782038375414123/23239967086447\ 32488244961851277973*c_0110_6^18 + 347011847979697231382936811223018355/185919736691578599059596948102\ 23784*c_0110_6^17 - 18691488472085980718377248190444649/18591973669\ 157859905959694810223784*c_0110_6^16 + 400967911102004125294266053403091245/185919736691578599059596948102\ 23784*c_0110_6^15 + 1029752933708234316742994326145371435/929598683\ 4578929952979847405111892*c_0110_6^14 - 2272640956666357183461499094336267065/18591973669157859905959694810\ 223784*c_0110_6^13 - 1042956175657432469961837453647525185/46479934\ 17289464976489923702555946*c_0110_6^12 + 9524450954124386417030768628179047/46479934172894649764899237025559\ 46*c_0110_6^11 - 193594104039871770110442119010411091/4647993417289\ 464976489923702555946*c_0110_6^10 + 1090495175393153098292594189589179299/18591973669157859905959694810\ 223784*c_0110_6^9 - 682012837773939903087048891560653613/1859197366\ 9157859905959694810223784*c_0110_6^8 + 2562099014978683361816795076589468509/18591973669157859905959694810\ 223784*c_0110_6^7 + 753409095185870421472806539259953847/1859197366\ 9157859905959694810223784*c_0110_6^6 + 528696122819355897801832925552649385/929598683457892995297984740511\ 1892*c_0110_6^5 + 314521053435168139327766686291944915/185919736691\ 57859905959694810223784*c_0110_6^4 + 332176003443029103966197446591191571/929598683457892995297984740511\ 1892*c_0110_6^3 - 14917733424877046367706404376830031/9295986834578\ 929952979847405111892*c_0110_6^2 + 46080127706194035137830647331350485/1859197366915785990595969481022\ 3784*c_0110_6 + 5762774503311682257189971767808521/1859197366915785\ 9905959694810223784, c_0011_3 - 5014960779119898997617569013639313/1859197366915785990595969\ 4810223784*c_0110_6^21 + 14651180511807710246216233317810877/929598\ 6834578929952979847405111892*c_0110_6^20 + 44940701031336046582456099567663113/9295986834578929952979847405111\ 892*c_0110_6^19 - 271974512843160625417573074021146925/185919736691\ 57859905959694810223784*c_0110_6^18 - 890269817696035604706916322699350767/185919736691578599059596948102\ 23784*c_0110_6^17 - 36314946434487848524894119376614431/18591973669\ 157859905959694810223784*c_0110_6^16 - 431359176434211317097302586681056773/929598683457892995297984740511\ 1892*c_0110_6^15 - 5067668623224974748027304090709904223/1859197366\ 9157859905959694810223784*c_0110_6^14 + 2496458949577680701508820481895391435/92959868345789299529798474051\ 11892*c_0110_6^13 + 1420806933544719339492359700306738370/232399670\ 8644732488244961851277973*c_0110_6^12 + 519083741412319272136222483172438651/929598683457892995297984740511\ 1892*c_0110_6^11 + 210360248855143912764207699464797035/18591973669\ 157859905959694810223784*c_0110_6^10 - 3312117358096472265575928062518395287/18591973669157859905959694810\ 223784*c_0110_6^9 + 1598269081599788509459712039778834103/185919736\ 69157859905959694810223784*c_0110_6^8 - 5593007128235155329532779117859509189/18591973669157859905959694810\ 223784*c_0110_6^7 - 1122053306038571096714756799575128165/929598683\ 4578929952979847405111892*c_0110_6^6 - 2741768991622135587221146745604691375/18591973669157859905959694810\ 223784*c_0110_6^5 - 112035409172141897408743113349784883/4647993417\ 289464976489923702555946*c_0110_6^4 - 177147523064157474242588682611255282/232399670864473248824496185127\ 7973*c_0110_6^3 + 124572941712889863972086602736011741/185919736691\ 57859905959694810223784*c_0110_6^2 - 34612202304976794147946635698164135/1859197366915785990595969481022\ 3784*c_0110_6 + 10343249794806097936430719909039119/929598683457892\ 9952979847405111892, c_0101_1 + 3907119193363139325576077014387975/9295986834578929952979847\ 405111892*c_0110_6^21 - 22807807831962459460984848809023279/9295986\ 834578929952979847405111892*c_0110_6^20 - 35120016915265855367848997734129323/4647993417289464976489923702555\ 946*c_0110_6^19 + 212034865938233013268371513538874465/929598683457\ 8929952979847405111892*c_0110_6^18 + 174085103241831325389677897309017708/232399670864473248824496185127\ 7973*c_0110_6^17 + 6764114778535728735331028874762333/2323996708644\ 732488244961851277973*c_0110_6^16 + 656191608009593881513320109350225889/929598683457892995297984740511\ 1892*c_0110_6^15 + 3952957235203141736530645272130072381/9295986834\ 578929952979847405111892*c_0110_6^14 - 3876236035407329485088315387432843881/92959868345789299529798474051\ 11892*c_0110_6^13 - 2238956216551850802272861062020811090/232399670\ 8644732488244961851277973*c_0110_6^12 - 379294531227118237957479936225225075/464799341728946497648992370255\ 5946*c_0110_6^11 + 53668430923666752147931910255472665/929598683457\ 8929952979847405111892*c_0110_6^10 + 651834452622814931167544083398878253/232399670864473248824496185127\ 7973*c_0110_6^9 - 668460248582690162358359500590391633/464799341728\ 9464976489923702555946*c_0110_6^8 + 1034161486007558777635629740084843180/23239967086447324882449618512\ 77973*c_0110_6^7 + 1833206692593696767358089595754797911/9295986834\ 578929952979847405111892*c_0110_6^6 + 2123315449082488585776872596134540145/92959868345789299529798474051\ 11892*c_0110_6^5 + 330283702806764458281886144937910145/92959868345\ 78929952979847405111892*c_0110_6^4 + 542196664053170911455834150304448681/464799341728946497648992370255\ 5946*c_0110_6^3 - 60974096088065270579084420046544395/9295986834578\ 929952979847405111892*c_0110_6^2 + 36645573000529909438536523998657133/4647993417289464976489923702555\ 946*c_0110_6 - 11518883432558506265347987073739059/9295986834578929\ 952979847405111892, c_0101_3 + 436559392346498881210559769535033431/74274934808285650324308\ 98076684401708*c_0110_6^21 - 5226332909476630765735212291930428969/\ 14854986961657130064861796153368803416*c_0110_6^20 - 1860648916359591129879691176388319454/18568733702071412581077245191\ 71100427*c_0110_6^19 + 6164338324079251909545655543605030956/185687\ 3370207141258107724519171100427*c_0110_6^18 + 148051283816802622874589443701872680509/148549869616571300648617961\ 53368803416*c_0110_6^17 - 12882385425383100484275824985071406247/14\ 854986961657130064861796153368803416*c_0110_6^16 + 150945135155925035771643138845909732299/148549869616571300648617961\ 53368803416*c_0110_6^15 + 425213523986522632757751889188469857181/7\ 427493480828565032430898076684401708*c_0110_6^14 - 982112767057033235735159734427442331887/148549869616571300648617961\ 53368803416*c_0110_6^13 - 456898961839135341804357459999635085055/3\ 713746740414282516215449038342200854*c_0110_6^12 + 635121963915991796549186596993653967/371374674041428251621544903834\ 2200854*c_0110_6^11 + 4472763936753734720071185538727129155/3713746\ 740414282516215449038342200854*c_0110_6^10 + 715175460456732328764728107735479679965/148549869616571300648617961\ 53368803416*c_0110_6^9 - 458297576462723462516236014292608263123/14\ 854986961657130064861796153368803416*c_0110_6^8 + 986225269554747797859995440256900260579/148549869616571300648617961\ 53368803416*c_0110_6^7 + 200319677645073393581105120597845363113/14\ 854986961657130064861796153368803416*c_0110_6^6 + 264611085834237931274410614329595335787/742749348082856503243089807\ 6684401708*c_0110_6^5 - 20776208750564096259415133149278398083/1485\ 4986961657130064861796153368803416*c_0110_6^4 + 114706308042553332556527713341606657685/742749348082856503243089807\ 6684401708*c_0110_6^3 - 33411590905047911589940597905413756721/7427\ 493480828565032430898076684401708*c_0110_6^2 + 25149030326544128039512732473960043603/1485498696165713006486179615\ 3368803416*c_0110_6 - 9757969458322633572563047090580601081/1485498\ 6961657130064861796153368803416, c_0101_4 + 1841918059762702285553160854891389117/7427493480828565032430\ 898076684401708*c_0110_6^21 - 1043556534315515927279477129683801059\ 1/7427493480828565032430898076684401708*c_0110_6^20 - 8730456700347528251004759742817118575/18568733702071412581077245191\ 71100427*c_0110_6^19 + 94010943174275518698341253638727596881/74274\ 93480828565032430898076684401708*c_0110_6^18 + 86212626975203160055507767451507585408/1856873370207141258107724519\ 171100427*c_0110_6^17 + 36008855829788319016476036139243958147/3713\ 746740414282516215449038342200854*c_0110_6^16 + 318027752982845170938325286445596313515/742749348082856503243089807\ 6684401708*c_0110_6^15 + 1910337583991802906724140097915474004967/7\ 427493480828565032430898076684401708*c_0110_6^14 - 1508682835968524009161588733251405623101/74274934808285650324308980\ 76684401708*c_0110_6^13 - 2250931180624432931252016078428941164495/\ 3713746740414282516215449038342200854*c_0110_6^12 - 288274943323678451975467876306650294094/185687337020714125810772451\ 9171100427*c_0110_6^11 - 144044707290524182555315601081192531703/74\ 27493480828565032430898076684401708*c_0110_6^10 + 329369890343860983113617062014408228661/185687337020714125810772451\ 9171100427*c_0110_6^9 - 75110866160518017334965192483499997080/1856\ 873370207141258107724519171100427*c_0110_6^8 + 474293726980230488089097127621710673760/185687337020714125810772451\ 9171100427*c_0110_6^7 + 1140569872543736358110986756018602938255/74\ 27493480828565032430898076684401708*c_0110_6^6 + 1147566312812295225042606213607870462421/74274934808285650324308980\ 76684401708*c_0110_6^5 + 342794676124175523020835929752010824227/74\ 27493480828565032430898076684401708*c_0110_6^4 + 260897193550830279940220300081132872873/371374674041428251621544903\ 8342200854*c_0110_6^3 + 13887440780193125212556179036220215195/7427\ 493480828565032430898076684401708*c_0110_6^2 + 2071837388929830199140557344574018300/18568733702071412581077245191\ 71100427*c_0110_6 - 7650757476998595746498354208215553657/742749348\ 0828565032430898076684401708, c_0110_6^22 - 6*c_0110_6^21 - 17*c_0110_6^20 + 57*c_0110_6^19 + 169*c_0110_6^18 - 20*c_0110_6^17 + 171*c_0110_6^16 + 980*c_0110_6^15 - 1154*c_0110_6^14 - 2105*c_0110_6^13 + 126*c_0110_6^12 - 11*c_0110_6^11 + 725*c_0110_6^10 - 418*c_0110_6^9 + 1134*c_0110_6^8 + 261*c_0110_6^7 + 486*c_0110_6^6 + 4*c_0110_6^5 + 255*c_0110_6^4 - 71*c_0110_6^3 + 15*c_0110_6^2 - 7*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB