Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 3330759204] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0536 geometric_solution 4.55488317 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 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 1.961048044248 0.527125118721 0 2 3 0 0132 0132 0132 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 -1 0 1 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.307497094409 0.879473931365 3 1 4 3 2310 0132 0132 3201 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 -1 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.153369913188 0.737427302726 4 2 2 1 1023 2310 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.153369913188 0.737427302726 5 3 5 2 0132 1023 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 0 -1 1 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.842110889181 1.312946927465 4 6 4 6 0132 0132 1023 1023 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 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.571645282711 0.324331984073 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 1 -1 -1 0 1 0 -1 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 -1 1 1 0 -1 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579042036378 0.079734137639 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : 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' : 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_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 209316237828504005166420217851/219707063293902636740411963*c_0110_6\ ^16 - 1436535244455866536146778974393/219707063293902636740411963*c\ _0110_6^15 - 189832358161085200178474761802/21970706329390263674041\ 1963*c_0110_6^14 + 14238647303315903531694133800019/219707063293902\ 636740411963*c_0110_6^13 + 19128369109550478826165911991119/2197070\ 63293902636740411963*c_0110_6^12 - 22924063155284746690700222335057/219707063293902636740411963*c_0110\ _6^11 - 59019949558303809153393607101029/21970706329390263674041196\ 3*c_0110_6^10 - 13873414494077073847968557998157/219707063293902636\ 740411963*c_0110_6^9 + 72425050276583058156321427546342/21970706329\ 3902636740411963*c_0110_6^8 - 4560370412920120577905629787616/21970\ 7063293902636740411963*c_0110_6^7 - 4370707652923020734640259919944/31386723327700376677201709*c_0110_6\ ^6 + 18419544889741158447615481283110/219707063293902636740411963*c\ _0110_6^5 - 1148142403716071349225674091759/21970706329390263674041\ 1963*c_0110_6^4 - 2845161921589276646884506489441/21970706329390263\ 6740411963*c_0110_6^3 + 186630025857758600619281099424/219707063293\ 902636740411963*c_0110_6^2 + 7657409658541830802918523163/313867233\ 27700376677201709*c_0110_6 + 94276877800114258704903755859/21970706\ 3293902636740411963, c_0011_0 - 1, c_0011_3 + 697293947768491729661790843/219707063293902636740411963*c_01\ 10_6^16 + 5019515143628894236271780693/219707063293902636740411963*\ c_0110_6^15 + 2426251653070109020373636112/219707063293902636740411\ 963*c_0110_6^14 - 45825999411054822354759217093/2197070632939026367\ 40411963*c_0110_6^13 - 78675050948368660711644997969/21970706329390\ 2636740411963*c_0110_6^12 + 42847164799034458942642469318/219707063\ 293902636740411963*c_0110_6^11 + 198340254271754247892924581350/219\ 707063293902636740411963*c_0110_6^10 + 118410235285151712833969619947/219707063293902636740411963*c_0110_6\ ^9 - 171020139136373431498005369091/219707063293902636740411963*c_0\ 110_6^8 - 21693836834536079971505689394/219707063293902636740411963\ *c_0110_6^7 + 71008191767072139022265434426/21970706329390263674041\ 1963*c_0110_6^6 - 40826369297245517019080644669/2197070632939026367\ 40411963*c_0110_6^5 - 984358263020941234205410375/21970706329390263\ 6740411963*c_0110_6^4 + 2814187872211028602080398290/21970706329390\ 2636740411963*c_0110_6^3 + 174136838649043069312945227/313867233277\ 00376677201709*c_0110_6^2 + 303395019661977071287944391/21970706329\ 3902636740411963*c_0110_6 - 147354361359389997311679974/21970706329\ 3902636740411963, c_0101_0 - 742239937685375926168572369/219707063293902636740411963*c_01\ 10_6^16 - 5328968002641853188860326525/219707063293902636740411963*\ c_0110_6^15 - 2431601791770217176825144547/219707063293902636740411\ 963*c_0110_6^14 + 49196184033307052359274110056/2197070632939026367\ 40411963*c_0110_6^13 + 11865925739772384777076653560/31386723327700\ 376677201709*c_0110_6^12 - 50468688323437480372237833642/2197070632\ 93902636740411963*c_0110_6^11 - 30943368568116559882487563257/31386\ 723327700376677201709*c_0110_6^10 - 119846304889520892931344589306/219707063293902636740411963*c_0110_6\ ^9 + 28598838440048937592599805315/31386723327700376677201709*c_011\ 0_6^8 + 31694346836881603842198321522/219707063293902636740411963*c\ _0110_6^7 - 87744811794527421332668270711/2197070632939026367404119\ 63*c_0110_6^6 + 37953927031142580407487785269/219707063293902636740\ 411963*c_0110_6^5 + 551665019243546169632276895/3138672332770037667\ 7201709*c_0110_6^4 - 4356000159629367863028139608/21970706329390263\ 6740411963*c_0110_6^3 - 1305447953815599572411488154/21970706329390\ 2636740411963*c_0110_6^2 - 109903904250811660356575143/219707063293\ 902636740411963*c_0110_6 + 336951135280560951312988512/219707063293\ 902636740411963, c_0101_1 + 1150803641835352024541596620/219707063293902636740411963*c_0\ 110_6^16 + 1202064711846344645943433875/31386723327700376677201709*\ c_0110_6^15 + 4889284995614853228608991747/219707063293902636740411\ 963*c_0110_6^14 - 75545677180126300913108734478/2197070632939026367\ 40411963*c_0110_6^13 - 138506932628832772200509476957/2197070632939\ 02636740411963*c_0110_6^12 + 59467141017299068130908184169/21970706\ 3293902636740411963*c_0110_6^11 + 340403314106383769746323202865/21\ 9707063293902636740411963*c_0110_6^10 + 228424159912715861538373191418/219707063293902636740411963*c_0110_6\ ^9 - 273092119612466649908992062962/219707063293902636740411963*c_0\ 110_6^8 - 73621338926708210436538169330/219707063293902636740411963\ *c_0110_6^7 + 125081440315837591350536769302/2197070632939026367404\ 11963*c_0110_6^6 - 57707252849164655406833397662/219707063293902636\ 740411963*c_0110_6^5 - 11938410389760797235371373917/21970706329390\ 2636740411963*c_0110_6^4 + 9893593195156437198375059775/21970706329\ 3902636740411963*c_0110_6^3 - 7959630074965699625223667/21970706329\ 3902636740411963*c_0110_6^2 + 687590223098684965933487743/219707063\ 293902636740411963*c_0110_6 - 40278411033336280727520960/2197070632\ 93902636740411963, c_0101_2 + 2045639377193557070295619587/219707063293902636740411963*c_0\ 110_6^16 + 2073982230887513554214218685/31386723327700376677201709*\ c_0110_6^15 + 5401069122541243673931711741/219707063293902636740411\ 963*c_0110_6^14 - 136790585164869990494346375395/219707063293902636\ 740411963*c_0110_6^13 - 218230536378787470387895610119/219707063293\ 902636740411963*c_0110_6^12 + 163251012644568055797800654120/219707\ 063293902636740411963*c_0110_6^11 + 596285142052955785698710542654/219707063293902636740411963*c_0110_6\ ^10 + 281379283889416723884391683857/219707063293902636740411963*c_\ 0110_6^9 - 597056652603997334144033367295/2197070632939026367404119\ 63*c_0110_6^8 - 61661911036977318757740414722/219707063293902636740\ 411963*c_0110_6^7 + 251444118730911657011531116121/2197070632939026\ 36740411963*c_0110_6^6 - 134583212306833460806562650643/21970706329\ 3902636740411963*c_0110_6^5 - 5702115376968523471249993055/21970706\ 3293902636740411963*c_0110_6^4 + 20666719949030901269197142115/2197\ 07063293902636740411963*c_0110_6^3 + 998210826326250403013010378/219707063293902636740411963*c_0110_6^2 + 1040934322669715687583122496/219707063293902636740411963*c_0110_6 - 498345041016052033939301335/219707063293902636740411963, c_0101_4 - 1783483397921462058003184803/219707063293902636740411963*c_0\ 110_6^16 - 12735959840352363258558879124/21970706329390263674041196\ 3*c_0110_6^15 - 5263624959255502059704116496/2197070632939026367404\ 11963*c_0110_6^14 + 119057074149944600617115309067/2197070632939026\ 36740411963*c_0110_6^13 + 195397694677535792357738130184/2197070632\ 93902636740411963*c_0110_6^12 - 134228482359007234132889850328/2197\ 07063293902636740411963*c_0110_6^11 - 525330916505229776177245479828/219707063293902636740411963*c_0110_6\ ^10 - 265902931057378327497903894490/219707063293902636740411963*c_\ 0110_6^9 + 509902853473300136481618090173/2197070632939026367404119\ 63*c_0110_6^8 + 72488710791672273701959683578/219707063293902636740\ 411963*c_0110_6^7 - 31576973217009257161194456522/31386723327700376\ 677201709*c_0110_6^6 + 110783715607815989988628155865/2197070632939\ 02636740411963*c_0110_6^5 + 10018139731536123426518240735/219707063\ 293902636740411963*c_0110_6^4 - 19815411920773420628720468507/21970\ 7063293902636740411963*c_0110_6^3 - 216568129665824565375042259/219707063293902636740411963*c_0110_6^2 - 87631286441349394000786117/31386723327700376677201709*c_0110_6 + 334844904408136812754246632/219707063293902636740411963, c_0110_6^17 + 59/9*c_0110_6^16 - 11/9*c_0110_6^15 - 616/9*c_0110_6^14 - 635/9*c_0110_6^13 + 1250/9*c_0110_6^12 + 752/3*c_0110_6^11 - 193/9*c_0110_6^10 - 3352/9*c_0110_6^9 + 124*c_0110_6^8 + 1300/9*c_0110_6^7 - 392/3*c_0110_6^6 + 92/3*c_0110_6^5 + 113/9*c_0110_6^4 - 43/9*c_0110_6^3 - 1/9*c_0110_6^2 - 4/9*c_0110_6 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB