Magma V2.19-8 Tue Aug 20 2013 23:38:15 on localhost [Seed = 3330319078] Type ? for help. Type -D to quit. Loading file "K12a716__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a716 geometric_solution 7.51094530 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 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 -1 1 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413469454089 0.252941505130 0 5 5 6 0132 0132 0321 0132 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 14 -15 1 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.780582570147 0.568932006405 6 0 6 7 3012 0132 1302 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 1 -1 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.232693832561 1.438499162356 7 7 5 0 3012 0132 1230 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 1 -1 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.944020007820 0.897310947395 5 8 0 8 0321 0132 0132 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 1.429732122839 3.517999417460 4 1 1 3 0321 0132 0321 3012 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 -14 15 -1 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.780582570147 0.568932006405 2 7 1 2 2031 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 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.890415863755 0.677442485092 6 3 2 3 1023 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.443496226064 0.528968585923 9 4 9 4 0132 0132 1023 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.431228996632 0.238350257879 8 9 8 9 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560717415507 0.049040373439 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_3'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_8'], 'c_1001_8' : d['c_0101_9'], 's_2_8' : d['1'], 's_2_9' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : negation(d['c_0011_4']), 'c_1100_8' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : d['c_0101_0'], 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_0'], 'c_1010_7' : d['c_0101_3'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_9'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_0011_0']), '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_4'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : d['c_0101_8'], 'c_0110_8' : d['c_0101_9'], '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_0101_7'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0011_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_7, c_0101_8, c_0101_9, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 497697776686744833837694536/41738179122045619240063553*c_1001_0^20 + 1735715368408798625110230640/41738179122045619240063553*c_1001_0^19 + 1865961307345623426659374464/41738179122045619240063553*c_1001_0^\ 18 - 1507486376564825298635341376/41738179122045619240063553*c_1001\ _0^17 + 1796471895943934142520306373/41738179122045619240063553*c_1\ 001_0^16 + 20159995828382426514844317863/41738179122045619240063553\ *c_1001_0^15 + 24891011213869057270209284116/4173817912204561924006\ 3553*c_1001_0^14 - 1706868114123388734200237768/3794379920185965385\ 460323*c_1001_0^13 - 26422102960434193810734458213/4173817912204561\ 9240063553*c_1001_0^12 + 6825692050631993551638638794/3794379920185\ 965385460323*c_1001_0^11 + 143370929478607272576412909878/417381791\ 22045619240063553*c_1001_0^10 + 15144534447220737389267822842/41738\ 179122045619240063553*c_1001_0^9 - 69932716708091200510927861330/41738179122045619240063553*c_1001_0^8 + 73546326047292926562949009406/41738179122045619240063553*c_1001_0\ ^7 + 178596709496947069171303587862/41738179122045619240063553*c_10\ 01_0^6 + 51170680263127522457863692570/41738179122045619240063553*c\ _1001_0^5 - 57054363071970589300654790050/4173817912204561924006355\ 3*c_1001_0^4 - 37054831263611185912461790684/4173817912204561924006\ 3553*c_1001_0^3 + 7196324555841255143619783409/41738179122045619240\ 063553*c_1001_0^2 + 4489217577140356248748017211/417381791220456192\ 40063553*c_1001_0 - 860297466255066552817341333/4173817912204561924\ 0063553, c_0011_0 - 1, c_0011_3 - 187770275460294300382/12882698781413170631*c_1001_0^20 - 608156472687905845138/12882698781413170631*c_1001_0^19 - 522188278613937912388/12882698781413170631*c_1001_0^18 + 810528509223348348308/12882698781413170631*c_1001_0^17 - 746638355043161559428/12882698781413170631*c_1001_0^16 - 7494027410547034283372/12882698781413170631*c_1001_0^15 - 7432968249293751215132/12882698781413170631*c_1001_0^14 + 10192556347099599367181/12882698781413170631*c_1001_0^13 + 9172392388720266667872/12882698781413170631*c_1001_0^12 - 31513319166447358580186/12882698781413170631*c_1001_0^11 - 48074610538910550178252/12882698781413170631*c_1001_0^10 + 10617695646140784575591/12882698781413170631*c_1001_0^9 + 33321193656770255574466/12882698781413170631*c_1001_0^8 - 33690545470843491369600/12882698781413170631*c_1001_0^7 - 63126405519653903897350/12882698781413170631*c_1001_0^6 + 368958913032039515248/12882698781413170631*c_1001_0^5 + 33075434891440559261694/12882698781413170631*c_1001_0^4 + 10521510969390120446960/12882698781413170631*c_1001_0^3 - 8230476512668500619194/12882698781413170631*c_1001_0^2 - 2159167378408641959811/12882698781413170631*c_1001_0 + 754787103804599694046/12882698781413170631, c_0011_4 + 135274979557893319020/12882698781413170631*c_1001_0^20 + 447252771036253754276/12882698781413170631*c_1001_0^19 + 404118394769395465388/12882698781413170631*c_1001_0^18 - 562254421566054296256/12882698781413170631*c_1001_0^17 + 498672207840238091892/12882698781413170631*c_1001_0^16 + 5445396399766045424644/12882698781413170631*c_1001_0^15 + 5705374445408852220976/12882698781413170631*c_1001_0^14 - 7037952697948124530136/12882698781413170631*c_1001_0^13 - 7107429623865556570888/12882698781413170631*c_1001_0^12 + 22391601425515164078896/12882698781413170631*c_1001_0^11 + 36152325224423856532533/12882698781413170631*c_1001_0^10 - 5630076379515664809112/12882698781413170631*c_1001_0^9 - 24664851662773543793021/12882698781413170631*c_1001_0^8 + 23061699539451010864692/12882698781413170631*c_1001_0^7 + 47245385856111260239584/12882698781413170631*c_1001_0^6 + 2318303584047472597816/12882698781413170631*c_1001_0^5 - 24043053438889112041071/12882698781413170631*c_1001_0^4 - 8777556702088837102924/12882698781413170631*c_1001_0^3 + 5601023774811500486535/12882698781413170631*c_1001_0^2 + 1857692724981225535672/12882698781413170631*c_1001_0 - 519528318375467481693/12882698781413170631, c_0101_0 + 83991557189755901026/12882698781413170631*c_1001_0^20 + 278972178284374234790/12882698781413170631*c_1001_0^19 + 255413410585945871190/12882698781413170631*c_1001_0^18 - 344329907460036233844/12882698781413170631*c_1001_0^17 + 305352368478573287166/12882698781413170631*c_1001_0^16 + 3384946772128304678644/12882698781413170631*c_1001_0^15 + 3594982649347940003800/12882698781413170631*c_1001_0^14 - 4304944816538363171976/12882698781413170631*c_1001_0^13 - 4465885974896354106595/12882698781413170631*c_1001_0^12 + 13826224643152137539008/12882698781413170631*c_1001_0^11 + 22645514329142863354057/12882698781413170631*c_1001_0^10 - 3114388112241896128154/12882698781413170631*c_1001_0^9 - 15291466473760644934409/12882698781413170631*c_1001_0^8 + 14098938583870915526796/12882698781413170631*c_1001_0^7 + 29522802579046230230394/12882698781413170631*c_1001_0^6 + 1922792591554540389998/12882698781413170631*c_1001_0^5 - 14815457135223394853060/12882698781413170631*c_1001_0^4 - 5634841804579282524464/12882698781413170631*c_1001_0^3 + 3373443814450034701235/12882698781413170631*c_1001_0^2 + 1167331513184948964824/12882698781413170631*c_1001_0 - 304760536200066649599/12882698781413170631, c_0101_1 + 214767782175400832094/12882698781413170631*c_1001_0^20 + 695586768894339914276/12882698781413170631*c_1001_0^19 + 597816157102681183674/12882698781413170631*c_1001_0^18 - 925133926693554566272/12882698781413170631*c_1001_0^17 + 855914396770986098058/12882698781413170631*c_1001_0^16 + 8569263344202297256392/12882698781413170631*c_1001_0^15 + 8503483092899765708820/12882698781413170631*c_1001_0^14 - 11634746263164741036840/12882698781413170631*c_1001_0^13 - 10464648039724191313544/12882698781413170631*c_1001_0^12 + 36016657142602947312627/12882698781413170631*c_1001_0^11 + 54955217732249606272192/12882698781413170631*c_1001_0^10 - 12050555183591705840710/12882698781413170631*c_1001_0^9 - 37952372326214905976468/12882698781413170631*c_1001_0^8 + 38519830236101486698350/12882698781413170631*c_1001_0^7 + 72104488915147939973532/12882698781413170631*c_1001_0^6 - 317910425668639886706/12882698781413170631*c_1001_0^5 - 37618386452553015072820/12882698781413170631*c_1001_0^4 - 12019577471945928005233/12882698781413170631*c_1001_0^3 + 9313816468663693682992/12882698781413170631*c_1001_0^2 + 2442347742536866617394/12882698781413170631*c_1001_0 - 813013263431529253810/12882698781413170631, c_0101_3 - 202656993403120352446/12882698781413170631*c_1001_0^20 - 656955193430262648658/12882698781413170631*c_1001_0^19 - 565800947825876406196/12882698781413170631*c_1001_0^18 + 871892362753996414786/12882698781413170631*c_1001_0^17 - 805034617259958710074/12882698781413170631*c_1001_0^16 - 8089891451053749718885/12882698781413170631*c_1001_0^15 - 8046024201399969147452/12882698781413170631*c_1001_0^14 + 10963859113811951531978/12882698781413170631*c_1001_0^13 + 9908662743947042690724/12882698781413170631*c_1001_0^12 - 33976349611285666045032/12882698781413170631*c_1001_0^11 - 51957684027535571948580/12882698781413170631*c_1001_0^10 + 11267860867448353983804/12882698781413170631*c_1001_0^9 + 35873737734076169051294/12882698781413170631*c_1001_0^8 - 36300706024733550515158/12882698781413170631*c_1001_0^7 - 68177550760326480772284/12882698781413170631*c_1001_0^6 + 175092433605406431296/12882698781413170631*c_1001_0^5 + 35541180390515744541754/12882698781413170631*c_1001_0^4 + 11389927089086944913126/12882698781413170631*c_1001_0^3 - 8799057290553256218356/12882698781413170631*c_1001_0^2 - 2316198493848000309832/12882698781413170631*c_1001_0 + 793933014687332651080/12882698781413170631, c_0101_7 - 39145910882732957034/12882698781413170631*c_1001_0^20 - 132324450591024923166/12882698781413170631*c_1001_0^19 - 127090542507822717588/12882698781413170631*c_1001_0^18 + 152116885201726291362/12882698781413170631*c_1001_0^17 - 134365700883016718692/12882698781413170631*c_1001_0^16 - 1585086786643382474972/12882698781413170631*c_1001_0^15 - 1770241366988704146533/12882698781413170631*c_1001_0^14 + 1892282344388691317856/12882698781413170631*c_1001_0^13 + 2180555558490738618021/12882698781413170631*c_1001_0^12 - 6309993603665156243268/12882698781413170631*c_1001_0^11 - 10918547195508626184190/12882698781413170631*c_1001_0^10 + 775289906420200116718/12882698781413170631*c_1001_0^9 + 7109240516958507318823/12882698781413170631*c_1001_0^8 - 6176994049543535941754/12882698781413170631*c_1001_0^7 - 14119058353413548513554/12882698781413170631*c_1001_0^6 - 1762888726523008484078/12882698781413170631*c_1001_0^5 + 6734959746817100311066/12882698781413170631*c_1001_0^4 + 2974642340550713721502/12882698781413170631*c_1001_0^3 - 1402046711501687041806/12882698781413170631*c_1001_0^2 - 607726688767488556196/12882698781413170631*c_1001_0 + 116990260739772349217/12882698781413170631, c_0101_8 - 75812457097423401203/12882698781413170631*c_1001_0^20 - 250690882792889712228/12882698781413170631*c_1001_0^19 - 224145623869096146899/12882698781413170631*c_1001_0^18 + 322293459965403665708/12882698781413170631*c_1001_0^17 - 273925865585905140911/12882698781413170631*c_1001_0^16 - 3062515357263382407268/12882698781413170631*c_1001_0^15 - 3185430355009862975704/12882698781413170631*c_1001_0^14 + 4034946672053151330400/12882698781413170631*c_1001_0^13 + 4061242830207021028684/12882698781413170631*c_1001_0^12 - 12682148945873640744112/12882698781413170631*c_1001_0^11 - 20338315052451226104599/12882698781413170631*c_1001_0^10 + 3548460383209103146712/12882698781413170631*c_1001_0^9 + 14339604071636961178415/12882698781413170631*c_1001_0^8 - 13110876252295905030560/12882698781413170631*c_1001_0^7 - 26780728491687515508124/12882698781413170631*c_1001_0^6 - 838083675343661956712/12882698781413170631*c_1001_0^5 + 14138207063441686343527/12882698781413170631*c_1001_0^4 + 4846753859931945490024/12882698781413170631*c_1001_0^3 - 3440583239383350539979/12882698781413170631*c_1001_0^2 - 1112805493665529450240/12882698781413170631*c_1001_0 + 378751052468104042413/12882698781413170631, c_0101_9 - 256195614537974629310/12882698781413170631*c_1001_0^20 - 829155204547948741624/12882698781413170631*c_1001_0^19 - 711936633326093482518/12882698781413170631*c_1001_0^18 + 1102836616642783069480/12882698781413170631*c_1001_0^17 - 1025586593779192080922/12882698781413170631*c_1001_0^16 - 10216388402874349906768/12882698781413170631*c_1001_0^15 - 10123129086656813595964/12882698781413170631*c_1001_0^14 + 13872276622946138123008/12882698781413170631*c_1001_0^13 + 12422542934629824658248/12882698781413170631*c_1001_0^12 - 42949586782521846936840/12882698781413170631*c_1001_0^11 - 65422863920123246426460/12882698781413170631*c_1001_0^10 + 14395035219312851995431/12882698781413170631*c_1001_0^9 + 45056993228174105253236/12882698781413170631*c_1001_0^8 - 45994372102192111146054/12882698781413170631*c_1001_0^7 - 85785890782058451369028/12882698781413170631*c_1001_0^6 + 417292482810634461237/12882698781413170631*c_1001_0^5 + 44637368420389239028484/12882698781413170631*c_1001_0^4 + 14264502511492240021858/12882698781413170631*c_1001_0^3 - 11036234214087025899644/12882698781413170631*c_1001_0^2 - 2869744281066652368841/12882698781413170631*c_1001_0 + 974053640552248914092/12882698781413170631, c_1001_0^21 + 3*c_1001_0^20 + 2*c_1001_0^19 - 5*c_1001_0^18 + 5*c_1001_0^17 + 39*c_1001_0^16 + 30*c_1001_0^15 - 64*c_1001_0^14 - 36*c_1001_0^13 + 180*c_1001_0^12 + 216*c_1001_0^11 - 119*c_1001_0^10 - 165*c_1001_0^9 + 223*c_1001_0^8 + 294*c_1001_0^7 - 84*c_1001_0^6 - 177*c_1001_0^5 - 13*c_1001_0^4 + 58*c_1001_0^3 + c_1001_0^2 - 7*c_1001_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB