Magma V2.19-8 Tue Aug 20 2013 16:18:00 on localhost [Seed = 273779934] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2228 geometric_solution 5.66644578 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.247129143430 0.599676917540 0 0 4 3 0132 3201 0132 0132 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 -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.587444322478 1.425476557077 0 0 4 3 3201 0132 2310 2310 0 0 0 0 0 1 -1 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 -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 0 0 0 0.587444322478 1.425476557077 2 5 1 5 3201 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.852175484772 0.652948897721 6 2 6 1 0132 3201 1023 0132 0 0 0 0 0 0 0 0 1 0 0 -1 -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 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.852175484772 0.652948897721 5 3 5 3 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.710407852910 0.240992335402 4 6 4 6 0132 2310 1023 3201 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 0 -1 1 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.710407852910 0.240992335402 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : 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_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_3'], '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_0'], 'c_0101_2' : negation(d['c_0101_1']), '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' : 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' : negation(d['c_0011_0']), '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' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0110_3']), 'c_1001_3' : d['c_0110_3'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0110_3'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0110_3']), 'c_1010_1' : d['c_0110_3'], 'c_1010_0' : 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_4, c_0101_5, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 8192*c_0110_3^7 + 14336*c_0110_3^5 - 6656*c_0110_3^3 + 448*c_0110_3, c_0011_0 - 1, c_0011_3 - 2*c_0110_3^2 + 1, c_0101_0 - 64*c_0110_3^7 + 112*c_0110_3^5 - 56*c_0110_3^3 + 7*c_0110_3, c_0101_1 + c_0110_3, c_0101_4 + 16*c_0110_3^5 - 20*c_0110_3^3 + 5*c_0110_3, c_0101_5 + 16*c_0110_3^5 - 20*c_0110_3^3 + 5*c_0110_3, c_0110_3^8 - 2*c_0110_3^6 + 5/4*c_0110_3^4 - 1/4*c_0110_3^2 + 1/128 ], 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_4, c_0101_5, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 2157146641293167755976952029570514486890070016/18838784203547772941\ 772736967379636811*c_0110_3^31 - 1138097895652641849930647819765548\ 44473786368/2691254886221110420253248138197090973*c_0110_3^29 - 228636300754990254448979887122629044406059008/269125488622111042025\ 3248138197090973*c_0110_3^27 - 167589869448622111570319052364669812\ 28314624/384464983745872917179035448313870139*c_0110_3^25 + 712764719392561195178670536884080205998653440/188387842035477729417\ 72736967379636811*c_0110_3^23 + 30119791375825275049541120483806389\ 281357824/2691254886221110420253248138197090973*c_0110_3^21 - 667676716547059946175313891299701527891779072/188387842035477729417\ 72736967379636811*c_0110_3^19 - 34357235111269270139242139795867469\ 9442945920/18838784203547772941772736967379636811*c_0110_3^17 + 89234808577852969227640184857385096021871456/1883878420354777294177\ 2736967379636811*c_0110_3^15 + 290073194253143110665951867234051598\ 821296776/18838784203547772941772736967379636811*c_0110_3^13 + 28439604281877975476041566853571271357685750/2691254886221110420253\ 248138197090973*c_0110_3^11 + 5874810530175456992899749211363249314\ 0644772/18838784203547772941772736967379636811*c_0110_3^9 + 98463300806389979207777441107539861648651709/1507102736283821835341\ 81895739037094488*c_0110_3^7 + 186947726023689425289413171941509365\ 17880273/150710273628382183534181895739037094488*c_0110_3^5 + 183941647362798980970505717179364262077563/215300390897688833620259\ 85105576727784*c_0110_3^3 + 140484109991792657400412122984091876119\ 361/150710273628382183534181895739037094488*c_0110_3, c_0011_0 - 1, c_0011_3 - 448592356640030925267512658722563972661248/38446498374587291\ 7179035448313870139*c_0110_3^30 + 159616755539358905804713137040023\ 638507520/384464983745872917179035448313870139*c_0110_3^28 + 335990239740365678709960362615198340612096/384464983745872917179035\ 448313870139*c_0110_3^26 + 1748987032916395656706688859835688534671\ 36/384464983745872917179035448313870139*c_0110_3^24 - 146597995069642365048263210137719324803072/384464983745872917179035\ 448313870139*c_0110_3^22 - 4620556539283089284722784731902332790374\ 4/384464983745872917179035448313870139*c_0110_3^20 + 138597782325464404521844544465826594910208/384464983745872917179035\ 448313870139*c_0110_3^18 + 7340345365732468100939576944625796140544\ 0/384464983745872917179035448313870139*c_0110_3^16 - 17878264065038070583234801230446098429696/3844649837458729171790354\ 48313870139*c_0110_3^14 - 60725919653964949362690270164129480274240\ /384464983745872917179035448313870139*c_0110_3^12 - 42165049806809131885755595692980825370256/3844649837458729171790354\ 48313870139*c_0110_3^10 - 12648683727421267527928366438363924825008\ /384464983745872917179035448313870139*c_0110_3^8 - 2642702040299042788525115245764294990565/38446498374587291717903544\ 8313870139*c_0110_3^6 - 498851494304984299315971801208213175982/384\ 464983745872917179035448313870139*c_0110_3^4 - 36672313556145896023559525404779269953/3844649837458729171790354483\ 13870139*c_0110_3^2 - 3294924825678612943305444828070458529/3844649\ 83745872917179035448313870139, c_0101_0 + 7447590373624868291116913876321603348856832/2691254886221110\ 420253248138197090973*c_0110_3^31 - 398304686125916121034878187184601511755776/384464983745872917179035\ 448313870139*c_0110_3^29 - 7866740520511414702283173961081210593607\ 68/384464983745872917179035448313870139*c_0110_3^27 - 401577269651735083627051575208752224272384/384464983745872917179035\ 448313870139*c_0110_3^25 + 2473015763900374421963261828467762438471\ 680/2691254886221110420253248138197090973*c_0110_3^23 + 102039594005852700288285278319719458537472/384464983745872917179035\ 448313870139*c_0110_3^21 - 2306679625410447789394518573588230346527\ 744/2691254886221110420253248138197090973*c_0110_3^19 - 1174911337744259964082846717805435460216064/26912548862211104202532\ 48138197090973*c_0110_3^17 + 31272522592359798859272848963048786812\ 2688/2691254886221110420253248138197090973*c_0110_3^15 + 999607286078099092351079027066647313606832/269125488622111042025324\ 8138197090973*c_0110_3^13 + 975121325357261136331186323180101765037\ 80/384464983745872917179035448313870139*c_0110_3^11 + 199912236409008360167750550135896859716056/269125488622111042025324\ 8138197090973*c_0110_3^9 + 1668658702610077115070369085049452114921\ 43/10765019544884441681012992552788363892*c_0110_3^7 + 31586558415356962660640859350495442513179/1076501954488444168101299\ 2552788363892*c_0110_3^5 + 299824001220981085969550261348890685465/\ 1537859934983491668716141793255480556*c_0110_3^3 + 241038013378528404543984119585579360395/107650195448844416810129925\ 52788363892*c_0110_3, c_0101_1 - 4409279827208102497878142160331398648430592/2691254886221110\ 420253248138197090973*c_0110_3^31 + 224296178320015462633756329361281986330624/384464983745872917179035\ 448313870139*c_0110_3^29 + 4713516006313333593324112015214130118000\ 64/384464983745872917179035448313870139*c_0110_3^27 + 245374863930576769821095646223469452984320/384464983745872917179035\ 448313870139*c_0110_3^25 - 1438885429122257698199492756004628233715\ 712/2691254886221110420253248138197090973*c_0110_3^23 - 64490997065432020534560337441496545361920/3844649837458729171790354\ 48313870139*c_0110_3^21 + 13619995099630512609843718085778876762275\ 84/2691254886221110420253248138197090973*c_0110_3^19 + 720301093529886491399874583635008196276224/269125488622111042025324\ 8138197090973*c_0110_3^17 - 175301119319138758869704857971540521160\ 704/2691254886221110420253248138197090973*c_0110_3^15 - 595847625897722176998289534752019435879424/269125488622111042025324\ 8138197090973*c_0110_3^13 - 591660555243966435535978015630766789147\ 52/384464983745872917179035448313870139*c_0110_3^11 - 124676146488954709299361329925428093615144/269125488622111042025324\ 8138197090973*c_0110_3^9 - 2639938421008384753987180981422032210098\ 6/2691254886221110420253248138197090973*c_0110_3^7 - 10194018706030105359199451754973896970157/5382509772442220840506496\ 276394181946*c_0110_3^5 - 57014861261004315579507242414759642501/38\ 4464983745872917179035448313870139*c_0110_3^3 - 77592650648974871730530387278035543593/5382509772442220840506496276\ 394181946*c_0110_3, c_0101_4 - 1489978614008370208492353040697854206672896/2691254886221110\ 420253248138197090973*c_0110_3^31 + 53359259954123815069211435431176806858752/3844649837458729171790354\ 48313870139*c_0110_3^29 + 16825532373470918426308529276490230110617\ 6/384464983745872917179035448313870139*c_0110_3^27 + 99547968137436016445796995518376554790912/3844649837458729171790354\ 48313870139*c_0110_3^25 - 42986325087087298342386246540859837605478\ 4/2691254886221110420253248138197090973*c_0110_3^23 - 29742733502770879530378535249060250255360/3844649837458729171790354\ 48313870139*c_0110_3^21 + 44549086916163698080866838996205198074880\ 0/2691254886221110420253248138197090973*c_0110_3^19 + 292966618860182111378928226497158943682048/269125488622111042025324\ 8138197090973*c_0110_3^17 - 352153653292649801382674449135812791048\ 96/2691254886221110420253248138197090973*c_0110_3^15 - 209198296714982819157609851072042725574560/269125488622111042025324\ 8138197090973*c_0110_3^13 - 230565873385345260627239826574831555702\ 00/384464983745872917179035448313870139*c_0110_3^11 - 55910518741239333496774869191226209535164/2691254886221110420253248\ 138197090973*c_0110_3^9 - 24933225636788391189234715204522785410303\ /5382509772442220840506496276394181946*c_0110_3^7 - 8973646418833830733127530566908241215989/10765019544884441681012992\ 552788363892*c_0110_3^5 - 58737229258362431088852194376968053119/76\ 8929967491745834358070896627740278*c_0110_3^3 - 49399392047778333118589919071242533637/1076501954488444168101299255\ 2788363892*c_0110_3, c_0101_5 + 1958918128494688429349193292549131866210304/2691254886221110\ 420253248138197090973*c_0110_3^31 - 116069077444462547220065802149587054493696/384464983745872917179035\ 448313870139*c_0110_3^29 - 2021692645254120730229697304244092639641\ 60/384464983745872917179035448313870139*c_0110_3^27 - 97230772408104230437097393588173073416192/3844649837458729171790354\ 48313870139*c_0110_3^25 + 67680785092510569295196454873082423122329\ 6/2691254886221110420253248138197090973*c_0110_3^23 + 22732152100623671137112926026896539910144/3844649837458729171790354\ 48313870139*c_0110_3^21 - 61352512526157189516701644622194271642112\ 0/2691254886221110420253248138197090973*c_0110_3^19 - 283524576798299986441264826482254794486016/269125488622111042025324\ 8138197090973*c_0110_3^17 + 937014227911350815586546864140123307128\ 96/2691254886221110420253248138197090973*c_0110_3^15 + 258492273888544230823107519533758125225840/269125488622111042025324\ 8138197090973*c_0110_3^13 + 241271240441995262913469661423206009767\ 24/384464983745872917179035448313870139*c_0110_3^11 + 45939653465726337694602616226024333157260/2691254886221110420253248\ 138197090973*c_0110_3^9 + 37556520035981963134724860928128234262047\ /10765019544884441681012992552788363892*c_0110_3^7 + 1840550957299386570072111113106116300595/26912548862211104202532481\ 38197090973*c_0110_3^5 + 50622820867626135618577390435060480305/153\ 7859934983491668716141793255480556*c_0110_3^3 + 15081475677228745987665092420717842212/2691254886221110420253248138\ 197090973*c_0110_3, c_0110_3^32 - 7/8*c_0110_3^28 - 21/32*c_0110_3^26 + 3/16*c_0110_3^24 + 7/32*c_0110_3^22 - 1115/4096*c_0110_3^20 - 4479/16384*c_0110_3^18 - 1213/65536*c_0110_3^16 + 39145/262144*c_0110_3^14 + 149037/1048576*c_0110_3^12 + 64745/1048576*c_0110_3^10 + 268897/16777216*c_0110_3^8 + 13647/4194304*c_0110_3^6 + 4081/8388608*c_0110_3^4 + 159/4194304*c_0110_3^2 + 49/16777216 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB