Magma V2.19-8 Tue Aug 20 2013 16:16:32 on localhost [Seed = 2084429989] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0816 geometric_solution 4.74857170 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384482012471 0.232735676513 2 0 3 0 0132 2310 0132 0132 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 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.712069253797 0.919464984074 1 4 3 3 0132 0132 3012 1230 0 0 0 0 0 0 1 -1 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 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.307654617706 1.220840540132 2 2 4 1 3012 1230 0132 0132 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 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 1.307654617706 1.220840540132 5 2 5 3 0132 0132 1023 0132 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 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.721740532394 0.765832084128 4 6 4 6 0132 0132 1023 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.657685492161 0.160867016870 6 5 6 5 2031 0132 1302 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.620559761925 0.051966557524 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : 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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 5540590718880060128047084535628997189/64492512885731856233973953918\ 05059200*c_0110_6^27 + 29912591216294006735628877353082758969/64492\ 5128857318562339739539180505920*c_0110_6^25 - 2751853205997982002004662509318175008653/32246256442865928116986976\ 95902529600*c_0110_6^23 + 60693900351656934267104534109417457851699\ /6449251288573185623397395391805059200*c_0110_6^21 - 70448226096378445904318834685006311184147/1289850257714637124679479\ 078361011840*c_0110_6^19 + 1136491202362327930566241206487682186674\ 73/644925128857318562339739539180505920*c_0110_6^17 - 1139581516744264396691264358891137274920177/32246256442865928116986\ 97695902529600*c_0110_6^15 + 37548334455617267807629756159285672950\ 0619/806156411071648202924674423975632400*c_0110_6^13 - 2601074780001987781450204423544071826001793/64492512885731856233973\ 95391805059200*c_0110_6^11 + 69447740003444582958521004648711549292\ 5259/3224625644286592811698697695902529600*c_0110_6^9 - 74551319279943919315879415268162403985679/1289850257714637124679479\ 078361011840*c_0110_6^7 + 3747286435620252393663915945688925549757/\ 1612312822143296405849348847951264800*c_0110_6^5 + 3083499066423814186940403379303877339831/64492512885731856233973953\ 91805059200*c_0110_6^3 + 565692162075196884766721605685122969873/16\ 12312822143296405849348847951264800*c_0110_6, c_0011_0 - 1, c_0011_1 - 593407839975895369972184660074343/20153910276791205073116860\ 5993908100*c_0110_6^26 + 3170403282072504452536655614402341/2015391\ 0276791205073116860599390810*c_0110_6^24 - 285906634078965956237087703032360101/100769551383956025365584302996\ 954050*c_0110_6^22 + 6187179837072587399515813744025537413/20153910\ 2767912050731168605993908100*c_0110_6^20 - 1375517178401073757188115664719853181/80615641107164820292467442397\ 56324*c_0110_6^18 + 10384249458426101399262927322033587059/20153910\ 276791205073116860599390810*c_0110_6^16 - 96664771969791981402995992273903581439/1007695513839560253655843029\ 96954050*c_0110_6^14 + 58516660018038944395849080446004687246/50384\ 775691978012682792151498477025*c_0110_6^12 - 182331017744606186523845862848311709491/201539102767912050731168605\ 993908100*c_0110_6^10 + 42164841172711094588911205547913014213/1007\ 69551383956025365584302996954050*c_0110_6^8 - 3625580392926136456604066604429504297/40307820553582410146233721198\ 781620*c_0110_6^6 + 202665262204292327673623950714429139/5038477569\ 1978012682792151498477025*c_0110_6^4 - 305862193763323283913853304993146783/201539102767912050731168605993\ 908100*c_0110_6^2 - 354395703881936332203226537785209/5038477569197\ 8012682792151498477025, c_0011_3 + 701095982624811808740487386472669/20153910276791205073116860\ 5993908100*c_0110_6^26 - 3756823682106384960447657632765479/2015391\ 0276791205073116860599390810*c_0110_6^24 + 340708926472603454396637278717624963/100769551383956025365584302996\ 954050*c_0110_6^22 - 7412464362301372198141158074027397479/20153910\ 2767912050731168605993908100*c_0110_6^20 + 8342061970953483383096719682405226547/40307820553582410146233721198\ 781620*c_0110_6^18 - 12835355984457534019241975898599915163/2015391\ 0276791205073116860599390810*c_0110_6^16 + 122044234103782850538511672331578131067/100769551383956025365584302\ 996954050*c_0110_6^14 - 75861793920192509679071841816746278898/5038\ 4775691978012682792151498477025*c_0110_6^12 + 245228368239298264205912426855406377953/201539102767912050731168605\ 993908100*c_0110_6^10 - 59901327710325206421320327016832553139/1007\ 69551383956025365584302996954050*c_0110_6^8 + 5681818039945784744386992831644653559/40307820553582410146233721198\ 781620*c_0110_6^6 - 385000722946046010196853413183110472/5038477569\ 1978012682792151498477025*c_0110_6^4 + 526794184734418345128064445592640549/201539102767912050731168605993\ 908100*c_0110_6^2 - 53502707094093839006920775185108833/50384775691\ 978012682792151498477025, c_0101_0 + 339337622015929335941586162585991/40307820553582410146233721\ 198781620*c_0110_6^27 - 4585786143799352232405312861633134/10076955\ 138395602536558430299695405*c_0110_6^25 + 33827942100890534128936343169381745/4030782055358241014623372119878\ 162*c_0110_6^23 - 3738016434994046870032979619512722481/40307820553\ 582410146233721198781620*c_0110_6^21 + 21789052977637886575696511062939224091/4030782055358241014623372119\ 8781620*c_0110_6^19 - 17672044245224755423682418094015031374/100769\ 55138395602536558430299695405*c_0110_6^17 + 71165169823507955904633183747293140551/2015391027679120507311686059\ 9390810*c_0110_6^15 - 9404043654379275222873206627248293155/2015391\ 027679120507311686059939081*c_0110_6^13 + 163156633390556235518416075665921369607/403078205535824101462337211\ 98781620*c_0110_6^11 - 21854421471402156623346799910155953626/10076\ 955138395602536558430299695405*c_0110_6^9 + 24004264883641110529632234442058362069/4030782055358241014623372119\ 8781620*c_0110_6^7 - 824811340187435814683117564830748243/201539102\ 76791205073116860599390810*c_0110_6^5 + 181434445178416174285794719893862267/403078205535824101462337211987\ 81620*c_0110_6^3 - 14304707367116635625962848266911723/403078205535\ 8241014623372119878162*c_0110_6, c_0101_3 + 471926290395163880532803594421283/50384775691978012682792151\ 498477025*c_0110_6^27 - 1018571839837622781122326675843292/20153910\ 27679120507311686059939081*c_0110_6^25 + 467985335437573163955817267834696752/503847756919780126827921514984\ 77025*c_0110_6^23 - 5153687652190857695587462893102346403/503847756\ 91978012682792151498477025*c_0110_6^21 + 5962806457710915127032042120554488698/10076955138395602536558430299\ 695405*c_0110_6^19 - 19110738066849543582225730059147111826/1007695\ 5138395602536558430299695405*c_0110_6^17 + 189496366718206006360831849837007156783/503847756919780126827921514\ 98477025*c_0110_6^15 - 245760461957088732522800634536389371009/5038\ 4775691978012682792151498477025*c_0110_6^13 + 207696675399883160352615394522340185521/503847756919780126827921514\ 98477025*c_0110_6^11 - 106272262782182068938156352359110144811/5038\ 4775691978012682792151498477025*c_0110_6^9 + 5135699163870296193301186497814024359/10076955138395602536558430299\ 695405*c_0110_6^7 + 54348440222580469138264861577289779/50384775691\ 978012682792151498477025*c_0110_6^5 - 276782125198837613680808395045939887/503847756919780126827921514984\ 77025*c_0110_6^3 - 97544271956099609362072230715281614/503847756919\ 78012682792151498477025*c_0110_6, c_0101_4 - 459376892927357537576781515026303/20153910276791205073116860\ 5993908100*c_0110_6^26 + 496410764955903880317583864257937/40307820\ 55358241014623372119878162*c_0110_6^24 - 228642734486620193954919440722610541/100769551383956025365584302996\ 954050*c_0110_6^22 + 5046750156445220310954928796084090173/20153910\ 2767912050731168605993908100*c_0110_6^20 - 5866561379736067198401954334467469453/40307820553582410146233721198\ 781620*c_0110_6^18 + 9456014426729001781096703338867420463/20153910\ 276791205073116860599390810*c_0110_6^16 - 94124863784785674749837775229506060539/1007695513839560253655843029\ 96954050*c_0110_6^14 + 61121774795840414487323475037964684461/50384\ 775691978012682792151498477025*c_0110_6^12 - 206470803904576728786253622298622308311/201539102767912050731168605\ 993908100*c_0110_6^10 + 52777233548430763885650204514778694913/1007\ 69551383956025365584302996954050*c_0110_6^8 - 5181957016409924509341622441983375289/40307820553582410146233721198\ 781620*c_0110_6^6 + 124756581507369413663067250617902684/5038477569\ 1978012682792151498477025*c_0110_6^4 + 198066008742377024120545984829628717/201539102767912050731168605993\ 908100*c_0110_6^2 + 20354239159649878194089382195618031/50384775691\ 978012682792151498477025, c_0110_6^28 - 54*c_0110_6^26 + 994*c_0110_6^24 - 10967*c_0110_6^22 + 63719*c_0110_6^20 - 206030*c_0110_6^18 + 414666*c_0110_6^16 - 549752*c_0110_6^14 + 481029*c_0110_6^12 - 262490*c_0110_6^10 + 74983*c_0110_6^8 - 5472*c_0110_6^6 - 291*c_0110_6^4 - 352*c_0110_6^2 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB