Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 2033771840] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0123 geometric_solution 3.63597409 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 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 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.739160415877 0.035266975334 0 0 2 2 0132 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 1 -1 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.817848820217 0.173862952341 3 1 1 3 0132 3201 0132 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 -1 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 1.250394575428 0.117016293728 2 4 5 2 0132 0132 0132 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 1 -1 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 1.299069555786 0.991923674535 6 3 5 6 0132 0132 1302 2103 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 -1 0 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.002605527649 0.506528767354 4 6 6 3 2031 1230 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 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.002605527649 0.506528767354 4 5 5 4 0132 3201 3012 2103 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 -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 0.002605527649 0.506528767354 ==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' : negation(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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : negation(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_0101_6']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_5'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0101_1']), '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_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 8950425368424055214207887219044084711/13473407262257431615921766287\ 7294896*c_0101_6^20 + 241714243515306459654167223693520452021/94313\ 8508358020213114523640141064272*c_0101_6^19 - 250289407913323582591897396788547253027/471569254179010106557261820\ 070532136*c_0101_6^18 + 535473133401004784280777819324468414507/134\ 734072622574316159217662877294896*c_0101_6^17 + 1805835861487303079094341700537973561573/94313850835802021311452364\ 0141064272*c_0101_6^16 + 22502289685153825191441536579806504783573/\ 943138508358020213114523640141064272*c_0101_6^15 + 15538388292888710541709370608294943249733/9431385083580202131145236\ 40141064272*c_0101_6^14 + 33403718015182695677247885347850726170693\ /471569254179010106557261820070532136*c_0101_6^13 + 376523236248034748982725298051597701575/842087953891089475995110392\ 9830931*c_0101_6^12 + 114810804339235224381865166083068338479285/94\ 3138508358020213114523640141064272*c_0101_6^11 + 17323492707113706127582880471189107223667/2357846270895050532786309\ 10035266068*c_0101_6^10 + 4444370970147998240506435127329910925619/\ 33683518155643579039804415719323724*c_0101_6^9 + 79534016849681412923778235058884311344803/9431385083580202131145236\ 40141064272*c_0101_6^8 + 12313257634011999026172262814040019767079/\ 134734072622574316159217662877294896*c_0101_6^7 + 63736666343164329984236352967248837879077/9431385083580202131145236\ 40141064272*c_0101_6^6 + 19806667793218358597985818398553998570821/\ 471569254179010106557261820070532136*c_0101_6^5 + 34013647498140880925703475043045908577703/9431385083580202131145236\ 40141064272*c_0101_6^4 + 11518888931637460764939394681532166384289/\ 943138508358020213114523640141064272*c_0101_6^3 + 10116951940947906104952825884444611754609/9431385083580202131145236\ 40141064272*c_0101_6^2 + 3026179213812063387691603876163065087375/9\ 43138508358020213114523640141064272*c_0101_6 + 268581551397685864074773067967384231823/235784627089505053278630910\ 035266068, c_0011_0 - 1, c_0011_2 + 73882811736591793558502660348019/842087953891089475995110392\ 9830931*c_0101_6^20 - 215946845249309260377738722631051/84208795389\ 10894759951103929830931*c_0101_6^19 - 1750289322006988739303649394743445/84208795389108947599511039298309\ 31*c_0101_6^18 + 11065324976957100999932163790087754/84208795389108\ 94759951103929830931*c_0101_6^17 - 35270207161034712302813621437093736/8420879538910894759951103929830\ 931*c_0101_6^16 + 61028694540062002228003675871167449/8420879538910\ 894759951103929830931*c_0101_6^15 - 160711289081683891686923477281289370/842087953891089475995110392983\ 0931*c_0101_6^14 + 228123587334201485247606775129556824/84208795389\ 10894759951103929830931*c_0101_6^13 - 428099353081745920470930898785926897/842087953891089475995110392983\ 0931*c_0101_6^12 + 564516454782730067971242214855935441/84208795389\ 10894759951103929830931*c_0101_6^11 - 742550109618008279869959309277394125/842087953891089475995110392983\ 0931*c_0101_6^10 + 861524896800121445517636158438990629/84208795389\ 10894759951103929830931*c_0101_6^9 - 840181402625670005083291791814219588/842087953891089475995110392983\ 0931*c_0101_6^8 + 809146487920980565230540428733549243/842087953891\ 0894759951103929830931*c_0101_6^7 - 582091011129438325565803361005484303/842087953891089475995110392983\ 0931*c_0101_6^6 + 444340826369429489108196096551883247/842087953891\ 0894759951103929830931*c_0101_6^5 - 230066102499817756606699662429359459/842087953891089475995110392983\ 0931*c_0101_6^4 + 139586330921188350805932042472091945/842087953891\ 0894759951103929830931*c_0101_6^3 - 29667505677264282985167800227827224/8420879538910894759951103929830\ 931*c_0101_6^2 + 6245013084738774481473443821353150/842087953891089\ 4759951103929830931*c_0101_6 - 2573757216225405330780782548352085/8\ 420879538910894759951103929830931, c_0011_5 - 929413387038016285799449904839332/84208795389108947599511039\ 29830931*c_0101_6^20 - 3159320995677404886613764596682750/842087953\ 8910894759951103929830931*c_0101_6^19 + 9065179620456615859462648735761873/84208795389108947599511039298309\ 31*c_0101_6^18 - 58642627790177111627091945782023773/84208795389108\ 94759951103929830931*c_0101_6^17 - 18418280772327361061439144526942/8420879538910894759951103929830931\ *c_0101_6^16 - 325958617412476271775333127708143429/842087953891089\ 4759951103929830931*c_0101_6^15 - 520681546815165540103923383137416\ 28/8420879538910894759951103929830931*c_0101_6^14 - 893525483918257422166664936972314828/842087953891089475995110392983\ 0931*c_0101_6^13 - 36402595976785894737093349352674479/842087953891\ 0894759951103929830931*c_0101_6^12 - 1433604173341359457502719306260053228/84208795389108947599511039298\ 30931*c_0101_6^11 + 113411905940529664689702266872649883/8420879538\ 910894759951103929830931*c_0101_6^10 - 1461053656393202225244673597331634660/84208795389108947599511039298\ 30931*c_0101_6^9 + 233001925253456731474378986900539687/84208795389\ 10894759951103929830931*c_0101_6^8 - 942278382269330659562840227532324152/842087953891089475995110392983\ 0931*c_0101_6^7 + 191567190502493205390020393552733667/842087953891\ 0894759951103929830931*c_0101_6^6 - 398220345430433994176762505081658590/842087953891089475995110392983\ 0931*c_0101_6^5 + 74498264598962808889436285996930374/8420879538910\ 894759951103929830931*c_0101_6^4 - 91624404083451617055960484971433320/8420879538910894759951103929830\ 931*c_0101_6^3 + 14717765269894275427355310030135976/84208795389108\ 94759951103929830931*c_0101_6^2 - 156995484901083681160898011024422\ 45/8420879538910894759951103929830931*c_0101_6 + 1249941755472471942088113709679500/84208795389108947599511039298309\ 31, c_0101_0 + 244597388309487003732327115875414/84208795389108947599511039\ 29830931*c_0101_6^20 + 991246454165867271678282253231248/8420879538\ 910894759951103929830931*c_0101_6^19 - 3016867104571714467138923324623998/84208795389108947599511039298309\ 31*c_0101_6^18 + 9847310901476883458351383433524397/842087953891089\ 4759951103929830931*c_0101_6^17 + 217157209057746870821784872989485\ 73/8420879538910894759951103929830931*c_0101_6^16 + 13177254889937257872704900102240888/8420879538910894759951103929830\ 931*c_0101_6^15 + 65247516951410557055568629239945915/8420879538910\ 894759951103929830931*c_0101_6^14 - 150084637726666351304480418464773260/842087953891089475995110392983\ 0931*c_0101_6^13 + 91371139454200513213764413269664423/842087953891\ 0894759951103929830931*c_0101_6^12 - 633636041017417060774269780571430487/842087953891089475995110392983\ 0931*c_0101_6^11 + 197395555293293158836189035559636663/84208795389\ 10894759951103929830931*c_0101_6^10 - 1120093913426099896442758305146449202/84208795389108947599511039298\ 30931*c_0101_6^9 + 383639980792684792560818782893230510/84208795389\ 10894759951103929830931*c_0101_6^8 - 1124401744177674827554935608792794576/84208795389108947599511039298\ 30931*c_0101_6^7 + 398878242904117825844312164742230431/84208795389\ 10894759951103929830931*c_0101_6^6 - 635962216402279260295185626450510716/842087953891089475995110392983\ 0931*c_0101_6^5 + 215804445979375913880283150904900652/842087953891\ 0894759951103929830931*c_0101_6^4 - 203050847394976332394611538701325263/842087953891089475995110392983\ 0931*c_0101_6^3 + 37083034728889110799174395931203176/8420879538910\ 894759951103929830931*c_0101_6^2 - 2245433374917731416331024539037292/84208795389108947599511039298309\ 31*c_0101_6 + 4762569235774015806783782315105388/842087953891089475\ 9951103929830931, c_0101_1 - 2106863517220850671190826398143998/8420879538910894759951103\ 929830931*c_0101_6^20 - 5872273890414013895516885496351339/84208795\ 38910894759951103929830931*c_0101_6^19 + 24860763819573126740026803509541127/8420879538910894759951103929830\ 931*c_0101_6^18 - 145561162291844715136721963886193318/842087953891\ 0894759951103929830931*c_0101_6^17 + 82788714893183609196924931881008195/8420879538910894759951103929830\ 931*c_0101_6^16 - 745588523851082905209476024055881504/842087953891\ 0894759951103929830931*c_0101_6^15 + 343910571360623606888453498801210409/842087953891089475995110392983\ 0931*c_0101_6^14 - 1967459277774011243190367772975797482/8420879538\ 910894759951103929830931*c_0101_6^13 + 1190353305924628295856663995069107537/84208795389108947599511039298\ 30931*c_0101_6^12 - 3230842421271992553480359199809331991/842087953\ 8910894759951103929830931*c_0101_6^11 + 2268257553339994451331266897688360420/84208795389108947599511039298\ 30931*c_0101_6^10 - 3519983226815694731489746090689007838/842087953\ 8910894759951103929830931*c_0101_6^9 + 2469842394832177302365069213540702685/84208795389108947599511039298\ 30931*c_0101_6^8 - 2443130433198566544625304664625732306/8420879538\ 910894759951103929830931*c_0101_6^7 + 1550224768823707464446521083680602131/84208795389108947599511039298\ 30931*c_0101_6^6 - 1024916199219234318791152719628238926/8420879538\ 910894759951103929830931*c_0101_6^5 + 532975090230200055495865982396685492/842087953891089475995110392983\ 0931*c_0101_6^4 - 164463318633187595473992373934322288/842087953891\ 0894759951103929830931*c_0101_6^3 + 77096711399230175262221213043394551/8420879538910894759951103929830\ 931*c_0101_6^2 - 9869763862551649685793396397796344/842087953891089\ 4759951103929830931*c_0101_6 + 7254394488483914721653884078795882/8\ 420879538910894759951103929830931, c_0101_3 + 665656999402074432385418293806387/84208795389108947599511039\ 29830931*c_0101_6^20 + 972320718566082325648011978883446/8420879538\ 910894759951103929830931*c_0101_6^19 - 10993397110019658775801255073581161/8420879538910894759951103929830\ 931*c_0101_6^18 + 53971068481885828047814600706921226/8420879538910\ 894759951103929830931*c_0101_6^17 - 80932617522200757787496700829899352/8420879538910894759951103929830\ 931*c_0101_6^16 + 229085724343374452984410505024863019/842087953891\ 0894759951103929830931*c_0101_6^15 - 430417428670857059823688644175632339/842087953891089475995110392983\ 0931*c_0101_6^14 + 533290874348043184510063552586339171/84208795389\ 10894759951103929830931*c_0101_6^13 - 1285909468716425061499451638155048058/84208795389108947599511039298\ 30931*c_0101_6^12 + 888093898848462193123691511547412994/8420879538\ 910894759951103929830931*c_0101_6^11 - 2217364503001522808475214470633728999/84208795389108947599511039298\ 30931*c_0101_6^10 + 1094204181776237966150042534350163961/842087953\ 8910894759951103929830931*c_0101_6^9 - 2346773944891235645145657362627967564/84208795389108947599511039298\ 30931*c_0101_6^8 + 899319738172354726591490974591036441/84208795389\ 10894759951103929830931*c_0101_6^7 - 1497419340266992861785311365761932123/84208795389108947599511039298\ 30931*c_0101_6^6 + 455481315524231987258095989911530137/84208795389\ 10894759951103929830931*c_0101_6^5 - 541383515846958905715299111751400525/842087953891089475995110392983\ 0931*c_0101_6^4 + 81619629127805783586560503965914104/8420879538910\ 894759951103929830931*c_0101_6^3 - 69062055384356193849951013128380857/8420879538910894759951103929830\ 931*c_0101_6^2 + 3283426729025333594835094248849555/842087953891089\ 4759951103929830931*c_0101_6 - 3261110044416290616753404306888318/8\ 420879538910894759951103929830931, c_0101_6^21 + 3*c_0101_6^20 - 32/3*c_0101_6^19 + 206/3*c_0101_6^18 - 29*c_0101_6^17 + 377*c_0101_6^16 - 218/3*c_0101_6^15 + 1090*c_0101_6^14 - 767/3*c_0101_6^13 + 5821/3*c_0101_6^12 - 1606/3*c_0101_6^11 + 2248*c_0101_6^10 - 1828/3*c_0101_6^9 + 5014/3*c_0101_6^8 - 360*c_0101_6^7 + 774*c_0101_6^6 - 266/3*c_0101_6^5 + 551/3*c_0101_6^4 + 11*c_0101_6^3 + 64/3*c_0101_6^2 - 8/3*c_0101_6 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB