Magma V2.19-8 Tue Aug 20 2013 16:16:34 on localhost [Seed = 408519876] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0855 geometric_solution 4.76856331 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 -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.950188989984 1.193652732866 2 3 4 0 1230 0132 0132 0132 0 0 0 0 0 0 0 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 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.582721594048 1.251299484958 3 1 0 4 2310 3012 0132 3201 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 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.582721594048 1.251299484958 5 1 2 5 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.136685533589 0.650852091899 6 2 6 1 0132 2310 1023 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.553070327418 0.398119298519 3 5 5 3 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.302113340446 0.236474722432 4 6 4 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565931810403 0.090431880345 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_1'], 'c_0011_5' : d['c_0011_1'], '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' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_1']), 'c_0110_1' : d['c_0011_1'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_1'])})} 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_0101_1, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 34690241368711342326225342573365/1867127273357617999294174722672*c_\ 0101_5^23 - 152113689919530517504017581896409/933563636678808999647\ 087361336*c_0101_5^22 - 372016318937828373603257146574215/933563636\ 678808999647087361336*c_0101_5^21 + 1680993320848017523059466835888249/1867127273357617999294174722672*\ c_0101_5^20 + 1624532664946230107097741446809781/233390909169702249\ 911771840334*c_0101_5^19 + 20659162075575351465181885824473213/1867\ 127273357617999294174722672*c_0101_5^18 - 1172137700882126993335703035720373/69152861976208074047932397136*c_\ 0101_5^17 - 51906999732157862385737134560287789/6223757577858726664\ 31391574224*c_0101_5^16 - 5183762374296955657512350219441881/691528\ 61976208074047932397136*c_0101_5^15 + 59864364964278238002871676104870735/466781818339404499823543680668*\ c_0101_5^14 + 563500365549854485153220772401410111/1867127273357617\ 999294174722672*c_0101_5^13 + 4298321781442318387524082793857505/77\ 796969723234083303923946778*c_0101_5^12 - 632991254732973886471568891460675049/186712727335761799929417472267\ 2*c_0101_5^11 - 371167999723400043128500974797924191/18671272733576\ 17999294174722672*c_0101_5^10 + 50470933782859065851936460442091999\ /233390909169702249911771840334*c_0101_5^9 + 11062642049187210878397620298792409/69152861976208074047932397136*c\ _0101_5^8 - 48973431699096387579200421263258107/4667818183394044998\ 23543680668*c_0101_5^7 - 121421506074396059614908063895419335/18671\ 27273357617999294174722672*c_0101_5^6 + 12276237565406943725932886255931101/311187878892936333215695787112*\ c_0101_5^5 + 664643741321656825979377367863163/51864646482156055535\ 949297852*c_0101_5^4 - 2077057498623714852203652451880645/233390909\ 169702249911771840334*c_0101_5^3 - 64197808526499336660865755266549/77796969723234083303923946778*c_01\ 01_5^2 + 494469858229817684359683396759335/622375757785872666431391\ 574224*c_0101_5 + 56823917212779176275719106653623/1867127273357617\ 999294174722672, c_0011_0 - 1, c_0011_1 - 244104008228007284415148999/480228208168111625332863869*c_01\ 01_5^23 - 1578714770620612203808409347/480228208168111625332863869*\ c_0101_5^22 - 1065925864371745906844626910/480228208168111625332863\ 869*c_0101_5^21 + 18232954239823966543893923925/4802282081681116253\ 32863869*c_0101_5^20 + 55405067325614349767189961854/48022820816811\ 1625332863869*c_0101_5^19 - 16963958895903123693703856195/480228208\ 168111625332863869*c_0101_5^18 - 337647061624854300240027000314/480\ 228208168111625332863869*c_0101_5^17 - 421147623783957870045372733831/480228208168111625332863869*c_0101_5\ ^16 + 641773644811621199543290595507/480228208168111625332863869*c_\ 0101_5^15 + 1751694102023493163718897146885/48022820816811162533286\ 3869*c_0101_5^14 - 83563971460742580928227330640/480228208168111625\ 332863869*c_0101_5^13 - 3067787048940597177695237894142/48022820816\ 8111625332863869*c_0101_5^12 - 987310615508065708501407212797/48022\ 8208168111625332863869*c_0101_5^11 + 3270929722407377140716244261887/480228208168111625332863869*c_0101_\ 5^10 + 1232433072458791514966152569214/480228208168111625332863869*\ c_0101_5^9 - 2362020297215518012867582153607/4802282081681116253328\ 63869*c_0101_5^8 - 546969547017995149751412983451/48022820816811162\ 5332863869*c_0101_5^7 + 1103817081280145093011914601352/48022820816\ 8111625332863869*c_0101_5^6 + 17477129270509821413239618973/4802282\ 08168111625332863869*c_0101_5^5 - 279579210953391570365261941110/48\ 0228208168111625332863869*c_0101_5^4 + 38331968152019000680144015118/480228208168111625332863869*c_0101_5^\ 3 + 30220900234213067309117936852/480228208168111625332863869*c_010\ 1_5^2 - 5004999230975858555842304695/480228208168111625332863869*c_\ 0101_5 - 1421144277176879569740088231/480228208168111625332863869, c_0011_4 - 46566212035234250011120357/480228208168111625332863869*c_010\ 1_5^23 - 353408050252327595347280439/480228208168111625332863869*c_\ 0101_5^22 - 581687400712785223667414934/480228208168111625332863869\ *c_0101_5^21 + 2956567626137625723800218221/48022820816811162533286\ 3869*c_0101_5^20 + 14069539716292467651061868852/480228208168111625\ 332863869*c_0101_5^19 + 11367981098455573591261470971/4802282081681\ 11625332863869*c_0101_5^18 - 56636907493258491342002339280/48022820\ 8168111625332863869*c_0101_5^17 - 146784955170879438947374467298/48\ 0228208168111625332863869*c_0101_5^16 - 20620245687056527387098033010/480228208168111625332863869*c_0101_5^\ 15 + 358959586764828519105934967731/480228208168111625332863869*c_0\ 101_5^14 + 382786098769817260762926775176/4802282081681116253328638\ 69*c_0101_5^13 - 279251284101587086543851323867/4802282081681116253\ 32863869*c_0101_5^12 - 601848659648488703365921603881/4802282081681\ 11625332863869*c_0101_5^11 + 62852686504765395954223010513/48022820\ 8168111625332863869*c_0101_5^10 + 462599780970229688757390457985/48\ 0228208168111625332863869*c_0101_5^9 + 2713558945086205051041472343/480228208168111625332863869*c_0101_5^8 - 216542761215835917034068601577/480228208168111625332863869*c_0101\ _5^7 + 7840013652599580390381739945/480228208168111625332863869*c_0\ 101_5^6 + 60605736280147493917917683776/480228208168111625332863869\ *c_0101_5^5 - 5588613544203978387960314273/480228208168111625332863\ 869*c_0101_5^4 - 9187641521916744498210086850/480228208168111625332\ 863869*c_0101_5^3 - 571201087276240006630314993/4802282081681116253\ 32863869*c_0101_5^2 + 953999906457240398167078126/48022820816811162\ 5332863869*c_0101_5 + 567252812701764025850783101/48022820816811162\ 5332863869, c_0101_1 - 355879668409078222256541889/480228208168111625332863869*c_01\ 01_5^23 - 2307731530229054555135054104/480228208168111625332863869*\ c_0101_5^22 - 1511925333875031926427147600/480228208168111625332863\ 869*c_0101_5^21 + 27144492981529492352171379524/4802282081681116253\ 32863869*c_0101_5^20 + 82110946221805925148882930529/48022820816811\ 1625332863869*c_0101_5^19 - 28314690373369074768705201464/480228208\ 168111625332863869*c_0101_5^18 - 514828072979245817698016051966/480\ 228208168111625332863869*c_0101_5^17 - 639130485205612157349258242491/480228208168111625332863869*c_0101_5\ ^16 + 1010861074572286562441416686309/480228208168111625332863869*c\ _0101_5^15 + 2785490292354637620912444352068/4802282081681116253328\ 63869*c_0101_5^14 - 35837136696786956562681720188/48022820816811162\ 5332863869*c_0101_5^13 - 4937576141517221795437349707835/4802282081\ 68111625332863869*c_0101_5^12 - 2032764947118644765852588461601/480\ 228208168111625332863869*c_0101_5^11 + 4973993453292130433096438785196/480228208168111625332863869*c_0101_\ 5^10 + 2478659117193065480637128339737/480228208168111625332863869*\ c_0101_5^9 - 3390690879754127496284467439644/4802282081681116253328\ 63869*c_0101_5^8 - 1159168072793539864164850928582/4802282081681116\ 25332863869*c_0101_5^7 + 1570853428506047709992231106885/4802282081\ 68111625332863869*c_0101_5^6 + 135733566358705213065279696767/48022\ 8208168111625332863869*c_0101_5^5 - 403728710336345486149150574791/480228208168111625332863869*c_0101_5\ ^4 + 38000675616294918763170565670/480228208168111625332863869*c_01\ 01_5^3 + 43579934955262484018427867758/480228208168111625332863869*\ c_0101_5^2 - 5947714574184279527782084461/4802282081681116253328638\ 69*c_0101_5 - 1900268363260746467279833357/480228208168111625332863\ 869, c_0101_3 - 87024604533652400517919232/480228208168111625332863869*c_010\ 1_5^23 - 655738443770801053636554981/480228208168111625332863869*c_\ 0101_5^22 - 1049604886521546799490634295/48022820816811162533286386\ 9*c_0101_5^21 + 5597059521176535213104850538/4802282081681116253328\ 63869*c_0101_5^20 + 26018087827555511861048814701/48022820816811162\ 5332863869*c_0101_5^19 + 19726139010979873684726618932/480228208168\ 111625332863869*c_0101_5^18 - 107507628694513605516216199941/480228\ 208168111625332863869*c_0101_5^17 - 269150991764437653406761103824/480228208168111625332863869*c_0101_5\ ^16 - 21991672269621896604678288610/480228208168111625332863869*c_0\ 101_5^15 + 678448402531773205973347157646/4802282081681116253328638\ 69*c_0101_5^14 + 681907894189212577427933237683/4802282081681116253\ 32863869*c_0101_5^13 - 571090591523546701313985926776/4802282081681\ 11625332863869*c_0101_5^12 - 1113034020138510735906035485659/480228\ 208168111625332863869*c_0101_5^11 + 180328485899979072489136453335/480228208168111625332863869*c_0101_5\ ^10 + 877490009544285517202464941265/480228208168111625332863869*c_\ 0101_5^9 - 35964178403064913809768822143/48022820816811162533286386\ 9*c_0101_5^8 - 416483961093517408243775468201/480228208168111625332\ 863869*c_0101_5^7 + 32086533936808991245626644247/48022820816811162\ 5332863869*c_0101_5^6 + 117055892342333343040370376105/480228208168\ 111625332863869*c_0101_5^5 - 15105669664130094532672048064/48022820\ 8168111625332863869*c_0101_5^4 - 17772058178915314460469006753/4802\ 28208168111625332863869*c_0101_5^3 + 1951507858390762768083574846/480228208168111625332863869*c_0101_5^2 + 692248561694743223363821964/480228208168111625332863869*c_0101_5 + 257803070188021194023724270/480228208168111625332863869, c_0101_4 + 249332843205492795471144340/480228208168111625332863869*c_01\ 01_5^23 + 1830341129146456426412968900/480228208168111625332863869*\ c_0101_5^22 + 2635014545541324896894417233/480228208168111625332863\ 869*c_0101_5^21 - 16672890919500609294676901010/4802282081681116253\ 32863869*c_0101_5^20 - 71506952267958921893442134887/48022820816811\ 1625332863869*c_0101_5^19 - 41584572779569515731157019905/480228208\ 168111625332863869*c_0101_5^18 + 321000998599210584559577327943/480\ 228208168111625332863869*c_0101_5^17 + 712755968129684032051752688154/480228208168111625332863869*c_0101_5\ ^16 - 94893779899177582789076908419/480228208168111625332863869*c_0\ 101_5^15 - 1976139838468961765122039179055/480228208168111625332863\ 869*c_0101_5^14 - 1578792647912571733990052658672/48022820816811162\ 5332863869*c_0101_5^13 + 2063345105922265429004551568514/4802282081\ 68111625332863869*c_0101_5^12 + 2922657567268188410177506827296/480\ 228208168111625332863869*c_0101_5^11 - 1168173972884133767377744907722/480228208168111625332863869*c_0101_\ 5^10 - 2490495346519516576611507695896/480228208168111625332863869*\ c_0101_5^9 + 591249717020678053999410518389/48022820816811162533286\ 3869*c_0101_5^8 + 1227316542759247250879032460332/48022820816811162\ 5332863869*c_0101_5^7 - 316737862793158350408271599452/480228208168\ 111625332863869*c_0101_5^6 - 335611416463576359974146400250/4802282\ 08168111625332863869*c_0101_5^5 + 111361779144868495364238121870/48\ 0228208168111625332863869*c_0101_5^4 + 42356618732601844530960300841/480228208168111625332863869*c_0101_5^\ 3 - 18469078133877091660922269650/480228208168111625332863869*c_010\ 1_5^2 - 1490776813403383271715245493/480228208168111625332863869*c_\ 0101_5 + 842601101698309411226423986/480228208168111625332863869, c_0101_5^24 + 7*c_0101_5^23 + 8*c_0101_5^22 - 71*c_0101_5^21 - 265*c_0101_5^20 - 65*c_0101_5^19 + 1366*c_0101_5^18 + 2442*c_0101_5^17 - 1434*c_0101_5^16 - 8033*c_0101_5^15 - 3711*c_0101_5^14 + 10961*c_0101_5^13 + 9581*c_0101_5^12 - 8988*c_0101_5^11 - 9361*c_0101_5^10 + 5729*c_0101_5^9 + 4817*c_0101_5^8 - 2857*c_0101_5^7 - 1255*c_0101_5^6 + 870*c_0101_5^5 + 140*c_0101_5^4 - 128*c_0101_5^3 - 9*c_0101_5^2 + 8*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB