Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 21011942] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1832 geometric_solution 5.48650517 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 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.281452254348 0.214901507572 0 0 2 2 0132 2310 2310 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 0 0 0 1 0 0 -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 1.485452969011 1.586466555028 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 -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 -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.596309594143 0.291426071215 2 4 6 5 0132 0321 0132 0132 0 0 0 0 0 0 0 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 -1 1 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.959528857876 1.080859270495 6 5 2 3 0132 2310 0132 0321 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 -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.959528857876 1.080859270495 5 5 3 4 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462259666301 0.480203270874 4 6 6 3 0132 1230 3012 0132 0 0 0 0 0 -1 1 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 1 0 -1 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.170237629775 0.656918159721 ==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' : negation(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' : negation(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_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_5'])})} 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_4, c_0011_5, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 57527751863455843172932979198512/66066739432689012338007248485*c_01\ 10_5^20 + 266288129407700719971582982097854/19820021829806703701402\ 1745455*c_0110_5^19 - 125081247259660531430624103014074/94381056332\ 41287476858178355*c_0110_5^18 - 7814285369985307076779432085949299/\ 198200218298067037014021745455*c_0110_5^17 + 1842552230224015164436654444491488/39640043659613407402804349091*c_\ 0110_5^16 + 19469874861935423873829702339649766/6606673943268901233\ 8007248485*c_0110_5^15 + 3223566015296534625067220090354416/2831431\ 6899723862430574535065*c_0110_5^14 - 70337378321785716209824929773103286/66066739432689012338007248485*c\ _0110_5^13 - 5332775206673974518105786430074761/3603640332692127945\ 709486281*c_0110_5^12 + 2704892570700768628439178692484881/25740288\ 09065805675506775915*c_0110_5^11 + 206655942475823176453757290647358156/66066739432689012338007248485*\ c_0110_5^10 + 44443620856671575552561751492449719/19820021829806703\ 7014021745455*c_0110_5^9 - 498782384325598225154317182503572006/198\ 200218298067037014021745455*c_0110_5^8 - 62135774228884098598874221619998049/198200218298067037014021745455*\ c_0110_5^7 + 70352893609150957931534646225631796/660667394326890123\ 38007248485*c_0110_5^6 + 6036592640428474483551592198573684/2831431\ 6899723862430574535065*c_0110_5^5 - 61639633538851107534854322415543453/198200218298067037014021745455*\ c_0110_5^4 - 18576268904746328243523450520758257/198200218298067037\ 014021745455*c_0110_5^3 + 1442016377965668382653392087602613/283143\ 16899723862430574535065*c_0110_5^2 + 416515845700658532502933400906624/39640043659613407402804349091*c_0\ 110_5 - 679675148661116058631268692050347/1982002182980670370140217\ 45455, c_0011_0 - 1, c_0011_2 - 60633903853602426890695507/1544417285439483405304065549*c_01\ 10_5^20 + 171342797037666453729225187/1544417285439483405304065549*\ c_0110_5^19 + 1260113583990194841627327608/154441728543948340530406\ 5549*c_0110_5^18 - 148440194723014946665768758/17160192060438704503\ 3785061*c_0110_5^17 - 14072284181625626232213002945/154441728543948\ 3405304065549*c_0110_5^16 - 4083673235333801366677727770/1544417285\ 439483405304065549*c_0110_5^15 + 75527841011772015396673596802/1544\ 417285439483405304065549*c_0110_5^14 + 88552149130660746132956622956/1544417285439483405304065549*c_0110_5\ ^13 - 70520912160400583843165724047/514805761813161135101355183*c_0\ 110_5^12 - 434426665357136701852834057646/1544417285439483405304065\ 549*c_0110_5^11 + 151774673983050452654404209101/154441728543948340\ 5304065549*c_0110_5^10 + 774325513051371947603920492889/15444172854\ 39483405304065549*c_0110_5^9 + 76656990639495087749608037914/154441\ 7285439483405304065549*c_0110_5^8 - 592861835103262858208744789765/1544417285439483405304065549*c_0110_\ 5^7 - 498866120417447331053114062/1544417285439483405304065549*c_01\ 10_5^6 + 202328859266279062347118023278/154441728543948340530406554\ 9*c_0110_5^5 + 28763601724595756339247538654/1544417285439483405304\ 065549*c_0110_5^4 - 60669703839881135544272071534/15444172854394834\ 05304065549*c_0110_5^3 - 6801947175962949083740830521/1544417285439\ 483405304065549*c_0110_5^2 + 2421566573771833025642458106/514805761\ 813161135101355183*c_0110_5 - 933281038471741045757819369/154441728\ 5439483405304065549, c_0011_4 + 724009736607564722244383848/514805761813161135101355183*c_01\ 10_5^20 + 925947430602654584012760859/514805761813161135101355183*c\ _0110_5^19 - 11363467975047816238348690661/514805761813161135101355\ 183*c_0110_5^18 - 29990121699709743995446219735/5148057618131611351\ 01355183*c_0110_5^17 + 47984555609213349673974951346/51480576181316\ 1135101355183*c_0110_5^16 + 237680288444320896699528008503/51480576\ 1813161135101355183*c_0110_5^15 + 29271745959010648870150974388/514\ 805761813161135101355183*c_0110_5^14 - 928818172680270664499517285119/514805761813161135101355183*c_0110_5\ ^13 - 1017107149644378685603742289628/514805761813161135101355183*c\ _0110_5^12 + 1251740985875083315270366058431/5148057618131611351013\ 55183*c_0110_5^11 + 2501744041285073070641783370241/514805761813161\ 135101355183*c_0110_5^10 - 161859172952052355419960572487/171601920\ 604387045033785061*c_0110_5^9 - 784598317736095479826359922505/1716\ 01920604387045033785061*c_0110_5^8 + 137981098092805421535585965104/514805761813161135101355183*c_0110_5\ ^7 + 1064981497474474112809397664373/514805761813161135101355183*c_\ 0110_5^6 + 18372677523840343456381055639/17160192060438704503378506\ 1*c_0110_5^5 - 114271387086791082168114838640/171601920604387045033\ 785061*c_0110_5^4 - 17646054866208936317969578778/17160192060438704\ 5033785061*c_0110_5^3 + 22412378286068312215662283661/1716019206043\ 87045033785061*c_0110_5^2 + 10736172611592822082735509707/514805761\ 813161135101355183*c_0110_5 - 3901388397210338924146350719/51480576\ 1813161135101355183, c_0011_5 - 2789232681697671068731752344/1544417285439483405304065549*c_\ 0110_5^20 - 3566627316974211002964950290/15444172854394834053040655\ 49*c_0110_5^19 + 43625122790404488939749305282/15444172854394834053\ 04065549*c_0110_5^18 + 38432438398692789927073553242/51480576181316\ 1135101355183*c_0110_5^17 - 182572304245658453812073637574/15444172\ 85439483405304065549*c_0110_5^16 - 908820789559800169277994683615/1544417285439483405304065549*c_0110_\ 5^15 - 120585109127602669160029145785/1544417285439483405304065549*\ c_0110_5^14 + 3528015360104539226378113899757/154441728543948340530\ 4065549*c_0110_5^13 + 433109815506488854446344309148/17160192060438\ 7045033785061*c_0110_5^12 - 4644446675699058728696688522541/1544417\ 285439483405304065549*c_0110_5^11 - 9386514716744324422076067020108/1544417285439483405304065549*c_0110\ _5^10 + 1711978690355973643352901014347/154441728543948340530406554\ 9*c_0110_5^9 + 8567432152525233998931885210314/15444172854394834053\ 04065549*c_0110_5^8 - 588081414722029971057618921760/15444172854394\ 83405304065549*c_0110_5^7 - 3747876431917537018708264745870/1544417\ 285439483405304065549*c_0110_5^6 - 169994108465871211314580486043/1544417285439483405304065549*c_0110_\ 5^5 + 1198438666626526452389261422832/1544417285439483405304065549*\ c_0110_5^4 + 170998948854630550127863247758/15444172854394834053040\ 65549*c_0110_5^3 - 226329269839480349475841386940/15444172854394834\ 05304065549*c_0110_5^2 - 10481982768052831288371102043/514805761813\ 161135101355183*c_0110_5 + 12247041418149174444513282707/1544417285\ 439483405304065549, c_0101_1 + 922358980709583009730781815/514805761813161135101355183*c_01\ 10_5^20 + 1173435334263061909839552799/514805761813161135101355183*\ c_0110_5^19 - 14444945728934822760324188174/51480576181316113510135\ 5183*c_0110_5^18 - 38059584711379759916717873251/514805761813161135\ 101355183*c_0110_5^17 + 60775990538604885799875042667/5148057618131\ 61135101355183*c_0110_5^16 + 300777728483713921423968090133/5148057\ 61813161135101355183*c_0110_5^15 + 37746434306221562644199373040/514805761813161135101355183*c_0110_5^\ 14 - 1171086489124072927082955189992/514805761813161135101355183*c_\ 0110_5^13 - 1285846334312283070878650795584/51480576181316113510135\ 5183*c_0110_5^12 + 1556228023838570238974798281897/5148057618131611\ 35101355183*c_0110_5^11 + 3122883104642237018991496379650/514805761\ 813161135101355183*c_0110_5^10 - 194615505245926176268118722666/171\ 601920604387045033785061*c_0110_5^9 - 958555428016820774218006453400/171601920604387045033785061*c_0110_5\ ^8 + 181354149912839629605862270066/514805761813161135101355183*c_0\ 110_5^7 + 1262353129090028550299288432626/5148057618131611351013551\ 83*c_0110_5^6 + 23049377562530275501693045521/171601920604387045033\ 785061*c_0110_5^5 - 135093879855501575513609991987/1716019206043870\ 45033785061*c_0110_5^4 - 20352809989384786321702854234/171601920604\ 387045033785061*c_0110_5^3 + 25466919665328915874793427919/17160192\ 0604387045033785061*c_0110_5^2 + 11774289299948542824271867961/5148\ 05761813161135101355183*c_0110_5 - 4361696581952064272670267743/514805761813161135101355183, c_0101_3 - 2662936816873397854120877296/1544417285439483405304065549*c_\ 0110_5^20 - 2933301435308726638398542120/15444172854394834053040655\ 49*c_0110_5^19 + 42239388719194072947036757967/15444172854394834053\ 04065549*c_0110_5^18 + 34271034510753873004817161100/51480576181316\ 1135101355183*c_0110_5^17 - 193409318278047032916264082988/15444172\ 85439483405304065549*c_0110_5^16 - 838243801074121409016356112325/1544417285439483405304065549*c_0110_\ 5^15 + 32029428029994209585431536022/1544417285439483405304065549*c\ _0110_5^14 + 3391652617833531711760883058188/1544417285439483405304\ 065549*c_0110_5^13 + 351845701488061720322092273975/171601920604387\ 045033785061*c_0110_5^12 - 5063225469096702136466818256279/15444172\ 85439483405304065549*c_0110_5^11 - 8310536646471128658989036204683/1544417285439483405304065549*c_0110\ _5^10 + 2999378380650067283742240328550/154441728543948340530406554\ 9*c_0110_5^9 + 7994382363413834499203906358955/15444172854394834053\ 04065549*c_0110_5^8 - 1598017613857450872320176213793/1544417285439\ 483405304065549*c_0110_5^7 - 3423480477764597397814177936696/154441\ 7285439483405304065549*c_0110_5^6 + 184181825730895228425344809682/1544417285439483405304065549*c_0110_\ 5^5 + 1149289677045257775070462210273/1544417285439483405304065549*\ c_0110_5^4 + 52564205585053255414741609916/154441728543948340530406\ 5549*c_0110_5^3 - 217381271040135209922627933743/154441728543948340\ 5304065549*c_0110_5^2 - 5875954652578743205297180373/51480576181316\ 1135101355183*c_0110_5 + 9990497706594872459972063986/1544417285439\ 483405304065549, c_0110_5^21 + c_0110_5^20 - 16*c_0110_5^19 - 37*c_0110_5^18 + 77*c_0110_5^17 + 308*c_0110_5^16 - 47*c_0110_5^15 - 1279*c_0110_5^14 - 1051*c_0110_5^13 + 2057*c_0110_5^12 + 2927*c_0110_5^11 - 1530*c_0110_5^10 - 2933*c_0110_5^9 + 1014*c_0110_5^8 + 1295*c_0110_5^7 - 276*c_0110_5^6 - 452*c_0110_5^5 + 47*c_0110_5^4 + 97*c_0110_5^3 - 8*c_0110_5^2 - 7*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB