Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 3103335513] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1981 geometric_solution 5.55057992 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 -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.557845688081 0.120786972266 2 0 2 0 0132 2310 1023 0132 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 -1 1 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.729822509629 0.249973935872 1 3 1 4 0132 0132 1023 0132 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 0 -1 1 0 -1 0 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 1.053065791538 1.082299342700 5 2 4 6 0132 0132 3012 0132 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 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.926991501132 0.948625287977 6 3 2 5 1023 1230 0132 0132 0 0 0 0 0 0 0 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 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.926991501132 0.948625287977 3 5 4 5 0132 1302 0132 2031 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.523103087061 0.462464945179 6 4 3 6 3201 1023 0132 2310 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.847920933962 0.691437889739 ==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' : 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' : negation(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' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), '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_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 44 Groebner basis: [ t - 3398435618544097397685453730662661322289862067/21024008524948655642\ 46567734294828866310516*c_0101_3*c_0101_5^21 - 27720497345936119085033393928840998824845990562/1576800639371149173\ 184925800721121649732887*c_0101_3*c_0101_5^20 - 131331321300098571271028314122043433413286911705/210240085249486556\ 4246567734294828866310516*c_0101_3*c_0101_5^19 - 353936781873703502415324831770227818655279675811/210240085249486556\ 4246567734294828866310516*c_0101_3*c_0101_5^18 - 854764001737315149029465953752096234130559650909/630720255748459669\ 2739703202884486598931548*c_0101_3*c_0101_5^17 - 453194886452974557554844987881535641670525804763/315360127874229834\ 6369851601442243299465774*c_0101_3*c_0101_5^16 + 10318466978437768516761776331195014277366233254489/6307202557484596\ 692739703202884486598931548*c_0101_3*c_0101_5^15 - 5248905545806365317112031928595581155438939610270/15768006393711491\ 73184925800721121649732887*c_0101_3*c_0101_5^14 + 224596894028950843029572013127175916891918287051/404307856249012608\ 50895533351823632044433*c_0101_3*c_0101_5^13 - 4529285187275973427387627234095416080255876046569/52560021312371639\ 1061641933573707216577629*c_0101_3*c_0101_5^12 + 23263820945987600028546180888555516500139207642739/1576800639371149\ 173184925800721121649732887*c_0101_3*c_0101_5^11 - 37589605389416859021564828670766293695001754811747/2102400852494865\ 564246567734294828866310516*c_0101_3*c_0101_5^10 + 29418947170183239920577872236347027353558448518683/2102400852494865\ 564246567734294828866310516*c_0101_3*c_0101_5^9 - 14017246182645680659773745192464969403715079569857/2102400852494865\ 564246567734294828866310516*c_0101_3*c_0101_5^8 - 9447515822305153375181596242199819935914992937723/63072025574845966\ 92739703202884486598931548*c_0101_3*c_0101_5^7 + 5317697727687898913291341158501812461546075586515/10512004262474327\ 82123283867147414433155258*c_0101_3*c_0101_5^6 - 9443570928854441361208312527970525150914831613257/21024008524948655\ 64246567734294828866310516*c_0101_3*c_0101_5^5 + 4691507940892094743400434270790398395255702663269/15768006393711491\ 73184925800721121649732887*c_0101_3*c_0101_5^4 - 148787213653265669140652948369983379790168589859/121292356874703782\ 552686600055470896133299*c_0101_3*c_0101_5^3 + 515105666353739832343931639992706027721499256917/157680063937114917\ 3184925800721121649732887*c_0101_3*c_0101_5^2 - 75671866676838287085104255017637788384741188562/1576800639371149173\ 184925800721121649732887*c_0101_3*c_0101_5 - 85320600718439599203454955904780823413197171779/6307202557484596692\ 739703202884486598931548*c_0101_3, c_0011_0 - 1, c_0011_1 - 18684616698350456343507233767353214122/758551325045051798328\ 24640434941148301*c_0101_5^21 - 21888122483802323223617793787018174\ 3600/75855132504505179832824640434941148301*c_0101_5^20 - 907586095196816271084731484215499839560/758551325045051798328246404\ 34941148301*c_0101_5^19 - 2729850116803405220860410374610769112956/\ 75855132504505179832824640434941148301*c_0101_5^18 - 3949852072539852467824315030342891610043/75855132504505179832824640\ 434941148301*c_0101_5^17 - 5258283254226046586037523412073333997949\ /75855132504505179832824640434941148301*c_0101_5^16 + 14079280353914784427802657039609048721903/7585513250450517983282464\ 0434941148301*c_0101_5^15 - 272729604542312449196169826254644400662\ 13/75855132504505179832824640434941148301*c_0101_5^14 + 42678732138802514067608725427886055651407/7585513250450517983282464\ 0434941148301*c_0101_5^13 - 669261644090189044908464313632439253351\ 21/75855132504505179832824640434941148301*c_0101_5^12 + 119081212563681147962445551675959997855534/758551325045051798328246\ 40434941148301*c_0101_5^11 - 11412090302902608499340337854693544125\ 9814/75855132504505179832824640434941148301*c_0101_5^10 + 78833147047831335739325394268399956969822/7585513250450517983282464\ 0434941148301*c_0101_5^9 - 2364883055483539988448072941144422425774\ 8/75855132504505179832824640434941148301*c_0101_5^8 - 27708601740894155847191780069125165368119/7585513250450517983282464\ 0434941148301*c_0101_5^7 + 3305978856049692146459451080503015600112\ 1/75855132504505179832824640434941148301*c_0101_5^6 - 27874490868857442913647228291848138660933/7585513250450517983282464\ 0434941148301*c_0101_5^5 + 1548062431908713670623703058202962598745\ 6/75855132504505179832824640434941148301*c_0101_5^4 - 4567183759921941362114725309995529509542/75855132504505179832824640\ 434941148301*c_0101_5^3 + 1273342470076805446483746923830083900279/\ 75855132504505179832824640434941148301*c_0101_5^2 + 152375850044808080028359371523556054291/758551325045051798328246404\ 34941148301*c_0101_5 - 43227165489593517400997348916613996247/75855\ 132504505179832824640434941148301, c_0011_4 - 37232277256437345111466429397121508587/151710265009010359665\ 649280869882296602*c_0101_3*c_0101_5^21 - 408846959817905142769058427544891796665/151710265009010359665649280\ 869882296602*c_0101_3*c_0101_5^20 - 743573825050196797142802133028567411492/758551325045051798328246404\ 34941148301*c_0101_3*c_0101_5^19 - 2048709373115462790817704749167683803681/75855132504505179832824640\ 434941148301*c_0101_3*c_0101_5^18 - 1912255308942906425169909029820836229036/75855132504505179832824640\ 434941148301*c_0101_3*c_0101_5^17 - 4552178851740490372077700936779314823771/15171026500901035966564928\ 0869882296602*c_0101_3*c_0101_5^16 + 35875456343733764838607641424927379627975/1517102650090103596656492\ 80869882296602*c_0101_3*c_0101_5^15 - 37379933226386919746485708288790908916781/7585513250450517983282464\ 0434941148301*c_0101_3*c_0101_5^14 + 61776436258207843978416529764272082168774/7585513250450517983282464\ 0434941148301*c_0101_3*c_0101_5^13 - 96359013088067453741780399592991202671230/7585513250450517983282464\ 0434941148301*c_0101_3*c_0101_5^12 + 165184258123573707493311810500893104739980/758551325045051798328246\ 40434941148301*c_0101_3*c_0101_5^11 - 394517611350500672614841285750707045438597/151710265009010359665649\ 280869882296602*c_0101_3*c_0101_5^10 + 155813457660959373897167263851916314575010/758551325045051798328246\ 40434941148301*c_0101_3*c_0101_5^9 - 148028140831863948801119016574061561619679/151710265009010359665649\ 280869882296602*c_0101_3*c_0101_5^8 - 31140514908386049909524975606860738882069/1517102650090103596656492\ 80869882296602*c_0101_3*c_0101_5^7 + 108771213806788719385811918050345840250949/151710265009010359665649\ 280869882296602*c_0101_3*c_0101_5^6 - 50027556193213462470030399248339254047162/7585513250450517983282464\ 0434941148301*c_0101_3*c_0101_5^5 + 66404720026241268582963184748802229882549/1517102650090103596656492\ 80869882296602*c_0101_3*c_0101_5^4 - 14180086762551967243755021467832581676452/7585513250450517983282464\ 0434941148301*c_0101_3*c_0101_5^3 + 8215641227793299586232932256270469849771/15171026500901035966564928\ 0869882296602*c_0101_3*c_0101_5^2 - 1182865094217803927397479188836090724579/15171026500901035966564928\ 0869882296602*c_0101_3*c_0101_5 - 196091273799951429988885543327633\ 978379/151710265009010359665649280869882296602*c_0101_3, c_0101_0 + 444027110604809504692475605497298442743/15171026500901035966\ 5649280869882296602*c_0101_3*c_0101_5^21 + 2525264965471201087317798578669278473485/75855132504505179832824640\ 434941148301*c_0101_3*c_0101_5^20 + 9891045779174606512178171888911887265852/75855132504505179832824640\ 434941148301*c_0101_3*c_0101_5^19 + 28675452090371513235627907644092822422333/7585513250450517983282464\ 0434941148301*c_0101_3*c_0101_5^18 + 35556281457963310608648077965384424857911/7585513250450517983282464\ 0434941148301*c_0101_3*c_0101_5^17 + 91113173449077400973276441302315623422719/1517102650090103596656492\ 80869882296602*c_0101_3*c_0101_5^16 - 189544482396192932208115698749863586069490/758551325045051798328246\ 40434941148301*c_0101_3*c_0101_5^15 + 379613081933886554842869084055688447018916/758551325045051798328246\ 40434941148301*c_0101_3*c_0101_5^14 - 610076968317400558621139338629154888286049/758551325045051798328246\ 40434941148301*c_0101_3*c_0101_5^13 + 950225813143527421091173203744869117293711/758551325045051798328246\ 40434941148301*c_0101_3*c_0101_5^12 - 1660670878595083405931702901981203695357597/75855132504505179832824\ 640434941148301*c_0101_3*c_0101_5^11 + 3594393618149196232204525845634171501198315/15171026500901035966564\ 9280869882296602*c_0101_3*c_0101_5^10 - 2664041920996169972741918981213623557538397/15171026500901035966564\ 9280869882296602*c_0101_3*c_0101_5^9 + 520953833780130652125153290536525180300323/758551325045051798328246\ 40434941148301*c_0101_3*c_0101_5^8 + 574998652827199591708519754976133972380967/151710265009010359665649\ 280869882296602*c_0101_3*c_0101_5^7 - 516468600628828728611814446282210801820633/758551325045051798328246\ 40434941148301*c_0101_3*c_0101_5^6 + 443006797600712758914374296858509186591426/758551325045051798328246\ 40434941148301*c_0101_3*c_0101_5^5 - 532262262597161257601813139213399140171397/151710265009010359665649\ 280869882296602*c_0101_3*c_0101_5^4 + 201127240450355988402937256343628952197025/151710265009010359665649\ 280869882296602*c_0101_3*c_0101_5^3 - 25952400387767548435599746067587394307200/7585513250450517983282464\ 0434941148301*c_0101_3*c_0101_5^2 + 4505722958695863772311087142616160729471/15171026500901035966564928\ 0869882296602*c_0101_3*c_0101_5 + 845592216039390808656234418919097\ 639960/75855132504505179832824640434941148301*c_0101_3, c_0101_1 - 20276781301022645039020726497582628246/758551325045051798328\ 24640434941148301*c_0101_5^21 - 23616337640915712449320404308831812\ 0663/75855132504505179832824640434941148301*c_0101_5^20 - 969738962287627879240278868182975490193/758551325045051798328246404\ 34941148301*c_0101_5^19 - 2906518565159610493550045496811286582201/\ 75855132504505179832824640434941148301*c_0101_5^18 - 4134009163345623211236582530482678297916/75855132504505179832824640\ 434941148301*c_0101_5^17 - 5564536167628409259250133947950497989529\ /75855132504505179832824640434941148301*c_0101_5^16 + 15425577681795522428599293634626765683065/7585513250450517983282464\ 0434941148301*c_0101_5^15 - 309032991784615809347500734932183363433\ 75/75855132504505179832824640434941148301*c_0101_5^14 + 49012514568392608715341855540749518540428/7585513250450517983282464\ 0434941148301*c_0101_5^13 - 762066994643434014790987543908774123729\ 66/75855132504505179832824640434941148301*c_0101_5^12 + 135673914693642846982041732613315759244571/758551325045051798328246\ 40434941148301*c_0101_5^11 - 13396725593225038130814158431606823110\ 3788/75855132504505179832824640434941148301*c_0101_5^10 + 97894818808134729757538811502574154507177/7585513250450517983282464\ 0434941148301*c_0101_5^9 - 3282565254763337610556274184419726434742\ 1/75855132504505179832824640434941148301*c_0101_5^8 - 27766584182711984982649709638953896537565/7585513250450517983282464\ 0434941148301*c_0101_5^7 + 3825451819354002826970595513678934660194\ 4/75855132504505179832824640434941148301*c_0101_5^6 - 34375811201710579712353133960389962760796/7585513250450517983282464\ 0434941148301*c_0101_5^5 + 1857235930968458172556874689884074879932\ 9/75855132504505179832824640434941148301*c_0101_5^4 - 6789034015753675881102510276052488350724/75855132504505179832824640\ 434941148301*c_0101_5^3 + 1639142812609040531525467696279637531946/\ 75855132504505179832824640434941148301*c_0101_5^2 - 29487164131100659940898667479035957853/7585513250450517983282464043\ 4941148301*c_0101_5 - 12171508859482616044373891615484171939/758551\ 32504505179832824640434941148301, c_0101_3^2 - 14942605758840401153111859159525802382/7585513250450517983\ 2824640434941148301*c_0101_5^21 - 177483578833931909601468238739507\ 651743/75855132504505179832824640434941148301*c_0101_5^20 - 755379763774017087573669277936744424291/758551325045051798328246404\ 34941148301*c_0101_5^19 - 2314112701156063475193748477110147309454/\ 75855132504505179832824640434941148301*c_0101_5^18 - 3573978675196771695099067535477799273622/75855132504505179832824640\ 434941148301*c_0101_5^17 - 4911589257838034588917187263621329391677\ /75855132504505179832824640434941148301*c_0101_5^16 + 10228070184957626105866151309381746221019/7585513250450517983282464\ 0434941148301*c_0101_5^15 - 204434261529756749452513977551204743902\ 03/75855132504505179832824640434941148301*c_0101_5^14 + 31149086009471930803507216547323818892920/7585513250450517983282464\ 0434941148301*c_0101_5^13 - 485327643934651160806870702962246256521\ 39/75855132504505179832824640434941148301*c_0101_5^12 + 88215573699237500536998213271678621716025/7585513250450517983282464\ 0434941148301*c_0101_5^11 - 775603846869380955337636758725501216777\ 28/75855132504505179832824640434941148301*c_0101_5^10 + 52793299086102245564643402722271693848269/7585513250450517983282464\ 0434941148301*c_0101_5^9 - 1024116032184438132243247714963252211982\ 0/75855132504505179832824640434941148301*c_0101_5^8 - 23294943993450832633850714105833809317911/7585513250450517983282464\ 0434941148301*c_0101_5^7 + 2212594960683005820319456261402405940444\ 6/75855132504505179832824640434941148301*c_0101_5^6 - 19084990294688385520416740205076725723651/7585513250450517983282464\ 0434941148301*c_0101_5^5 + 8520821164292997800993361072349562857601\ /75855132504505179832824640434941148301*c_0101_5^4 - 3003815622573479270289833756635728494323/75855132504505179832824640\ 434941148301*c_0101_5^3 + 611599276068795446787616312809875756568/7\ 5855132504505179832824640434941148301*c_0101_5^2 - 874779285296781248168582710967438927/758551325045051798328246404349\ 41148301*c_0101_5 - 26114859176043822132693949366458109871/75855132\ 504505179832824640434941148301, c_0101_5^22 + 11*c_0101_5^21 + 40*c_0101_5^20 + 109*c_0101_5^19 + 97*c_0101_5^18 + 100*c_0101_5^17 - 1000*c_0101_5^16 + 1935*c_0101_5^15 - 3184*c_0101_5^14 + 4910*c_0101_5^13 - 8474*c_0101_5^12 + 9941*c_0101_5^11 - 7308*c_0101_5^10 + 3071*c_0101_5^9 + 1426*c_0101_5^8 - 3013*c_0101_5^7 + 2398*c_0101_5^6 - 1502*c_0101_5^5 + 535*c_0101_5^4 - 110*c_0101_5^3 + 5*c_0101_5^2 + 12*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB