Magma V2.19-8 Tue Aug 20 2013 16:18:24 on localhost [Seed = 4189611208] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2600 geometric_solution 5.88745531 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 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 -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.406219734880 0.611513809718 0 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.217614882328 0.905551674143 4 0 5 3 0132 0132 0132 3012 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 1 -1 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.217614882328 0.905551674143 0 1 2 0 3201 1230 1230 0132 0 0 0 0 0 -1 0 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 -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.684029659436 0.696840280130 2 1 6 6 0132 0132 0132 2310 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 0 0 0 -0.179687414257 1.560088090582 5 5 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -1 0 1 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 0.150855099754 1.463582167993 4 6 6 4 3201 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.530998345845 0.595668017427 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(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' : 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' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_1001_3']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_5']), '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_0011_5, c_0011_6, c_0101_0, c_0101_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 2564312960631245319034578349612296563/11496220584286801702650496615\ 75749932430*c_1001_3^17 + 40705466791355053307122599625422707219/11\ 49622058428680170265049661575749932430*c_1001_3^16 + 323398581796925336246363993984225635997/114962205842868017026504966\ 1575749932430*c_1001_3^15 - 205278230951126324484588958256287868654\ /191603676404780028377508276929291655405*c_1001_3^14 - 1189046146353464667717964804514288896237/19160367640478002837750827\ 6929291655405*c_1001_3^13 - 144642969471445008974564884951847719977\ 2/574811029214340085132524830787874966215*c_1001_3^12 + 8365012906847946174914850757047794624873/38320735280956005675501655\ 3858583310810*c_1001_3^11 + 476364676725559544772737242884113829637\ 8/63867892134926676125836092309763885135*c_1001_3^10 - 124877275597105122990327612059435295061/134458720284056160264918089\ 0731871266*c_1001_3^9 - 93354618658373077860930459969186953120779/3\ 83207352809560056755016553858583310810*c_1001_3^8 + 247315155942329103201642822207392123482267/114962205842868017026504\ 9661575749932430*c_1001_3^7 + 8923475713485031494775669538626668986\ 2051/229924411685736034053009932315149986486*c_1001_3^6 - 138242571780811727183120363283182103264832/574811029214340085132524\ 830787874966215*c_1001_3^5 - 38660885329349420867839811147108162660\ 435/114962205842868017026504966157574993243*c_1001_3^4 + 25346258432262630180358154914219526218075/2299244116857360340530099\ 32315149986486*c_1001_3^3 + 527506475471333809096650641932987281080\ 41/383207352809560056755016553858583310810*c_1001_3^2 - 8056008569584610104155432754599555895573/11496220584286801702650496\ 61575749932430*c_1001_3 - 2901632300237280478064408697876147583661/\ 191603676404780028377508276929291655405, c_0011_0 - 1, c_0011_3 + 49684362007443287904945187107154/491922147380693269261895447\ 82873339*c_1001_3^17 + 174114139595176199484304640586614/4919221473\ 8069326926189544782873339*c_1001_3^16 - 1622640068525573053301394562248532/49192214738069326926189544782873\ 339*c_1001_3^15 - 1450864123533464645733073405136189/16397404912689\ 775642063181594291113*c_1001_3^14 + 890155934468177012267947927726684/163974049126897756420631815942911\ 13*c_1001_3^13 + 9701420154338769789619593914972798/491922147380693\ 26926189544782873339*c_1001_3^12 + 9896273372509329852751904914953307/16397404912689775642063181594291\ 113*c_1001_3^11 - 51357318741920993261380038099117167/1639740491268\ 9775642063181594291113*c_1001_3^10 + 27634990035748403340720488727179973/1639740491268977564206318159429\ 1113*c_1001_3^9 + 112967153908127672145869540835461522/163974049126\ 89775642063181594291113*c_1001_3^8 - 356519960712353692264596211298662175/491922147380693269261895447828\ 73339*c_1001_3^7 - 377780174618880856334656018598688061/49192214738\ 069326926189544782873339*c_1001_3^6 + 477432559472801547115441714743688774/491922147380693269261895447828\ 73339*c_1001_3^5 + 227304388806592086956655774722955016/49192214738\ 069326926189544782873339*c_1001_3^4 - 218345137055177165739097318989558685/491922147380693269261895447828\ 73339*c_1001_3^3 - 9138871541808679124023264327478613/1639740491268\ 9775642063181594291113*c_1001_3^2 + 9615710972052686124001839294913220/49192214738069326926189544782873\ 339*c_1001_3 - 24392743281369488731289584228658129/1639740491268977\ 5642063181594291113, c_0011_5 + 81291608852354664146816581983868/163974049126897756420631815\ 94291113*c_1001_3^17 + 349678801585918644238989101149124/1639740491\ 2689775642063181594291113*c_1001_3^16 - 2562788698392090023937659805328938/16397404912689775642063181594291\ 113*c_1001_3^15 - 10164485445032752429968360434271942/1639740491268\ 9775642063181594291113*c_1001_3^14 + 984014472269422405868560752176947/163974049126897756420631815942911\ 13*c_1001_3^13 + 44358772036140382636737217705090014/16397404912689\ 775642063181594291113*c_1001_3^12 + 113578759354240247747378670241455555/163974049126897756420631815942\ 91113*c_1001_3^11 - 214753783515944105575297141536761510/1639740491\ 2689775642063181594291113*c_1001_3^10 - 331130342440562763343420834218882410/163974049126897756420631815942\ 91113*c_1001_3^9 + 440245449224542197526915672567436828/16397404912\ 689775642063181594291113*c_1001_3^8 + 497611719232866458859636593381385001/163974049126897756420631815942\ 91113*c_1001_3^7 - 420160643427225824422290781609220012/16397404912\ 689775642063181594291113*c_1001_3^6 - 392477712959682835342432471014945094/163974049126897756420631815942\ 91113*c_1001_3^5 + 112346396979049824015225707514033049/16397404912\ 689775642063181594291113*c_1001_3^4 + 111013784911225128963568188414325509/163974049126897756420631815942\ 91113*c_1001_3^3 + 19310963079767897577860769397909026/163974049126\ 89775642063181594291113*c_1001_3^2 + 47400120693454613368401599407414575/1639740491268977564206318159429\ 1113*c_1001_3 + 13004975163865787842238325239399902/163974049126897\ 75642063181594291113, c_0011_6 + 299079477421447460526144759920879/49192214738069326926189544\ 782873339*c_1001_3^17 + 1569292788607900774611054263304037/49192214\ 738069326926189544782873339*c_1001_3^16 - 7927546349479971539655215332247576/49192214738069326926189544782873\ 339*c_1001_3^15 - 14877206177143175824958502036082436/1639740491268\ 9775642063181594291113*c_1001_3^14 - 12703685640597938185330099835189704/1639740491268977564206318159429\ 1113*c_1001_3^13 + 120418720331080915773667340005636132/49192214738\ 069326926189544782873339*c_1001_3^12 + 167928025991265150750734225576611604/163974049126897756420631815942\ 91113*c_1001_3^11 - 112349187274864020130345067011969302/1639740491\ 2689775642063181594291113*c_1001_3^10 - 487466204920923145180092476500146794/163974049126897756420631815942\ 91113*c_1001_3^9 + 164605677993796089271327183358016111/16397404912\ 689775642063181594291113*c_1001_3^8 + 2114078089176618784411581516696787007/49192214738069326926189544782\ 873339*c_1001_3^7 - 208996756846260420268671930415724375/4919221473\ 8069326926189544782873339*c_1001_3^6 - 1443885197572919179859617614266978014/49192214738069326926189544782\ 873339*c_1001_3^5 - 155890721505492689130208822688474803/4919221473\ 8069326926189544782873339*c_1001_3^4 + 280189730177474374002104989024166662/491922147380693269261895447828\ 73339*c_1001_3^3 - 9009420517490118175990013733134434/1639740491268\ 9775642063181594291113*c_1001_3^2 + 72454277513251508280189612345731323/4919221473806932692618954478287\ 3339*c_1001_3 + 22869142464427724157480919700797331/163974049126897\ 75642063181594291113, c_0101_0 + 87997370807841399609701698889554/163974049126897756420631815\ 94291113*c_1001_3^17 + 380511483572098091733238987541975/1639740491\ 2689775642063181594291113*c_1001_3^16 - 2758438374827758752609971693757095/16397404912689775642063181594291\ 113*c_1001_3^15 - 11029732153366965886651402046668790/1639740491268\ 9775642063181594291113*c_1001_3^14 + 615914597970160518005924253053964/163974049126897756420631815942911\ 13*c_1001_3^13 + 47020578110281528501888526212881346/16397404912689\ 775642063181594291113*c_1001_3^12 + 123390410801237871978986624911394967/163974049126897756420631815942\ 91113*c_1001_3^11 - 226653457178755646297087952274721455/1639740491\ 2689775642063181594291113*c_1001_3^10 - 352285205762273326302471538160634809/163974049126897756420631815942\ 91113*c_1001_3^9 + 457874934000880153378082144386819551/16397404912\ 689775642063181594291113*c_1001_3^8 + 516998230611486334376670720331967492/163974049126897756420631815942\ 91113*c_1001_3^7 - 423349893103680948664125143679503216/16397404912\ 689775642063181594291113*c_1001_3^6 - 400069750828501163269922084771748308/163974049126897756420631815942\ 91113*c_1001_3^5 + 111447585205082140523629137806271849/16397404912\ 689775642063181594291113*c_1001_3^4 + 104725565540919168643089528343406550/163974049126897756420631815942\ 91113*c_1001_3^3 + 17463136650939498614596371139978373/163974049126\ 89775642063181594291113*c_1001_3^2 + 40664519965505158263053728653921758/1639740491268977564206318159429\ 1113*c_1001_3 + 12964390600661240773001116022179847/163974049126897\ 75642063181594291113, c_0101_1 + 39180363600208950015756934563952/491922147380693269261895447\ 82873339*c_1001_3^17 + 342633535658034714003884744783204/4919221473\ 8069326926189544782873339*c_1001_3^16 - 559890069347737758497728043253940/491922147380693269261895447828733\ 39*c_1001_3^15 - 3550647653289904105303940659525715/163974049126897\ 75642063181594291113*c_1001_3^14 - 6249312058731546442774672905663136/16397404912689775642063181594291\ 113*c_1001_3^13 + 31122898742980669303198557210641786/4919221473806\ 9326926189544782873339*c_1001_3^12 + 47564861591806534685045164179841717/1639740491268977564206318159429\ 1113*c_1001_3^11 + 32842511109110956187281003784073267/163974049126\ 89775642063181594291113*c_1001_3^10 - 235228398825729347483988583333127496/163974049126897756420631815942\ 91113*c_1001_3^9 - 82977189751985854508032354583917281/163974049126\ 89775642063181594291113*c_1001_3^8 + 1353133652389894902390404396440467064/49192214738069326926189544782\ 873339*c_1001_3^7 + 357357062427938561022413960769179246/4919221473\ 8069326926189544782873339*c_1001_3^6 - 1238170918391882488742315321247422015/49192214738069326926189544782\ 873339*c_1001_3^5 - 375878924534483463227425581088272695/4919221473\ 8069326926189544782873339*c_1001_3^4 + 356346700819526693743990667768302658/491922147380693269261895447828\ 73339*c_1001_3^3 + 61477673086354898430249235369401236/163974049126\ 89775642063181594291113*c_1001_3^2 + 74913361986685161350658361599421943/4919221473806932692618954478287\ 3339*c_1001_3 + 23706444448135763432213164588267048/163974049126897\ 75642063181594291113, c_1001_3^18 + 5*c_1001_3^17 - 28*c_1001_3^16 - 144*c_1001_3^15 - 87*c_1001_3^14 + 470*c_1001_3^13 + 1656*c_1001_3^12 - 1557*c_1001_3^11 - 5004*c_1001_3^10 + 2589*c_1001_3^9 + 7633*c_1001_3^8 - 1522*c_1001_3^7 - 5837*c_1001_3^6 - 581*c_1001_3^5 + 1415*c_1001_3^4 + 339*c_1001_3^3 + 413*c_1001_3^2 + 315*c_1001_3 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB