Magma V2.19-8 Tue Aug 20 2013 16:17:31 on localhost [Seed = 3381155089] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1747 geometric_solution 5.44236288 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -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.403360627495 0.878352286994 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.971350615941 1.079671320928 1 3 0 4 1230 2310 0132 2310 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 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.971350615941 1.079671320928 1 5 5 2 0132 0132 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827617859858 0.432823342954 2 6 6 1 3201 0132 1023 0132 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 -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.189456468550 0.321086004769 5 3 3 5 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.524422869328 0.473085321787 6 4 4 6 3012 0132 1023 1230 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.993831944303 1.162237673838 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : 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' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], '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' : d['c_0101_0'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 24762022165603631069844313387967047/2528899315691778295455416499653\ 36*c_0101_6^18 - 34852412202133451804628795783241863/25288993156917\ 7829545541649965336*c_0101_6^17 - 136426690093910124498673297913322\ 89/9031783270327779626626487498762*c_0101_6^16 + 79845426256838896754941387843522619/9031783270327779626626487498762\ *c_0101_6^15 - 7621454115404249874823955780152928471/25288993156917\ 7829545541649965336*c_0101_6^14 + 580437278557926066381942343474216\ 29/36127133081311118506505949995048*c_0101_6^13 - 3953559181580161384696790489605811187/63222482892294457386385412491\ 334*c_0101_6^12 + 3900979783910279073712585447009243493/31611241446\ 147228693192706245667*c_0101_6^11 + 28167472253882674914372443039938608243/2528899315691778295455416499\ 65336*c_0101_6^10 + 63870912210455815645477778291391650915/25288993\ 1569177829545541649965336*c_0101_6^9 + 35098310089711810708030037326627444183/2528899315691778295455416499\ 65336*c_0101_6^8 + 2964589790350481507809997428918229714/3161124144\ 6147228693192706245667*c_0101_6^7 + 15992926190565333402789764374598980305/2528899315691778295455416499\ 65336*c_0101_6^6 - 7841214540191439605888265676731858217/2528899315\ 69177829545541649965336*c_0101_6^5 - 7075100097065629194033331243316263037/12644496578458891477277082498\ 2668*c_0101_6^4 - 10813177241940752280212210922103284973/1264449657\ 84588914772770824982668*c_0101_6^3 - 1863695519263927212258422724124258676/31611241446147228693192706245\ 667*c_0101_6^2 - 1269592716280135987190992313443701465/126444965784\ 588914772770824982668*c_0101_6 + 3084506425571939982750353852706485\ 1/31611241446147228693192706245667, c_0011_0 - 1, c_0011_1 + 7009192405772374905447653944765/4515891635163889813313243749\ 381*c_0101_6^18 - 19744868686805712619238165949445/9031783270327779\ 626626487498762*c_0101_6^17 - 108118131698000056750286441181885/451\ 5891635163889813313243749381*c_0101_6^16 + 1265878064965056151465414307782553/9031783270327779626626487498762*\ c_0101_6^15 - 2157991747166955830029091370231951/451589163516388981\ 3313243749381*c_0101_6^14 + 234573185489976421752288653209057/90317\ 83270327779626626487498762*c_0101_6^13 - 4476746900393167351595685340895273/4515891635163889813313243749381*\ c_0101_6^12 + 17675659114618522570978036648753463/90317832703277796\ 26626487498762*c_0101_6^11 + 7969852869676315178755189359360428/451\ 5891635163889813313243749381*c_0101_6^10 + 36134747911865229487847007486808803/9031783270327779626626487498762\ *c_0101_6^9 + 9918448509327686522428466387569794/451589163516388981\ 3313243749381*c_0101_6^8 + 6681822296863698687433230982968602/45158\ 91635163889813313243749381*c_0101_6^7 + 9038970921442060631383094154284487/9031783270327779626626487498762*\ c_0101_6^6 - 4457848758412575621721271174737805/9031783270327779626\ 626487498762*c_0101_6^5 - 4004167476002773754619537084203200/451589\ 1635163889813313243749381*c_0101_6^4 - 12230397874855976369646074916047755/9031783270327779626626487498762\ *c_0101_6^3 - 4217389137945233792350588032857220/451589163516388981\ 3313243749381*c_0101_6^2 - 703943841728832393464442777048267/451589\ 1635163889813313243749381*c_0101_6 + 74464656608659595873957558512068/4515891635163889813313243749381, c_0011_4 + 6465594657111029154861546046227/9031783270327779626626487498\ 762*c_0101_6^18 - 4575970851771828225310030881541/45158916351638898\ 13313243749381*c_0101_6^17 - 49798963829026937245624104910853/45158\ 91635163889813313243749381*c_0101_6^16 + 584418986998139535017684416157589/9031783270327779626626487498762*c\ _0101_6^15 - 1995745099734992604692160205727583/9031783270327779626\ 626487498762*c_0101_6^14 + 64466251240494590803528341653656/4515891\ 635163889813313243749381*c_0101_6^13 - 2077620164505184228091339252060050/4515891635163889813313243749381*\ c_0101_6^12 + 8193830256011210549043182759209487/903178327032777962\ 6626487498762*c_0101_6^11 + 7238987989106102243214959879897923/9031\ 783270327779626626487498762*c_0101_6^10 + 8364831477863853703646455215800498/4515891635163889813313243749381*\ c_0101_6^9 + 9066860838945766564774729965297059/9031783270327779626\ 626487498762*c_0101_6^8 + 3141861685762674122177793093429489/451589\ 1635163889813313243749381*c_0101_6^7 + 2081511167774490720093131723009451/4515891635163889813313243749381*\ c_0101_6^6 - 1017414437412675949884049667480911/4515891635163889813\ 313243749381*c_0101_6^5 - 1823542992004790675357838558758239/451589\ 1635163889813313243749381*c_0101_6^4 - 5655474788656997557497918608340645/9031783270327779626626487498762*\ c_0101_6^3 - 1932690811543667330438429595525391/4515891635163889813\ 313243749381*c_0101_6^2 - 339489762993020339282187524489659/4515891\ 635163889813313243749381*c_0101_6 + 25473833144957606518644109464398/4515891635163889813313243749381, c_0101_0 + 25801922026275168690655392677415/903178327032777962662648749\ 8762*c_0101_6^18 - 18248140804895845477457336146882/451589163516388\ 9813313243749381*c_0101_6^17 - 198855819208781405987213069460649/45\ 15891635163889813313243749381*c_0101_6^16 + 2332169241535473643617762229313243/9031783270327779626626487498762*\ c_0101_6^15 - 7958752174482546585161149645110451/903178327032777962\ 6626487498762*c_0101_6^14 + 243170324127844089030906931930644/45158\ 91635163889813313243749381*c_0101_6^13 - 8255270115054573962951893499099472/4515891635163889813313243749381*\ c_0101_6^12 + 32660598436745001533734165233075801/90317832703277796\ 26626487498762*c_0101_6^11 + 29063980552177509907100338749470935/90\ 31783270327779626626487498762*c_0101_6^10 + 33237735716433355494746212664173187/4515891635163889813313243749381\ *c_0101_6^9 + 36086636503220026866563953372518771/90317832703277796\ 26626487498762*c_0101_6^8 + 12306913627695508863902670235326532/451\ 5891635163889813313243749381*c_0101_6^7 + 8240405047769261898760144251497598/4515891635163889813313243749381*\ c_0101_6^6 - 4115968673227777143356004437442256/4515891635163889813\ 313243749381*c_0101_6^5 - 7335383292740670369262958616898420/451589\ 1635163889813313243749381*c_0101_6^4 - 22457366089179572170651516185257741/9031783270327779626626487498762\ *c_0101_6^3 - 7690745124743194991828165419744245/451589163516388981\ 3313243749381*c_0101_6^2 - 1284576846390160505481556493387103/45158\ 91635163889813313243749381*c_0101_6 + 130774734352181400989881480643678/4515891635163889813313243749381, c_0101_1 - 2111898099279801499880543297441/4515891635163889813313243749\ 381*c_0101_6^18 + 3094553988597510419756847175681/45158916351638898\ 13313243749381*c_0101_6^17 + 32352257130515469070890988117080/45158\ 91635163889813313243749381*c_0101_6^16 - 192450674916311965795439457456971/4515891635163889813313243749381*c\ _0101_6^15 + 661825049973713340842206927143922/45158916351638898133\ 13243749381*c_0101_6^14 - 77633964614789040800135025721963/45158916\ 35163889813313243749381*c_0101_6^13 + 1370902652367999030894371190665068/4515891635163889813313243749381*\ c_0101_6^12 - 2752416389896026368546458528532602/451589163516388981\ 3313243749381*c_0101_6^11 - 2202920909849470759862883143383782/4515\ 891635163889813313243749381*c_0101_6^10 - 5402702044212298539315482104498407/4515891635163889813313243749381*\ c_0101_6^9 - 2693602819930879461478471910882060/4515891635163889813\ 313243749381*c_0101_6^8 - 1987852506336564490834313409169081/451589\ 1635163889813313243749381*c_0101_6^7 - 1263775466057599042186206269477406/4515891635163889813313243749381*\ c_0101_6^6 + 706825811869380970237938127359347/45158916351638898133\ 13243749381*c_0101_6^5 + 1139176669018804707869564878737665/4515891\ 635163889813313243749381*c_0101_6^4 + 1805792271885307310303553229343309/4515891635163889813313243749381*\ c_0101_6^3 + 1185276581917978967508481503356208/4515891635163889813\ 313243749381*c_0101_6^2 + 183829006322311669148294657277712/4515891\ 635163889813313243749381*c_0101_6 - 17531805390327688936103850556722/4515891635163889813313243749381, c_0101_5 + 1294035411559810433687336389122/4515891635163889813313243749\ 381*c_0101_6^18 - 1862839034767781469211936861856/45158916351638898\ 13313243749381*c_0101_6^17 - 19860354435076368452299576306702/45158\ 91635163889813313243749381*c_0101_6^16 + 117404293552295076263536380758136/4515891635163889813313243749381*c\ _0101_6^15 - 402710564656385127876942407746863/45158916351638898133\ 13243749381*c_0101_6^14 + 38103966648499112902558101643894/45158916\ 35163889813313243749381*c_0101_6^13 - 841149625448356863124254666939105/4515891635163889813313243749381*c\ _0101_6^12 + 1659405490995553512142718853961373/4515891635163889813\ 313243749381*c_0101_6^11 + 1395088633043662555603766429238925/45158\ 91635163889813313243749381*c_0101_6^10 + 3350883789282895961468198233171652/4515891635163889813313243749381*\ c_0101_6^9 + 1764273896682719974402193982570031/4515891635163889813\ 313243749381*c_0101_6^8 + 1282300676246571754597196181007201/451589\ 1635163889813313243749381*c_0101_6^7 + 821984432285920498253137677617858/4515891635163889813313243749381*c\ _0101_6^6 - 397214843379185589023216432929002/451589163516388981331\ 3243749381*c_0101_6^5 - 723192687031873184132002377164748/451589163\ 5163889813313243749381*c_0101_6^4 - 1117888509208231720959074580652256/4515891635163889813313243749381*\ c_0101_6^3 - 766312213724383338948724373541858/45158916351638898133\ 13243749381*c_0101_6^2 - 141158557046626712726273241611807/45158916\ 35163889813313243749381*c_0101_6 + 3574363650084493442496258313980/4515891635163889813313243749381, c_0101_6^19 - c_0101_6^18 - 16*c_0101_6^17 + 84*c_0101_6^16 - 271*c_0101_6^15 - 109*c_0101_6^14 - 632*c_0101_6^13 + 1000*c_0101_6^12 + 1651*c_0101_6^11 + 3043*c_0101_6^10 + 2469*c_0101_6^9 + 1536*c_0101_6^8 + 1037*c_0101_6^7 - 53*c_0101_6^6 - 700*c_0101_6^5 - 1106*c_0101_6^4 - 958*c_0101_6^3 - 348*c_0101_6^2 - 32*c_0101_6 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB