Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 2176851271] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0285 geometric_solution 4.32739715 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 1023 0 0 0 0 0 -1 1 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 -1 1 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.558559530087 0.383659437001 0 4 3 3 0132 0132 3012 2310 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 -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.257597899886 1.573721380613 5 0 5 0 0132 0132 1023 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771032197729 0.090043763327 1 1 4 0 3201 1230 3201 0132 0 0 0 0 0 0 1 -1 -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 1 0 -1 0 0 -1 1 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.257597899886 1.573721380613 3 1 6 6 2310 0132 0132 2310 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 -1 0 0 1 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.699531457773 1.911809833814 2 5 2 5 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.834299991441 0.045216303605 4 6 6 4 3201 3201 2310 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 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.401511759207 0.574458735088 ==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' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0101_0']), '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_0'], 'c_0011_4' : 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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0101_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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 29687809262542248394/12838121898207773175*c_0101_5^19 - 111852406443490702088/4279373966069257725*c_0101_5^18 - 193475141257788692969/2567624379641554635*c_0101_5^17 + 3292268985530298792199/12838121898207773175*c_0101_5^16 + 5520536419198999315012/12838121898207773175*c_0101_5^15 - 3365439386685149562899/2567624379641554635*c_0101_5^14 - 2091691051343612853773/2567624379641554635*c_0101_5^13 + 18393185659361604644879/4279373966069257725*c_0101_5^12 - 2428352496821531991464/12838121898207773175*c_0101_5^11 - 22899888871403472547483/2567624379641554635*c_0101_5^10 + 12395623830223331960896/4279373966069257725*c_0101_5^9 + 144380314712806894253414/12838121898207773175*c_0101_5^8 - 56816123121231802189102/12838121898207773175*c_0101_5^7 - 106777221998639478652558/12838121898207773175*c_0101_5^6 + 527195908801655509318/171174958642770309*c_0101_5^5 + 45077118448785803950082/12838121898207773175*c_0101_5^4 - 13933379125917646151096/12838121898207773175*c_0101_5^3 - 2160698501039961357866/2567624379641554635*c_0101_5^2 + 2218504824126074890126/12838121898207773175*c_0101_5 + 233290403700371515037/2567624379641554635, c_0011_0 - 1, c_0011_3 - 94265451018050255/171174958642770309*c_0101_5^19 + 323499743891248414/57058319547590103*c_0101_5^18 + 3933513126566017814/171174958642770309*c_0101_5^17 - 5215824221358981968/171174958642770309*c_0101_5^16 - 18812794775117209886/171174958642770309*c_0101_5^15 + 24871430201877038342/171174958642770309*c_0101_5^14 + 40355825453432105231/171174958642770309*c_0101_5^13 - 29688015220843869019/57058319547590103*c_0101_5^12 - 56656281757376112632/171174958642770309*c_0101_5^11 + 167883060105157824934/171174958642770309*c_0101_5^10 + 20649470755357884919/57058319547590103*c_0101_5^9 - 156096086797362973957/171174958642770309*c_0101_5^8 - 47983577479109087023/171174958642770309*c_0101_5^7 + 67254121932696044936/171174958642770309*c_0101_5^6 + 8144485211566730614/57058319547590103*c_0101_5^5 - 11425549414382986675/171174958642770309*c_0101_5^4 - 9423496616493706787/171174958642770309*c_0101_5^3 - 988840241185840273/171174958642770309*c_0101_5^2 + 1651152056957113105/171174958642770309*c_0101_5 + 529175677514667652/171174958642770309, c_0011_6 + 77906693155420391/171174958642770309*c_0101_5^19 - 253514117111136460/57058319547590103*c_0101_5^18 - 3647990191513185260/171174958642770309*c_0101_5^17 + 2238330390354213908/171174958642770309*c_0101_5^16 + 16815070550123503946/171174958642770309*c_0101_5^15 - 9426832379593341506/171174958642770309*c_0101_5^14 - 39383734943739615776/171174958642770309*c_0101_5^13 + 13970284435047394354/57058319547590103*c_0101_5^12 + 79520122298285708828/171174958642770309*c_0101_5^11 - 70798583829307754107/171174958642770309*c_0101_5^10 - 44709849214357485787/57058319547590103*c_0101_5^9 + 26731287888430977352/171174958642770309*c_0101_5^8 + 144550514953841746720/171174958642770309*c_0101_5^7 + 32113728066999431119/171174958642770309*c_0101_5^6 - 30040168650632527885/57058319547590103*c_0101_5^5 - 26164562984518064492/171174958642770309*c_0101_5^4 + 30936720715187051735/171174958642770309*c_0101_5^3 + 7206465620477687071/171174958642770309*c_0101_5^2 - 3851448160143084835/171174958642770309*c_0101_5 - 1231785754829024593/171174958642770309, c_0101_0 - 2763428980818605/19019439849196701*c_0101_5^19 + 11677709051597497/6339813283065567*c_0101_5^18 + 55051832924500706/19019439849196701*c_0101_5^17 - 511900934993897828/19019439849196701*c_0101_5^16 - 426668321197873556/19019439849196701*c_0101_5^15 + 2731900448727105326/19019439849196701*c_0101_5^14 + 483240739822304723/19019439849196701*c_0101_5^13 - 2898062309079681586/6339813283065567*c_0101_5^12 + 3562519639602001324/19019439849196701*c_0101_5^11 + 18425866196106591571/19019439849196701*c_0101_5^10 - 4271930249794429004/6339813283065567*c_0101_5^9 - 24576241565424611260/19019439849196701*c_0101_5^8 + 18077767365341312465/19019439849196701*c_0101_5^7 + 18654146519708228243/19019439849196701*c_0101_5^6 - 4279066951900573484/6339813283065567*c_0101_5^5 - 7215131500995063733/19019439849196701*c_0101_5^4 + 4508995586618262241/19019439849196701*c_0101_5^3 + 1412466001571517728/19019439849196701*c_0101_5^2 - 550060322251766684/19019439849196701*c_0101_5 - 176609106647670236/19019439849196701, c_0101_1 - 5454654178008937/57058319547590103*c_0101_5^19 + 6509920329180992/19019439849196701*c_0101_5^18 + 587336958993410290/57058319547590103*c_0101_5^17 + 1429940424940554101/57058319547590103*c_0101_5^16 - 2648475969610045024/57058319547590103*c_0101_5^15 - 7784706760184822480/57058319547590103*c_0101_5^14 + 10130505975093718081/57058319547590103*c_0101_5^13 + 6510610983531084169/19019439849196701*c_0101_5^12 - 38133453001016003071/57058319547590103*c_0101_5^11 - 37030404547088752258/57058319547590103*c_0101_5^10 + 28004640293587313927/19019439849196701*c_0101_5^9 + 53505737023242028096/57058319547590103*c_0101_5^8 - 98284411580022040073/57058319547590103*c_0101_5^7 - 45786239971230646976/57058319547590103*c_0101_5^6 + 20454576578182778402/19019439849196701*c_0101_5^5 + 19414562259090211945/57058319547590103*c_0101_5^4 - 20015428064465799550/57058319547590103*c_0101_5^3 - 4487095285105534232/57058319547590103*c_0101_5^2 + 2631973615761638399/57058319547590103*c_0101_5 + 704911223905742678/57058319547590103, c_0101_2 + 103628459148608200/171174958642770309*c_0101_5^19 - 286450014102310451/57058319547590103*c_0101_5^18 - 6448990116012902281/171174958642770309*c_0101_5^17 - 3136556309263172987/171174958642770309*c_0101_5^16 + 32579268730232329621/171174958642770309*c_0101_5^15 + 18122618173203706724/171174958642770309*c_0101_5^14 - 102313292267241068140/171174958642770309*c_0101_5^13 - 3192358268921579887/57058319547590103*c_0101_5^12 + 280214799102552902314/171174958642770309*c_0101_5^11 - 19924442958822707771/171174958642770309*c_0101_5^10 - 173483856815677906952/57058319547590103*c_0101_5^9 - 10761311931964742791/171174958642770309*c_0101_5^8 + 548815038093606634268/171174958642770309*c_0101_5^7 + 55286473665684202133/171174958642770309*c_0101_5^6 - 104355278256111098177/57058319547590103*c_0101_5^5 - 36863483825465125639/171174958642770309*c_0101_5^4 + 95539649595180945463/171174958642770309*c_0101_5^3 + 13459767442690694684/171174958642770309*c_0101_5^2 - 12489317364684801416/171174958642770309*c_0101_5 - 2999406417612981269/171174958642770309, c_0101_5^20 - 10*c_0101_5^19 - 46*c_0101_5^18 + 56*c_0101_5^17 + 264*c_0101_5^16 - 287*c_0101_5^15 - 735*c_0101_5^14 + 1213*c_0101_5^13 + 1327*c_0101_5^12 - 2931*c_0101_5^11 - 1618*c_0101_5^10 + 3923*c_0101_5^9 + 1188*c_0101_5^8 - 2940*c_0101_5^7 - 452*c_0101_5^6 + 1208*c_0101_5^5 + 104*c_0101_5^4 - 254*c_0101_5^3 - 31*c_0101_5^2 + 24*c_0101_5 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB