Magma V2.19-8 Tue Aug 20 2013 16:17:31 on localhost [Seed = 357861838] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1754 geometric_solution 5.44476009 oriented_manifold CS_known 0.0000000000000002 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 0 0 0 0 0 0 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.514488005887 0.300727973013 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 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 0 1.061907894379 0.397944875482 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -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.622805859666 0.317299976803 2 4 6 5 0132 0321 0132 0132 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 0 0 0 0 -1 1 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.998995949108 1.068963552004 6 5 2 3 0132 2310 0132 0321 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 -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.998995949108 1.068963552004 5 5 3 4 1302 2031 0132 3201 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 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.466735533285 0.498422831618 4 6 6 3 0132 1230 3012 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 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.156817121937 0.630552701791 ==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_4']), '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' : negation(d['c_0011_1']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0011_5']), '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_0011_5, c_0101_0, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 7114598839832854021390443081009919114212/11920657819026005677727103\ 4521874536781*c_0110_5^23 + 335511013614876194992260900652129881163\ 56/119206578190260056777271034521874536781*c_0110_5^22 + 144482004566618276430656772965463283270527/119206578190260056777271\ 034521874536781*c_0110_5^21 - 6694468753986859258274816403164229131\ 33362/119206578190260056777271034521874536781*c_0110_5^20 - 163678886395718255502852502937092915131726/119206578190260056777271\ 034521874536781*c_0110_5^19 + 4580695586592565690813771591625595944\ 185831/119206578190260056777271034521874536781*c_0110_5^18 - 1183211829142091269894762699946923847975998/11920657819026005677727\ 1034521874536781*c_0110_5^17 - 174008388727737267502896743723024420\ 12605867/119206578190260056777271034521874536781*c_0110_5^16 + 3430863832407997252828378268682449626266985/11920657819026005677727\ 1034521874536781*c_0110_5^15 + 394232490334921763883242159896874592\ 62861880/119206578190260056777271034521874536781*c_0110_5^14 - 2816194464562487919480018452954978262338196/11920657819026005677727\ 1034521874536781*c_0110_5^13 - 567588862914211812693142435968323831\ 37567551/119206578190260056777271034521874536781*c_0110_5^12 + 411725884538620406683654549381794887044486/119206578190260056777271\ 034521874536781*c_0110_5^11 + 5599897040175961766590037222930379090\ 3989432/119206578190260056777271034521874536781*c_0110_5^10 - 4268293277692294613703325229512318620673254/11920657819026005677727\ 1034521874536781*c_0110_5^9 - 3567368393630196707282638722766786851\ 6913942/119206578190260056777271034521874536781*c_0110_5^8 + 4692200641394715118658337226911197252535177/11920657819026005677727\ 1034521874536781*c_0110_5^7 + 1616621270000597597989099206174294490\ 0885778/119206578190260056777271034521874536781*c_0110_5^6 - 938375949418616792001689548759325713867557/119206578190260056777271\ 034521874536781*c_0110_5^5 - 62332162105508491145714603531875711695\ 20303/119206578190260056777271034521874536781*c_0110_5^4 - 29037067474155610827418466519773143964908/1192065781902600567772710\ 34521874536781*c_0110_5^3 + 140331886202346201783593020428791371762\ 4372/119206578190260056777271034521874536781*c_0110_5^2 - 77625218470472994082415214982432483019461/1192065781902600567772710\ 34521874536781*c_0110_5 - 75307748303398505599070852788660509592204\ /119206578190260056777271034521874536781, c_0011_0 - 1, c_0011_1 - 91061484425303895366460653377900895453/119206578190260056777\ 271034521874536781*c_0110_5^23 + 4162765583756014834922462384157185\ 69126/119206578190260056777271034521874536781*c_0110_5^22 + 1905417292530681144340781192857960413002/11920657819026005677727103\ 4521874536781*c_0110_5^21 - 827441798233797148692975580359850516829\ 8/119206578190260056777271034521874536781*c_0110_5^20 - 3210299248394478121783751272566446133782/11920657819026005677727103\ 4521874536781*c_0110_5^19 + 577926741832899109893409202780233554423\ 43/119206578190260056777271034521874536781*c_0110_5^18 - 6872993527186591923813098665216978106451/11920657819026005677727103\ 4521874536781*c_0110_5^17 - 221191603771207801518580636975941108479\ 853/119206578190260056777271034521874536781*c_0110_5^16 + 11255304107790983736472064649715009272560/1192065781902600567772710\ 34521874536781*c_0110_5^15 + 49675990123363322993096421239590282026\ 3334/119206578190260056777271034521874536781*c_0110_5^14 + 37686409664320941693602350297195208522971/1192065781902600567772710\ 34521874536781*c_0110_5^13 - 69988347195324777601109081657440419072\ 1060/119206578190260056777271034521874536781*c_0110_5^12 - 97374903308078438968003770829008569221117/1192065781902600567772710\ 34521874536781*c_0110_5^11 + 67270067822163392421862235894587466240\ 3819/119206578190260056777271034521874536781*c_0110_5^10 + 42506081518176481785780774946910611476846/1192065781902600567772710\ 34521874536781*c_0110_5^9 - 421442720016465066937683959095896060040\ 221/119206578190260056777271034521874536781*c_0110_5^8 - 2647965828206718287690470819635263224997/11920657819026005677727103\ 4521874536781*c_0110_5^7 + 1886958427964851825558710307774594380291\ 90/119206578190260056777271034521874536781*c_0110_5^6 + 16846252871290730332586873312580529394662/1192065781902600567772710\ 34521874536781*c_0110_5^5 - 693688870595271362608599516252269180544\ 88/119206578190260056777271034521874536781*c_0110_5^4 - 10147628029839726006859739243381208141181/1192065781902600567772710\ 34521874536781*c_0110_5^3 + 133746712784374159573058335857046995666\ 11/119206578190260056777271034521874536781*c_0110_5^2 + 688008726495241623248699936079472405864/119206578190260056777271034\ 521874536781*c_0110_5 - 235528273749714711733873541296080330782/119\ 206578190260056777271034521874536781, c_0011_4 + 93997762162491305922597847350425622637/119206578190260056777\ 271034521874536781*c_0110_5^23 - 4216401523250240596673451131006183\ 24863/119206578190260056777271034521874536781*c_0110_5^22 - 2001294755577312266377243150300220812226/11920657819026005677727103\ 4521874536781*c_0110_5^21 + 836387811799871307483620001614054413711\ 6/119206578190260056777271034521874536781*c_0110_5^20 + 3987261151719620692613559389090778410061/11920657819026005677727103\ 4521874536781*c_0110_5^19 - 592072051033113988836146104874600831007\ 42/119206578190260056777271034521874536781*c_0110_5^18 + 2223273014605818293736185792980616874049/11920657819026005677727103\ 4521874536781*c_0110_5^17 + 227592768184242751100108505410374356832\ 190/119206578190260056777271034521874536781*c_0110_5^16 + 6929699586301710491958496816094282172176/11920657819026005677727103\ 4521874536781*c_0110_5^15 - 508694840816979796227553393129973474670\ 585/119206578190260056777271034521874536781*c_0110_5^14 - 78840160107093887211003230426745273215050/1192065781902600567772710\ 34521874536781*c_0110_5^13 + 70911153610247834240607647713106665474\ 1371/119206578190260056777271034521874536781*c_0110_5^12 + 153653218342681952669300526917087701156377/119206578190260056777271\ 034521874536781*c_0110_5^11 - 6738588440701329312284107650618846943\ 21828/119206578190260056777271034521874536781*c_0110_5^10 - 92497247743180705173171170429289719978696/1192065781902600567772710\ 34521874536781*c_0110_5^9 + 420923565770296553084741895959036691777\ 613/119206578190260056777271034521874536781*c_0110_5^8 + 32145725436357265839548861705451766213575/1192065781902600567772710\ 34521874536781*c_0110_5^7 - 188146431228695229742456848261986299071\ 494/119206578190260056777271034521874536781*c_0110_5^6 - 30407542998104827825443030943539241737990/1192065781902600567772710\ 34521874536781*c_0110_5^5 + 676444542062374698419104450975281819994\ 60/119206578190260056777271034521874536781*c_0110_5^4 + 15034411845360792329389724490605522515662/1192065781902600567772710\ 34521874536781*c_0110_5^3 - 122039270269807765118601478899280898325\ 80/119206578190260056777271034521874536781*c_0110_5^2 - 1385752424348696903994728533445596166000/11920657819026005677727103\ 4521874536781*c_0110_5 + 91660509333646419954980448194283007476/119\ 206578190260056777271034521874536781, c_0011_5 + 112365225863922247262440065216056443260/11920657819026005677\ 7271034521874536781*c_0110_5^23 - 509148275230874495776178077994160\ 290475/119206578190260056777271034521874536781*c_0110_5^22 - 2373136003031309059779500353756522917905/11920657819026005677727103\ 4521874536781*c_0110_5^21 + 101184673908645703919183372714633234350\ 48/119206578190260056777271034521874536781*c_0110_5^20 + 4410004273558511789432538213976835146547/11920657819026005677727103\ 4521874536781*c_0110_5^19 - 711925342094972432927597120487135836096\ 09/119206578190260056777271034521874536781*c_0110_5^18 + 5368438062883921485183771150875169055601/11920657819026005677727103\ 4521874536781*c_0110_5^17 + 273760755909555739105718301463007469244\ 505/119206578190260056777271034521874536781*c_0110_5^16 - 1376580361157711284253961249624493018123/11920657819026005677727103\ 4521874536781*c_0110_5^15 - 615020801405346126222396350538269134067\ 499/119206578190260056777271034521874536781*c_0110_5^14 - 76902573441534284698168004878697209727504/1192065781902600567772710\ 34521874536781*c_0110_5^13 + 86220776180225337218553657851979709951\ 1624/119206578190260056777271034521874536781*c_0110_5^12 + 165519980843363384691348998738645006878658/119206578190260056777271\ 034521874536781*c_0110_5^11 - 8214381876477368668653565918092520049\ 56597/119206578190260056777271034521874536781*c_0110_5^10 - 96305047431946412325360452801098926156060/1192065781902600567772710\ 34521874536781*c_0110_5^9 + 512085268409314659021474628259497557228\ 682/119206578190260056777271034521874536781*c_0110_5^8 + 30671437276109741091737611711400638920786/1192065781902600567772710\ 34521874536781*c_0110_5^7 - 228988668445292385507897311270855288471\ 400/119206578190260056777271034521874536781*c_0110_5^6 - 33623282505564794519692968670214615226766/1192065781902600567772710\ 34521874536781*c_0110_5^5 + 826061370551368202881200614283614704364\ 82/119206578190260056777271034521874536781*c_0110_5^4 + 17492134446074232184435640196952792470167/1192065781902600567772710\ 34521874536781*c_0110_5^3 - 148110887356154694266996296905450347779\ 89/119206578190260056777271034521874536781*c_0110_5^2 - 1619795378247023774669840205924001294643/11920657819026005677727103\ 4521874536781*c_0110_5 + 126403318623457858161313194908025644377/11\ 9206578190260056777271034521874536781, c_0101_0 + 31040952440752295851703452639824742473/119206578190260056777\ 271034521874536781*c_0110_5^23 - 1347027074518358805130738476901293\ 37225/119206578190260056777271034521874536781*c_0110_5^22 - 681721286320187729641684163187341854373/119206578190260056777271034\ 521874536781*c_0110_5^21 + 2671203438800871581897611757221913822543\ /119206578190260056777271034521874536781*c_0110_5^20 + 1717255150978819693518904867471111834059/11920657819026005677727103\ 4521874536781*c_0110_5^19 - 194873082354367417467700766557200782166\ 56/119206578190260056777271034521874536781*c_0110_5^18 - 1895710960157926310464626902714813547679/11920657819026005677727103\ 4521874536781*c_0110_5^17 + 758677079405041464911671609107110417313\ 00/119206578190260056777271034521874536781*c_0110_5^16 + 11379109981039206989945353483528645149000/1192065781902600567772710\ 34521874536781*c_0110_5^15 - 17006923222874654398472716714526005451\ 2638/119206578190260056777271034521874536781*c_0110_5^14 - 43935271498196169089829219376253433315032/1192065781902600567772710\ 34521874536781*c_0110_5^13 + 23815688122867588742528796381048848724\ 6713/119206578190260056777271034521874536781*c_0110_5^12 + 73616357478024615567214888279029509813391/1192065781902600567772710\ 34521874536781*c_0110_5^11 - 22975800974654714108108096341533554719\ 2658/119206578190260056777271034521874536781*c_0110_5^10 - 52288600131114561072660070368058910329248/1192065781902600567772710\ 34521874536781*c_0110_5^9 + 150004118389910758862753431939310383562\ 071/119206578190260056777271034521874536781*c_0110_5^8 + 22892954359705255900668737705098720601281/1192065781902600567772710\ 34521874536781*c_0110_5^7 - 694675411590494545829043380862188483440\ 97/119206578190260056777271034521874536781*c_0110_5^6 - 14683949597211235391877141419684665907402/1192065781902600567772710\ 34521874536781*c_0110_5^5 + 252143203891340235083645154521010215831\ 26/119206578190260056777271034521874536781*c_0110_5^4 + 6706900378331271218316782058249896979695/11920657819026005677727103\ 4521874536781*c_0110_5^3 - 5183828802291068765193896242055875085594\ /119206578190260056777271034521874536781*c_0110_5^2 - 900977346921484920976466031048831904832/119206578190260056777271034\ 521874536781*c_0110_5 + 162354251110575117670508007450235961500/119\ 206578190260056777271034521874536781, c_0101_3 + 37140819515501263873596458799959185950/119206578190260056777\ 271034521874536781*c_0110_5^23 - 1666149665783915254831757274472659\ 64650/119206578190260056777271034521874536781*c_0110_5^22 - 791586895186547477063279203338582651129/119206578190260056777271034\ 521874536781*c_0110_5^21 + 3308101494634010743091402951785129888986\ /119206578190260056777271034521874536781*c_0110_5^20 + 1596192197685868356463136424442946680059/11920657819026005677727103\ 4521874536781*c_0110_5^19 - 234491309333232114146008711761586554543\ 76/119206578190260056777271034521874536781*c_0110_5^18 + 798317559829681737069199866570926050172/119206578190260056777271034\ 521874536781*c_0110_5^17 + 9037582917306052254673282948986057036602\ 0/119206578190260056777271034521874536781*c_0110_5^16 + 3120160385083871535038592267708643730670/11920657819026005677727103\ 4521874536781*c_0110_5^15 - 202541295961793863551450797911091671522\ 759/119206578190260056777271034521874536781*c_0110_5^14 - 32533985783966531977790516554047545224350/1192065781902600567772710\ 34521874536781*c_0110_5^13 + 28272548244271760724987672442707583936\ 4176/119206578190260056777271034521874536781*c_0110_5^12 + 62945396514192905933548288555080297342086/1192065781902600567772710\ 34521874536781*c_0110_5^11 - 26899325062040584432501930417146828621\ 7757/119206578190260056777271034521874536781*c_0110_5^10 - 38213411006695846198663707777996585996845/1192065781902600567772710\ 34521874536781*c_0110_5^9 + 169180940552466730217532838642622646666\ 409/119206578190260056777271034521874536781*c_0110_5^8 + 13206712523801256653461605820231405726501/1192065781902600567772710\ 34521874536781*c_0110_5^7 - 764789124710212892273428413269816573375\ 22/119206578190260056777271034521874536781*c_0110_5^6 - 11982312372916027601300778437077226809270/1192065781902600567772710\ 34521874536781*c_0110_5^5 + 275680700193427405464833417590961472759\ 71/119206578190260056777271034521874536781*c_0110_5^4 + 5864034884922075022153519217720263462938/11920657819026005677727103\ 4521874536781*c_0110_5^3 - 5005111176911499497402538246020798608952\ /119206578190260056777271034521874536781*c_0110_5^2 - 543298135985358727430150294216538511600/119206578190260056777271034\ 521874536781*c_0110_5 + 85309251171760744454259398594379536216/1192\ 06578190260056777271034521874536781, c_0110_5^24 - 5*c_0110_5^23 - 19*c_0110_5^22 + 100*c_0110_5^21 - 3*c_0110_5^20 - 653*c_0110_5^19 + 347*c_0110_5^18 + 2418*c_0110_5^17 - 1171*c_0110_5^16 - 5480*c_0110_5^15 + 1940*c_0110_5^14 + 8030*c_0110_5^13 - 2235*c_0110_5^12 - 8070*c_0110_5^11 + 2698*c_0110_5^10 + 5034*c_0110_5^9 - 1972*c_0110_5^8 - 2200*c_0110_5^7 + 713*c_0110_5^6 + 892*c_0110_5^5 - 211*c_0110_5^4 - 215*c_0110_5^3 + 54*c_0110_5^2 + 9*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB