Magma V2.19-8 Tue Aug 20 2013 16:18:38 on localhost [Seed = 593673746] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2803 geometric_solution 6.03455167 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3120 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 -1 0 1 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.933735840698 1.144168722224 0 0 5 4 0132 3120 0132 0132 0 0 0 0 0 0 1 -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 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.392263925447 0.521138527676 4 5 4 0 0132 1230 2031 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 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.543822852017 0.437821935978 6 4 0 6 0132 3120 0132 1023 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 -1 1 -1 0 1 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.329377123742 0.537222741915 2 3 1 2 0132 3120 0132 1302 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 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.993561424362 0.969856311874 5 5 2 1 1302 2031 3012 0132 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.277708155526 1.068089082142 3 6 6 3 0132 1230 3012 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 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 1.875819146561 0.772347482458 ==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_3']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_2'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(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_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0011_5']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_2'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_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_2, c_0011_3, c_0011_5, c_0101_0, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 3201016477566078933/4687844830307*c_0101_6^23 - 55285596640686791418/4687844830307*c_0101_6^22 - 316401270280934683073/4687844830307*c_0101_6^21 - 379334685910453351874/4687844830307*c_0101_6^20 + 4187085552136458721408/4687844830307*c_0101_6^19 + 25172690211136117696472/4687844830307*c_0101_6^18 + 67146943065269571310572/4687844830307*c_0101_6^17 + 91202168919093813386354/4687844830307*c_0101_6^16 + 29752391258033159638579/4687844830307*c_0101_6^15 - 99791947594691182098937/4687844830307*c_0101_6^14 - 159856441095166978943316/4687844830307*c_0101_6^13 - 77378986565983363551787/4687844830307*c_0101_6^12 + 30684605237203806546393/4687844830307*c_0101_6^11 + 37235701660464733254567/4687844830307*c_0101_6^10 - 16974369476269760091955/4687844830307*c_0101_6^9 - 34366424296312254979457/4687844830307*c_0101_6^8 - 10846855371708515659007/4687844830307*c_0101_6^7 + 6902769874066031595237/4687844830307*c_0101_6^6 + 6260601637605635214580/4687844830307*c_0101_6^5 + 1310879039323182714703/4687844830307*c_0101_6^4 - 408356710333272552369/4687844830307*c_0101_6^3 - 275568239956256253828/4687844830307*c_0101_6^2 - 56719637172865749757/4687844830307*c_0101_6 - 4275558833228695457/4687844830307, c_0011_0 - 1, c_0011_2 + 368190856333870/372553829*c_0101_6^23 + 6072206799489823/372553829*c_0101_6^22 + 31526686125443885/372553829*c_0101_6^21 + 16777026228405863/372553829*c_0101_6^20 - 507292309031345392/372553829*c_0101_6^19 - 2512075273001559093/372553829*c_0101_6^18 - 5585486387356927136/372553829*c_0101_6^17 - 5134273672205667019/372553829*c_0101_6^16 + 3087558461117765410/372553829*c_0101_6^15 + 12110797864483361117/372553829*c_0101_6^14 + 9224591246180685103/372553829*c_0101_6^13 - 2588283883125406915/372553829*c_0101_6^12 - 6870864521052999604/372553829*c_0101_6^11 - 463035925620643828/372553829*c_0101_6^10 + 4106488056114565939/372553829*c_0101_6^9 + 1746574691433209372/372553829*c_0101_6^8 - 1151745357285694133/372553829*c_0101_6^7 - 1012283232142109472/372553829*c_0101_6^6 - 28094535907654469/372553829*c_0101_6^5 + 194294555227179714/372553829*c_0101_6^4 + 55360905933072702/372553829*c_0101_6^3 - 7919074478481114/372553829*c_0101_6^2 - 5726172595503795/372553829*c_0101_6 - 713122746921063/372553829, c_0011_3 - 383911390551125/372553829*c_0101_6^23 - 6329620007003967/372553829*c_0101_6^22 - 32841305074741678/372553829*c_0101_6^21 - 17318768669617014/372553829*c_0101_6^20 + 529125004167439847/372553829*c_0101_6^19 + 2616864926146818445/372553829*c_0101_6^18 + 5810065648210596264/372553829*c_0101_6^17 + 5318367563977983602/372553829*c_0101_6^16 - 3262693385586431332/372553829*c_0101_6^15 - 12633292219433651361/372553829*c_0101_6^14 - 9558931591265674676/372553829*c_0101_6^13 + 2775421375015765651/372553829*c_0101_6^12 + 7188018695958077830/372553829*c_0101_6^11 + 458111804335294432/372553829*c_0101_6^10 - 4296831884313815673/372553829*c_0101_6^9 - 1807036677238552765/372553829*c_0101_6^8 + 1217111698375949897/372553829*c_0101_6^7 + 1057291888369368781/372553829*c_0101_6^6 + 24716492125229370/372553829*c_0101_6^5 - 204968855846777166/372553829*c_0101_6^4 - 57809488652503017/372553829*c_0101_6^3 + 8524790595347178/372553829*c_0101_6^2 + 6055797475043892/372553829*c_0101_6 + 752102246884995/372553829, c_0011_5 - 897246019750731536/4687844830307*c_0101_6^23 - 14767255371442190304/4687844830307*c_0101_6^22 - 76335315595499759484/4687844830307*c_0101_6^21 - 38374530731372508828/4687844830307*c_0101_6^20 + 1237313506213892906852/4687844830307*c_0101_6^19 + 6080583234148133836713/4687844830307*c_0101_6^18 + 13412495547457140703022/4687844830307*c_0101_6^17 + 12076591898364173664208/4687844830307*c_0101_6^16 - 7922077666832582857757/4687844830307*c_0101_6^15 - 29301633399058991095272/4687844830307*c_0101_6^14 - 21623139374688211985256/4687844830307*c_0101_6^13 + 6965534687099563085463/4687844830307*c_0101_6^12 + 16628045156274361669864/4687844830307*c_0101_6^11 + 755064079639941302908/4687844830307*c_0101_6^10 - 9995766888640058683697/4687844830307*c_0101_6^9 - 4008725039914389961418/4687844830307*c_0101_6^8 + 2904508016086817755592/4687844830307*c_0101_6^7 + 2413409358240669110543/4687844830307*c_0101_6^6 + 22093495596948491264/4687844830307*c_0101_6^5 - 478003583211942423566/4687844830307*c_0101_6^4 - 129909115742535041833/4687844830307*c_0101_6^3 + 20868547927803573719/4687844830307*c_0101_6^2 + 14003820916574912515/4687844830307*c_0101_6 + 1715409258644659438/4687844830307, c_0101_0 + 3055173287392014498/4687844830307*c_0101_6^23 + 50429706441155597197/4687844830307*c_0101_6^22 + 262314096768615924765/4687844830307*c_0101_6^21 + 142810888446999648131/4687844830307*c_0101_6^20 - 4208062729046004551576/4687844830307*c_0101_6^19 - 20904514003870620492688/4687844830307*c_0101_6^18 - 46632155411345965756277/4687844830307*c_0101_6^17 - 43216282359473780303799/4687844830307*c_0101_6^16 + 25084290732074461946358/4687844830307*c_0101_6^15 + 100841170535539096323607/4687844830307*c_0101_6^14 + 77772334310590579535202/4687844830307*c_0101_6^13 - 20602248072658100252657/4687844830307*c_0101_6^12 - 57250791425558509001087/4687844830307*c_0101_6^11 - 4381253219018691894956/4687844830307*c_0101_6^10 + 34126367032072769660114/4687844830307*c_0101_6^9 + 14855092760322359559794/4687844830307*c_0101_6^8 - 9437564859238960576942/4687844830307*c_0101_6^7 - 8488946807392957529589/4687844830307*c_0101_6^6 - 296755784964340382524/4687844830307*c_0101_6^5 + 1610402832972775960749/4687844830307*c_0101_6^4 + 467573750701710788557/4687844830307*c_0101_6^3 - 63808389301218870730/4687844830307*c_0101_6^2 - 47632627949358915399/4687844830307*c_0101_6 - 5973515731803423718/4687844830307, c_0101_2 - 1059091908377900473/4687844830307*c_0101_6^23 - 17543637185055539048/4687844830307*c_0101_6^22 - 91924491137837422968/4687844830307*c_0101_6^21 - 54342768003087689061/4687844830307*c_0101_6^20 + 1458165696574106440946/4687844830307*c_0101_6^19 + 7332042181688319978082/4687844830307*c_0101_6^18 + 16547390810704607170153/4687844830307*c_0101_6^17 + 15743578799487561786466/4687844830307*c_0101_6^16 - 8175709938896072868598/4687844830307*c_0101_6^15 - 35686053474674888856856/4687844830307*c_0101_6^14 - 28618966609211106796415/4687844830307*c_0101_6^13 + 6359495112105407416844/4687844830307*c_0101_6^12 + 20582732371123188371613/4687844830307*c_0101_6^11 + 2269213029165368519238/4687844830307*c_0101_6^10 - 12103033712559375256831/4687844830307*c_0101_6^9 - 5682284997823705452506/4687844830307*c_0101_6^8 + 3231192906716616214990/4687844830307*c_0101_6^7 + 3136505066648674918609/4687844830307*c_0101_6^6 + 172171397608479481279/4687844830307*c_0101_6^5 - 583031881788508591472/4687844830307*c_0101_6^4 - 179127478758199338626/4687844830307*c_0101_6^3 + 21600099169211674619/4687844830307*c_0101_6^2 + 17769819050294172133/4687844830307*c_0101_6 + 2284743599681564843/4687844830307, c_0101_6^24 + 17*c_0101_6^23 + 94*c_0101_6^22 + 89*c_0101_6^21 - 1355*c_0101_6^20 - 7523*c_0101_6^19 - 18631*c_0101_6^18 - 21623*c_0101_6^17 + 1372*c_0101_6^16 + 37238*c_0101_6^15 + 41772*c_0101_6^14 + 5578*c_0101_6^13 - 22383*c_0101_6^12 - 10782*c_0101_6^11 + 10564*c_0101_6^10 + 10438*c_0101_6^9 - 747*c_0101_6^8 - 4370*c_0101_6^7 - 1476*c_0101_6^6 + 498*c_0101_6^5 + 423*c_0101_6^4 + 55*c_0101_6^3 - 27*c_0101_6^2 - 10*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB