Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 1427425722] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1919 geometric_solution 5.52167800 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 -1 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 2.179761581375 0.580950813593 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.028870812031 0.728374274104 4 1 5 3 0132 0132 0132 2031 0 0 0 0 0 1 -1 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 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.368349392650 0.587194269664 5 2 4 1 1023 1302 2310 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.368349392650 0.587194269664 2 3 4 4 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.233369483729 1.222103402602 6 3 6 2 0132 1023 2310 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 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.045839171679 0.745364237595 5 5 6 6 0132 3201 1230 3012 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 1 -1 0 0 1 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444628697824 0.311211627456 ==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' : 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_0101_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 179901769231902088004636391252226761/475619580072696517162058637306\ 3293*c_0101_5^18 + 2873905620834497896446301087420227504/4756195800\ 726965171620586373063293*c_0101_5^17 - 12162390435189865420968508127143366942/4756195800726965171620586373\ 063293*c_0101_5^16 - 1003989535373548572014063440553718360/47561958\ 00726965171620586373063293*c_0101_5^15 + 64285567145094774950458815390644122874/4756195800726965171620586373\ 063293*c_0101_5^14 - 2508103228204443840919419974647064320/47561958\ 00726965171620586373063293*c_0101_5^13 - 73711808511908499794516724371253687364/4756195800726965171620586373\ 063293*c_0101_5^12 - 266975860446919858803456171288912750861/475619\ 5800726965171620586373063293*c_0101_5^11 + 28388123667666781534636171811325698046/4756195800726965171620586373\ 063293*c_0101_5^10 + 642575218882302232317368925907007571280/475619\ 5800726965171620586373063293*c_0101_5^9 + 17682085377734516548854093575012829380/4756195800726965171620586373\ 063293*c_0101_5^8 - 215886418914897481368535105188728340676/4756195\ 800726965171620586373063293*c_0101_5^7 - 164521983546668105628989314337713879243/475619580072696517162058637\ 3063293*c_0101_5^6 - 173401748147629668376167859387221860766/475619\ 5800726965171620586373063293*c_0101_5^5 + 75680204888707297851931615977025833393/4756195800726965171620586373\ 063293*c_0101_5^4 + 39651377662505428117275928731394154152/47561958\ 00726965171620586373063293*c_0101_5^3 - 5141653732237885029851705382656811916/47561958007269651716205863730\ 63293*c_0101_5^2 + 12561106820719311968722451315024445846/475619580\ 0726965171620586373063293*c_0101_5 + 1535716381847918790040236492494358969/47561958007269651716205863730\ 63293, c_0011_0 - 1, c_0011_3 + 216073753610189782995186652118816/47561958007269651716205863\ 73063293*c_0101_5^18 - 3472052484598759771251244602281387/475619580\ 0726965171620586373063293*c_0101_5^17 + 14926577205671603746036652602194142/4756195800726965171620586373063\ 293*c_0101_5^16 - 85691030411508448296540005327798/4756195800726965\ 171620586373063293*c_0101_5^15 - 7757267161998999218853762564321297\ 6/4756195800726965171620586373063293*c_0101_5^14 + 9719651823019796859232491122126186/47561958007269651716205863730632\ 93*c_0101_5^13 + 90063509914315963741649796432917573/47561958007269\ 65171620586373063293*c_0101_5^12 + 314815311263695506660084593120635716/475619580072696517162058637306\ 3293*c_0101_5^11 - 65448517451385155338634390546480211/475619580072\ 6965171620586373063293*c_0101_5^10 - 778515774002195249842708006334289034/475619580072696517162058637306\ 3293*c_0101_5^9 + 38884115351859254798137116998656150/4756195800726\ 965171620586373063293*c_0101_5^8 + 277487005667987394450616327563540431/475619580072696517162058637306\ 3293*c_0101_5^7 + 195567786633594456089686127671021195/475619580072\ 6965171620586373063293*c_0101_5^6 + 193114338644589441117369063050182643/475619580072696517162058637306\ 3293*c_0101_5^5 - 115477982489419342028981842010579390/475619580072\ 6965171620586373063293*c_0101_5^4 - 58368585735732735037689306073649392/4756195800726965171620586373063\ 293*c_0101_5^3 + 6099855804990952433103743291935981/475619580072696\ 5171620586373063293*c_0101_5^2 - 1521512061872301112109547104568797\ 9/4756195800726965171620586373063293*c_0101_5 - 250595389968841394397549787122768/475619580072696517162058637306329\ 3, c_0101_0 - 245828527515428515818363601457835/47561958007269651716205863\ 73063293*c_0101_5^18 + 3842971100186328107323408551780444/475619580\ 0726965171620586373063293*c_0101_5^17 - 15261741097739691865467169346111086/4756195800726965171620586373063\ 293*c_0101_5^16 - 7281165836933947487553385159408003/47561958007269\ 65171620586373063293*c_0101_5^15 + 88297117842346095029950199086590693/4756195800726965171620586373063\ 293*c_0101_5^14 + 26801470078543361273003099874847667/4756195800726\ 965171620586373063293*c_0101_5^13 - 106687549936326792425320764030883483/475619580072696517162058637306\ 3293*c_0101_5^12 - 400013394811238696662587497983960261/47561958007\ 26965171620586373063293*c_0101_5^11 - 81508593081916718190590713728720810/4756195800726965171620586373063\ 293*c_0101_5^10 + 914306045061007524115001152525940212/475619580072\ 6965171620586373063293*c_0101_5^9 + 328128058378424424501720628072261769/475619580072696517162058637306\ 3293*c_0101_5^8 - 332834429720192063084364466226166945/475619580072\ 6965171620586373063293*c_0101_5^7 - 340147562419590520657680352923913687/475619580072696517162058637306\ 3293*c_0101_5^6 - 315350869564133164672517389870826152/475619580072\ 6965171620586373063293*c_0101_5^5 + 41243122319041295033237806124437680/4756195800726965171620586373063\ 293*c_0101_5^4 + 111219777652899454782203206679311507/4756195800726\ 965171620586373063293*c_0101_5^3 + 12177190625260692493786609928859944/4756195800726965171620586373063\ 293*c_0101_5^2 + 16811910783326251660543808713269515/47561958007269\ 65171620586373063293*c_0101_5 + 4200435745425772811383999674689423/\ 4756195800726965171620586373063293, c_0101_1 - 453945948112819335674348969120926/47561958007269651716205863\ 73063293*c_0101_5^18 + 7331430859668552233324294421285513/475619580\ 0726965171620586373063293*c_0101_5^17 - 31963531775645207954250420825945508/4756195800726965171620586373063\ 293*c_0101_5^16 + 2875581294566534357655709012971009/47561958007269\ 65171620586373063293*c_0101_5^15 + 162497233442696270655070992666959743/475619580072696517162058637306\ 3293*c_0101_5^14 - 34401793802961125952843634612795848/475619580072\ 6965171620586373063293*c_0101_5^13 - 184568963660407219901284795461181167/475619580072696517162058637306\ 3293*c_0101_5^12 - 642738632766266516490154190949927029/47561958007\ 26965171620586373063293*c_0101_5^11 + 189618439447224942871724080732961060/475619580072696517162058637306\ 3293*c_0101_5^10 + 1607094940659249471587225166552597759/4756195800\ 726965171620586373063293*c_0101_5^9 - 232819038422873898850440662027237499/475619580072696517162058637306\ 3293*c_0101_5^8 - 546890276929687141036997128726399433/475619580072\ 6965171620586373063293*c_0101_5^7 - 326792257610724643187635155240956861/475619580072696517162058637306\ 3293*c_0101_5^6 - 358374688381918894710749159645156677/475619580072\ 6965171620586373063293*c_0101_5^5 + 255458296616651987304607001759129461/475619580072696517162058637306\ 3293*c_0101_5^4 + 56707769245698375246923811636194588/4756195800726\ 965171620586373063293*c_0101_5^3 - 25579001440690581220470333591580121/4756195800726965171620586373063\ 293*c_0101_5^2 + 33900716567723795519725807401988657/47561958007269\ 65171620586373063293*c_0101_5 + 1192887249748185987485297265408587/\ 4756195800726965171620586373063293, c_0101_2 + 17166871655387172250360300669825/475619580072696517162058637\ 3063293*c_0101_5^18 - 270545067024936359138448900850042/47561958007\ 26965171620586373063293*c_0101_5^17 + 1131815874794139430592102857408880/47561958007269651716205863730632\ 93*c_0101_5^16 - 144122964913334477721867391872141/4756195800726965\ 171620586373063293*c_0101_5^15 - 3952221331545362539926807210737235\ /4756195800726965171620586373063293*c_0101_5^14 - 1557665092368404129031757135092241/47561958007269651716205863730632\ 93*c_0101_5^13 - 2824293769090087080616861357607979/475619580072696\ 5171620586373063293*c_0101_5^12 + 293126942108837950093062943422232\ 20/4756195800726965171620586373063293*c_0101_5^11 + 11087816654800535162073997503722013/4756195800726965171620586373063\ 293*c_0101_5^10 - 17696565013996869093167916037294991/4756195800726\ 965171620586373063293*c_0101_5^9 - 26181121569867954504916395639175274/4756195800726965171620586373063\ 293*c_0101_5^8 - 69250377590042094707405398142754236/47561958007269\ 65171620586373063293*c_0101_5^7 + 321257524463100098560337735461812\ 07/4756195800726965171620586373063293*c_0101_5^6 + 21832481017025328529666410560493276/4756195800726965171620586373063\ 293*c_0101_5^5 + 27606579852107439899784030791001732/47561958007269\ 65171620586373063293*c_0101_5^4 + 127393035371291284489765798618444\ 04/4756195800726965171620586373063293*c_0101_5^3 - 10576091251042433316573966929299259/4756195800726965171620586373063\ 293*c_0101_5^2 + 2116131445113063407422167982127648/475619580072696\ 5171620586373063293*c_0101_5 - 947611002945407246185416106999745/47\ 56195800726965171620586373063293, c_0101_4 + 39741427699227473421748495325601/475619580072696517162058637\ 3063293*c_0101_5^18 - 710279973204744713451634865106045/47561958007\ 26965171620586373063293*c_0101_5^17 + 3926748274812215311565735598942655/47561958007269651716205863730632\ 93*c_0101_5^16 - 5444983965847741011570298176332388/475619580072696\ 5171620586373063293*c_0101_5^15 - 121424770174551260212387677594122\ 80/4756195800726965171620586373063293*c_0101_5^14 + 27142854485226215732467936714421263/4756195800726965171620586373063\ 293*c_0101_5^13 + 3437521466276615255043381795285627/47561958007269\ 65171620586373063293*c_0101_5^12 + 30469608701599880920237284459649903/4756195800726965171620586373063\ 293*c_0101_5^11 - 107522831513764824486597057419421012/475619580072\ 6965171620586373063293*c_0101_5^10 - 79824875124093672848182673746735775/4756195800726965171620586373063\ 293*c_0101_5^9 + 253076791271151354014392389038859098/4756195800726\ 965171620586373063293*c_0101_5^8 - 53657740851714750634577628181353779/4756195800726965171620586373063\ 293*c_0101_5^7 - 36667140599451867938940792538923549/47561958007269\ 65171620586373063293*c_0101_5^6 - 131007418638036201828829440593042\ 49/4756195800726965171620586373063293*c_0101_5^5 - 55920157220745677648578971477445642/4756195800726965171620586373063\ 293*c_0101_5^4 + 41620323707828677799626857356591727/47561958007269\ 65171620586373063293*c_0101_5^3 - 108923533889220923727135916784716\ 5/4756195800726965171620586373063293*c_0101_5^2 - 5377958164168707099709677304706909/47561958007269651716205863730632\ 93*c_0101_5 + 2584110849310295386249995620900184/475619580072696517\ 1620586373063293, c_0101_5^19 - 16*c_0101_5^18 + 68*c_0101_5^17 + 4*c_0101_5^16 - 358*c_0101_5^15 + 23*c_0101_5^14 + 412*c_0101_5^13 + 1473*c_0101_5^12 - 198*c_0101_5^11 - 3578*c_0101_5^10 - 5*c_0101_5^9 + 1228*c_0101_5^8 + 879*c_0101_5^7 + 933*c_0101_5^6 - 449*c_0101_5^5 - 216*c_0101_5^4 + 38*c_0101_5^3 - 70*c_0101_5^2 - 7*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB