Magma V2.19-8 Tue Aug 20 2013 16:17:28 on localhost [Seed = 728414193] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1701 geometric_solution 5.41336411 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.219436484272 0.246982714233 2 0 3 0 0132 2310 0132 0132 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 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.770203539401 2.015741122172 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 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 -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.576869508614 1.063714291397 2 5 4 1 3012 3201 3201 0132 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 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.576869508614 1.063714291397 3 2 6 6 2310 0132 3201 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.283048200020 0.341984197104 5 5 3 2 1230 3012 2310 0132 0 0 0 0 0 0 -1 1 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 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.929069410077 1.238294026287 4 6 4 6 2310 2310 0132 3201 0 0 0 0 0 1 -1 0 1 0 0 -1 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 -1.358108747267 0.638884184266 ==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_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), '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_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0011_5'], '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_5'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_5'])})} 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_0011_5, c_0011_6, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 3572066762882496804485119780214794875595/74111654006337087113899278\ 175638199712*c_0101_4^22 - 2384249378851235876238102378239649196889\ /9263956750792135889237409771954774964*c_0101_4^21 + 3026289864131615729408688594089530718643/46319783753960679446187048\ 85977387482*c_0101_4^20 + 22921131040199750518390644296538616658446\ 7/74111654006337087113899278175638199712*c_0101_4^19 - 100179563336981143635226708352211963381989/741116540063370871138992\ 78175638199712*c_0101_4^18 - 38066845154507606892337647603580713928\ 0591/37055827003168543556949639087819099856*c_0101_4^17 - 1808462098217581116903633838249128574840231/74111654006337087113899\ 278175638199712*c_0101_4^16 + 4287936599273807228772087597947458869\ 46881/74111654006337087113899278175638199712*c_0101_4^15 + 6140469283874371288996427165599911257246959/37055827003168543556949\ 639087819099856*c_0101_4^14 + 2205997141674774470050499804034400566\ 889905/37055827003168543556949639087819099856*c_0101_4^13 - 42747267855711596657563998501946651745216287/7411165400633708711389\ 9278175638199712*c_0101_4^12 + 476465762022203008036163034669760933\ 43155/4631978375396067944618704885977387482*c_0101_4^11 + 76400731739565325699351742944909887935046249/7411165400633708711389\ 9278175638199712*c_0101_4^10 - 413879361327877522694041636152437337\ 62467865/74111654006337087113899278175638199712*c_0101_4^9 - 42348830787795844338955933879646291569790193/7411165400633708711389\ 9278175638199712*c_0101_4^8 + 2124125594930784032017189790330119117\ 5757263/37055827003168543556949639087819099856*c_0101_4^7 + 1618215207098641730630442745130317539881451/74111654006337087113899\ 278175638199712*c_0101_4^6 - 71950055477983030095925256896107099129\ 66057/37055827003168543556949639087819099856*c_0101_4^5 + 129665912621514539182235166535643354333198/231598918769803397230935\ 2442988693741*c_0101_4^4 + 1477584483035727656263928672368555963616\ 971/74111654006337087113899278175638199712*c_0101_4^3 - 844034054738904433128831980516958481879613/741116540063370871138992\ 78175638199712*c_0101_4^2 + 247191994698686986128368085843967226889\ 61/74111654006337087113899278175638199712*c_0101_4 + 1706221837540434860909643763555496867055/46319783753960679446187048\ 85977387482, c_0011_0 - 1, c_0011_1 - 1071653902868543043076516522665233357/2315989187698033972309\ 352442988693741*c_0101_4^22 - 5915870265204320645984968646151149778\ /2315989187698033972309352442988693741*c_0101_4^21 + 13518101611218747685204386613644851008/2315989187698033972309352442\ 988693741*c_0101_4^20 + 71512609219736029159072454743970657087/2315\ 989187698033972309352442988693741*c_0101_4^19 - 17975275304323210850387843508123907629/2315989187698033972309352442\ 988693741*c_0101_4^18 - 235105633889114759733584286541010383608/231\ 5989187698033972309352442988693741*c_0101_4^17 - 583055255761988641554434145159315281016/231598918769803397230935244\ 2988693741*c_0101_4^16 + 33303467726156221872580511287994337916/231\ 5989187698033972309352442988693741*c_0101_4^15 + 3718657060882967458338431124253118546547/23159891876980339723093524\ 42988693741*c_0101_4^14 + 1989059845955690835292004452186406421657/\ 2315989187698033972309352442988693741*c_0101_4^13 - 12648463182983900533862855008613127511993/2315989187698033972309352\ 442988693741*c_0101_4^12 - 2087088219871585600238478990477076076900\ /2315989187698033972309352442988693741*c_0101_4^11 + 23148865046271630259281596334074666755110/2315989187698033972309352\ 442988693741*c_0101_4^10 - 8450669548109754669290999611351085650108\ /2315989187698033972309352442988693741*c_0101_4^9 - 15101037557820024232189824053919607553503/2315989187698033972309352\ 442988693741*c_0101_4^8 + 10964846380335828867822555842984780428118\ /2315989187698033972309352442988693741*c_0101_4^7 + 2379960088849369040297284944895781810794/23159891876980339723093524\ 42988693741*c_0101_4^6 - 4344939181211904192311376014391930280957/2\ 315989187698033972309352442988693741*c_0101_4^5 + 792605648578685083404421882119845973589/231598918769803397230935244\ 2988693741*c_0101_4^4 + 549751444123559886892511886625696317821/231\ 5989187698033972309352442988693741*c_0101_4^3 - 215609040087640312653244856074739392993/231598918769803397230935244\ 2988693741*c_0101_4^2 + 3027609007503054514651189941523690028/23159\ 89187698033972309352442988693741*c_0101_4 + 4575278840080270576969824261635436274/23159891876980339723093524429\ 88693741, c_0011_3 - 1129715506367616924777147141372165517/2315989187698033972309\ 352442988693741*c_0101_4^22 - 6097652224561782923997166932781822517\ /2315989187698033972309352442988693741*c_0101_4^21 + 15119365243098100337689931526192930663/2315989187698033972309352442\ 988693741*c_0101_4^20 + 74292180250028257218261462585137414750/2315\ 989187698033972309352442988693741*c_0101_4^19 - 28994696760578694107953875672005823072/2315989187698033972309352442\ 988693741*c_0101_4^18 - 253258470638175455343273222965589271434/231\ 5989187698033972309352442988693741*c_0101_4^17 - 588466837109906332481733277588344024674/231598918769803397230935244\ 2988693741*c_0101_4^16 + 132023125525228122015543253689401393284/23\ 15989187698033972309352442988693741*c_0101_4^15 + 3988857442829693355527493740475192024197/23159891876980339723093524\ 42988693741*c_0101_4^14 + 1666121593596562431762542843568202972821/\ 2315989187698033972309352442988693741*c_0101_4^13 - 13925625657934393252159509543962136905405/2315989187698033972309352\ 442988693741*c_0101_4^12 - 1031854782099907607803001156301385404132\ /2315989187698033972309352442988693741*c_0101_4^11 + 25621744550747952282667676354145327452822/2315989187698033972309352\ 442988693741*c_0101_4^10 - 1086437956776371575612416180580523778328\ 7/2315989187698033972309352442988693741*c_0101_4^9 - 16604943178341732582825326048087422204458/2315989187698033972309352\ 442988693741*c_0101_4^8 + 12871597927601324825239111334349794493934\ /2315989187698033972309352442988693741*c_0101_4^7 + 2710854862749853745791097302896689216593/23159891876980339723093524\ 42988693741*c_0101_4^6 - 5051657050026291155460884786158281766063/2\ 315989187698033972309352442988693741*c_0101_4^5 + 788448833512668516354637325823228520778/231598918769803397230935244\ 2988693741*c_0101_4^4 + 721499231837959180962342785600983398830/231\ 5989187698033972309352442988693741*c_0101_4^3 - 232651905358491717774115787788835887241/231598918769803397230935244\ 2988693741*c_0101_4^2 - 23048957813314917876388195924982148202/2315\ 989187698033972309352442988693741*c_0101_4 + 5878632585053003913119906232919447959/23159891876980339723093524429\ 88693741, c_0011_5 - 1289144718927756480958062104893548052/2315989187698033972309\ 352442988693741*c_0101_4^22 - 7166614021767651418330401258369432738\ /2315989187698033972309352442988693741*c_0101_4^21 + 16039609124485570827676374321094680424/2315989187698033972309352442\ 988693741*c_0101_4^20 + 86993618980186417585963655321301504825/2315\ 989187698033972309352442988693741*c_0101_4^19 - 18763439635132074805433979361680007745/2315989187698033972309352442\ 988693741*c_0101_4^18 - 287601449942115186069206718144578315444/231\ 5989187698033972309352442988693741*c_0101_4^17 - 713919248716074123046085989452967226928/231598918769803397230935244\ 2988693741*c_0101_4^16 + 23752445579675017938228487439657373218/231\ 5989187698033972309352442988693741*c_0101_4^15 + 4511744630675750305988981376448390635389/23159891876980339723093524\ 42988693741*c_0101_4^14 + 2588120794971102819461553767860516809990/\ 2315989187698033972309352442988693741*c_0101_4^13 - 15298540058060880222520775930238899478661/2315989187698033972309352\ 442988693741*c_0101_4^12 - 3314182699726528708128095639055146293093\ /2315989187698033972309352442988693741*c_0101_4^11 + 28254818282639295261332224887435582072033/2315989187698033972309352\ 442988693741*c_0101_4^10 - 8662914888544022408645804707262063582284\ /2315989187698033972309352442988693741*c_0101_4^9 - 19444828380498806387114308580634533464742/2315989187698033972309352\ 442988693741*c_0101_4^8 + 12356970649154752007496718201338400522204\ /2315989187698033972309352442988693741*c_0101_4^7 + 4009339436268855233511420017661158481077/23159891876980339723093524\ 42988693741*c_0101_4^6 - 5236618595508349124735263551577198629178/2\ 315989187698033972309352442988693741*c_0101_4^5 + 557477168661757908341584395209126543631/231598918769803397230935244\ 2988693741*c_0101_4^4 + 792576136341736839701921315441652511393/231\ 5989187698033972309352442988693741*c_0101_4^3 - 215457245871229032777538844478787207460/231598918769803397230935244\ 2988693741*c_0101_4^2 - 25375100931683753586488086828195320216/2315\ 989187698033972309352442988693741*c_0101_4 + 5513704601368319936604698808453917555/23159891876980339723093524429\ 88693741, c_0011_6 - 139700183116875658407837901277417447/23159891876980339723093\ 52442988693741*c_0101_4^22 - 623761053101568980208672613079922383/2\ 315989187698033972309352442988693741*c_0101_4^21 + 2622177907248417540285603543573710767/23159891876980339723093524429\ 88693741*c_0101_4^20 + 7822017578600265094082772167943531194/231598\ 9187698033972309352442988693741*c_0101_4^19 - 12149730633837005097491777802748946135/2315989187698033972309352442\ 988693741*c_0101_4^18 - 32331211321986945938395979932223005586/2315\ 989187698033972309352442988693741*c_0101_4^17 - 50018097590625874131297061160824195439/2315989187698033972309352442\ 988693741*c_0101_4^16 + 93569267551383907672528095509447092295/2315\ 989187698033972309352442988693741*c_0101_4^15 + 525278889655225820861717887080039670464/231598918769803397230935244\ 2988693741*c_0101_4^14 - 189589754395893458489925217633467991751/23\ 15989187698033972309352442988693741*c_0101_4^13 - 2056559641036434895767346868328262037293/23159891876980339723093524\ 42988693741*c_0101_4^12 + 1049845486200019149433287245272222865325/\ 2315989187698033972309352442988693741*c_0101_4^11 + 3546312253075256610931671876500531729999/23159891876980339723093524\ 42988693741*c_0101_4^10 - 3192470701905847256612859396491588119028/\ 2315989187698033972309352442988693741*c_0101_4^9 - 1343081088835433843391086831921487247414/23159891876980339723093524\ 42988693741*c_0101_4^8 + 2182895262477256371810957229287491897084/2\ 315989187698033972309352442988693741*c_0101_4^7 - 220409833730256649798940161055698449228/231598918769803397230935244\ 2988693741*c_0101_4^6 - 473979459617250103315626396663183837398/231\ 5989187698033972309352442988693741*c_0101_4^5 + 140252022960136592257750548728515896574/231598918769803397230935244\ 2988693741*c_0101_4^4 + 40301395018586892098174440142630849215/2315\ 989187698033972309352442988693741*c_0101_4^3 - 8182728744027590606423484760286963906/23159891876980339723093524429\ 88693741*c_0101_4^2 - 5413931528806122149413270594375976662/2315989\ 187698033972309352442988693741*c_0101_4 + 94842075636036498671920373896917578/2315989187698033972309352442988\ 693741, c_0101_3 + 1137824137731620577756343005120556749/2315989187698033972309\ 352442988693741*c_0101_4^22 + 5977377599437489707258437642119712034\ /2315989187698033972309352442988693741*c_0101_4^21 - 16111121417691284323006699967940543092/2315989187698033972309352442\ 988693741*c_0101_4^20 - 72641173157599119842812438354413746275/2315\ 989187698033972309352442988693741*c_0101_4^19 + 39843703632856935022865381619087922849/2315989187698033972309352442\ 988693741*c_0101_4^18 + 251066723240478944153164658560158032041/231\ 5989187698033972309352442988693741*c_0101_4^17 + 557429883308784140715734217018421180626/231598918769803397230935244\ 2988693741*c_0101_4^16 - 218909080313776427803338583489602163485/23\ 15989187698033972309352442988693741*c_0101_4^15 - 4002550507969933895038784109459189250026/23159891876980339723093524\ 42988693741*c_0101_4^14 - 1110438887491656671414313001308204454972/\ 2315989187698033972309352442988693741*c_0101_4^13 + 14266462319181935459359015669288513724446/2315989187698033972309352\ 442988693741*c_0101_4^12 - 900957205163726134415510405276143333559/\ 2315989187698033972309352442988693741*c_0101_4^11 - 25908868191949480435635813008466807717529/2315989187698033972309352\ 442988693741*c_0101_4^10 + 1436188799308812277011031553849669172131\ 0/2315989187698033972309352442988693741*c_0101_4^9 + 15103445954142736852010667694309116461867/2315989187698033972309352\ 442988693741*c_0101_4^8 - 14825478358225157552117199863962148876612\ /2315989187698033972309352442988693741*c_0101_4^7 - 1065069155176252149988202778053352983701/23159891876980339723093524\ 42988693741*c_0101_4^6 + 5185811711587570721349129409185474949358/2\ 315989187698033972309352442988693741*c_0101_4^5 - 1334638925627801513558904681429971029626/23159891876980339723093524\ 42988693741*c_0101_4^4 - 588603492392936178087489714748287515316/23\ 15989187698033972309352442988693741*c_0101_4^3 + 288583491753510848836185307174606701221/231598918769803397230935244\ 2988693741*c_0101_4^2 - 590638619302740435758540271443090631/231598\ 9187698033972309352442988693741*c_0101_4 - 5931297113044235689295949293670403326/23159891876980339723093524429\ 88693741, c_0101_4^23 + 6*c_0101_4^22 - 10*c_0101_4^21 - 73*c_0101_4^20 - 15*c_0101_4^19 + 230*c_0101_4^18 + 651*c_0101_4^17 + 223*c_0101_4^16 - 3510*c_0101_4^15 - 3540*c_0101_4^14 + 11021*c_0101_4^13 + 7778*c_0101_4^12 - 20957*c_0101_4^11 - 2863*c_0101_4^10 + 18395*c_0101_4^9 - 3166*c_0101_4^8 - 7595*c_0101_4^7 + 2924*c_0101_4^6 + 1406*c_0101_4^5 - 893*c_0101_4^4 - 87*c_0101_4^3 + 105*c_0101_4^2 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB