Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 846442227] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2224 geometric_solution 5.66481538 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 1.511840474665 0.557282178259 0 2 3 0 3201 0132 0132 0132 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 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.735861875435 0.400344040381 3 1 4 5 2103 0132 0132 0132 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 0 -1 0 1 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.861586869814 0.888572106883 4 5 2 1 1023 0132 2103 0132 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 -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.861586869814 0.888572106883 4 3 4 2 2310 1023 3201 0132 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 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 0.671683114931 0.746432209284 6 3 2 6 0132 0132 0132 1023 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 -1 1 -1 0 1 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.362659549313 0.380126099624 5 6 6 5 0132 1230 3012 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 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.741148076989 0.929085360898 ==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' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), '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' : d['c_0011_3'], '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_1001_1'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_1']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], '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_2, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 21635327591596973038882629/624535430758578154734272*c_1001_1^17 - 9548809389335447515932097/312267715379289077367136*c_1001_1^16 + 480781009895004187948494305/624535430758578154734272*c_1001_1^15 + 835466823232335680511955901/624535430758578154734272*c_1001_1^14 - 2919487527439966560876485161/624535430758578154734272*c_1001_1^13 - 3430750764509798230805803797/312267715379289077367136*c_1001_1^12 + 8507899480566233361880410695/624535430758578154734272*c_1001_1^11 + 13840046023343567441646814989/312267715379289077367136*c_1001_1^10 - 13724143869067299766500625237/624535430758578154734272*c_1001_1^9 - 67764501811724321437048723493/624535430758578154734272*c_1001_1^8 + 6348016242149264853321649089/312267715379289077367136*c_1001_1^7 + 113801809237376538720186486597/624535430758578154734272*c_1001_1^6 + 12682024014294056105492994275/312267715379289077367136*c_1001_1^5 - 41694198036610606289577907619/312267715379289077367136*c_1001_1^4 - 48101457516175264371883287315/624535430758578154734272*c_1001_1^3 + 5468829225518564541444590181/312267715379289077367136*c_1001_1^2 + 9849297335721126116448785737/312267715379289077367136*c_1001_1 + 393105603466747224154862535/39033464422411134670892, c_0011_0 - 1, c_0011_1 - 382068223057029184429/1375628702111405627168*c_1001_1^17 - 84203746582466549335/343907175527851406792*c_1001_1^16 + 8501725573989487616587/1375628702111405627168*c_1001_1^15 + 14749576357170391318779/1375628702111405627168*c_1001_1^14 - 51806257967706311429185/1375628702111405627168*c_1001_1^13 - 60720006857187327891525/687814351055702813584*c_1001_1^12 + 151702349661269587520101/1375628702111405627168*c_1001_1^11 + 30701915667105336095355/85976793881962851698*c_1001_1^10 - 246561837406030342730263/1375628702111405627168*c_1001_1^9 - 1205940056628611486401923/1375628702111405627168*c_1001_1^8 + 115730780028143723536789/687814351055702813584*c_1001_1^7 + 2029925784979378294410607/1375628702111405627168*c_1001_1^6 + 54924520335966740408411/171953587763925703396*c_1001_1^5 - 375783710341803613427693/343907175527851406792*c_1001_1^4 - 858581548579637440319307/1375628702111405627168*c_1001_1^3 + 50634967119343023010567/343907175527851406792*c_1001_1^2 + 22357928826867492573453/85976793881962851698*c_1001_1 + 3592313445031621234105/42988396940981425849, c_0011_3 + 247657950561339092031761/156133857689644538683568*c_1001_1^1\ 7 + 27387902272629356731811/19516732211205567335446*c_1001_1^16 - 5500866468708457147519319/156133857689644538683568*c_1001_1^15 - 9573141693207695041038587/156133857689644538683568*c_1001_1^14 + 33354516196675162946966145/156133857689644538683568*c_1001_1^13 + 39269485718134661608119343/78066928844822269341784*c_1001_1^12 - 96982879094153205480341873/156133857689644538683568*c_1001_1^11 - 79126064604725591449264607/39033464422411134670892*c_1001_1^10 + 155825619678738722978323779/156133857689644538683568*c_1001_1^9 + 774050462988613531738246835/156133857689644538683568*c_1001_1^8 - 71451693196076608693377167/78066928844822269341784*c_1001_1^7 - 1298833854948901363206187395/156133857689644538683568*c_1001_1^6 - 73390768900516323230521391/39033464422411134670892*c_1001_1^5 + 237001865911493251002828301/39033464422411134670892*c_1001_1^4 + 549500068497065881891357559/156133857689644538683568*c_1001_1^3 - 15349804565726543976368755/19516732211205567335446*c_1001_1^2 - 13963396020270418806084607/9758366105602783667723*c_1001_1 - 4462269155145192771906477/9758366105602783667723, c_0101_0 + 241823703250083702205/1375628702111405627168*c_1001_1^17 + 105502368387488398987/687814351055702813584*c_1001_1^16 - 5382586560190199292691/1375628702111405627168*c_1001_1^15 - 9286724589789106516257/1375628702111405627168*c_1001_1^14 + 32864674129953046934571/1375628702111405627168*c_1001_1^13 + 19139120838495147267335/343907175527851406792*c_1001_1^12 - 96636034276820635736625/1375628702111405627168*c_1001_1^11 - 154979859010787862446877/687814351055702813584*c_1001_1^10 + 158543874792641661080663/1375628702111405627168*c_1001_1^9 + 761501552832897966919681/1375628702111405627168*c_1001_1^8 - 38110552913369301938229/343907175527851406792*c_1001_1^7 - 1282649508304827128173891/1375628702111405627168*c_1001_1^6 - 134291512598575600372347/687814351055702813584*c_1001_1^5 + 238209094733542770490989/343907175527851406792*c_1001_1^4 + 537628784227357251568419/1375628702111405627168*c_1001_1^3 - 66732868750352147050019/687814351055702813584*c_1001_1^2 - 28397242194620682260335/171953587763925703396*c_1001_1 - 2190254121293954384261/42988396940981425849, c_0101_2 + 28855492157587070250697/39033464422411134670892*c_1001_1^17 + 104784485264180813513943/156133857689644538683568*c_1001_1^16 - 640140763330785023301547/39033464422411134670892*c_1001_1^15 - 4518181257868065089343117/156133857689644538683568*c_1001_1^14 + 15426960303239415411621167/156133857689644538683568*c_1001_1^13 + 36889428994478584046613399/156133857689644538683568*c_1001_1^12 - 22169029671750165632546877/78066928844822269341784*c_1001_1^11 - 148083413590306335550831447/156133857689644538683568*c_1001_1^10 + 4347767878070952221050297/9758366105602783667723*c_1001_1^9 + 360960762339426424727941025/156133857689644538683568*c_1001_1^8 - 60107792882797037003068379/156133857689644538683568*c_1001_1^7 - 302067059283697528722924907/78066928844822269341784*c_1001_1^6 - 146283856204295090306882549/156133857689644538683568*c_1001_1^5 + 108781761645092811666502861/39033464422411134670892*c_1001_1^4 + 32267515597020994461129935/19516732211205567335446*c_1001_1^3 - 52836413684518287503802447/156133857689644538683568*c_1001_1^2 - 6388338130279392279716992/9758366105602783667723*c_1001_1 - 2075454696965222541609115/9758366105602783667723, c_0101_6 - 991271573896189815570879/312267715379289077367136*c_1001_1^1\ 7 - 439171922459465530411087/156133857689644538683568*c_1001_1^16 + 22019841309106796057113009/312267715379289077367136*c_1001_1^15 + 38346003959818643669396127/312267715379289077367136*c_1001_1^14 - 133523600145306442934975701/312267715379289077367136*c_1001_1^13 - 9830393861046056986935596/9758366105602783667723*c_1001_1^12 + 388232209043822882021654355/312267715379289077367136*c_1001_1^11 + 633862004729707593559667445/156133857689644538683568*c_1001_1^10 - 623735263242987184118463117/312267715379289077367136*c_1001_1^9 - 3100571292008521225928463023/312267715379289077367136*c_1001_1^8 + 71506307100984974393366887/39033464422411134670892*c_1001_1^7 + 5202825128200253579282583625/312267715379289077367136*c_1001_1^6 + 587329342417570024662042331/156133857689644538683568*c_1001_1^5 - 949392665356032439184360715/78066928844822269341784*c_1001_1^4 - 2199695066505021721939034225/312267715379289077367136*c_1001_1^3 + 245285181994802395052415495/156133857689644538683568*c_1001_1^2 + 111890935577942543136462653/39033464422411134670892*c_1001_1 + 8947258374766670104822705/9758366105602783667723, c_1001_1^18 - 23*c_1001_1^16 - 19*c_1001_1^15 + 169*c_1001_1^14 + 198*c_1001_1^13 - 673*c_1001_1^12 - 932*c_1001_1^11 + 1763*c_1001_1^10 + 2571*c_1001_1^9 - 3350*c_1001_1^8 - 4739*c_1001_1^7 + 3468*c_1001_1^6 + 4884*c_1001_1^5 - 1177*c_1001_1^4 - 2464*c_1001_1^3 - 464*c_1001_1^2 + 512*c_1001_1 + 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB