Magma V2.19-8 Wed Aug 21 2013 01:03:10 on localhost [Seed = 3246905822] Type ? for help. Type -D to quit. Loading file "L14n17686__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n17686 geometric_solution 11.68063052 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 1 1 0 0 1 -1 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 0 0 0 0 0 -1 0 1 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.048303443886 0.701567363152 0 3 6 5 0132 0132 0132 0132 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 0 0 0 -0.463075850901 0.714641105554 3 0 6 7 0132 0132 1302 0132 0 0 1 1 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 0 0 0 0 0 0 0 0 0 9 0 -9 -9 1 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.343532241702 1.369984528532 2 1 8 0 0132 0132 0132 0132 0 0 1 1 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 -1 1 0 0 0 0 9 0 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.807555496795 0.863547612545 9 10 0 11 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 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.170159297024 0.883143762121 11 10 1 12 0132 1023 0132 0132 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 0 0 0 0.070567089905 0.588670754555 2 7 12 1 2031 0132 0132 0132 0 0 1 0 0 0 0 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 0 0 0 0 0 0 0 -8 8 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.089581575421 1.698301069102 11 6 2 8 3012 0132 0132 3012 0 0 0 1 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 0 0 0 0 0 0 0 -1 1 0 0 -1 -8 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622909508640 0.939403470267 9 12 7 3 2031 2031 1230 0132 0 0 1 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 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.780490111552 0.719964150705 4 11 8 10 0132 0132 1302 1023 0 0 1 1 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 1 0 0 -1 -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.499255247523 1.591658694367 5 4 12 9 1023 0132 0213 1023 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 -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.202883198151 0.775575755898 5 9 4 7 0132 0132 0132 1230 0 0 1 1 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 -1 1 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.904858376521 1.071366850473 8 10 5 6 1302 0213 0132 0132 0 0 0 1 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 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.112419650575 0.975159049351 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_10'], 'c_1001_10' : d['c_0110_10'], 'c_1001_12' : d['c_0110_10'], 'c_1001_5' : d['c_0011_12'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_12' : negation(d['c_0101_8']), 'c_1010_11' : d['c_0101_3'], 'c_1010_10' : d['c_0101_1'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_8']), 'c_0101_10' : d['c_0011_12'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_0110_7'], 'c_1100_7' : d['c_0101_6'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0110_7'], 'c_1100_3' : d['c_0110_7'], 'c_1100_2' : d['c_0101_6'], 's_3_11' : negation(d['1']), 'c_1100_11' : d['c_0110_7'], 'c_1100_10' : negation(d['c_0101_8']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_0110_10'], 'c_1010_4' : d['c_0110_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_12'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0110_10'], 'c_1010_8' : d['c_0011_12'], 'c_1100_8' : d['c_0110_7'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_6']), '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : negation(d['c_0011_8']), 'c_0011_11' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_6']), 'c_0101_9' : negation(d['c_0011_8']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : negation(d['c_0011_6']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_6, c_0011_8, c_0101_1, c_0101_3, c_0101_6, c_0101_8, c_0110_10, c_0110_7, c_1001_0, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 44470091827633483508081343026/3386576564057619935783402932737*c_110\ 0_1^11 + 582878364498610666271741884571/677315312811523987156680586\ 5474*c_1100_1^10 + 10204263422021486186335701109885/677315312811523\ 9871566805865474*c_1100_1^9 + 13166280131417420128002246127765/3386\ 576564057619935783402932737*c_1100_1^8 - 83037565565242828535830276783988/3386576564057619935783402932737*c_\ 1100_1^7 - 221959398750799239029266449842821/1128858854685873311927\ 800977579*c_1100_1^6 - 595947047058894841955850811451681/9675933040\ 16462838795257980782*c_1100_1^5 - 725022066051290794446887327908984\ 1/6773153128115239871566805865474*c_1100_1^4 - 3815669525160319582224522203060101/3386576564057619935783402932737*\ c_1100_1^3 - 563463827764308309769659190886743/75257256979058220795\ 1867318386*c_1100_1^2 - 2038674752489149459556642507324099/67731531\ 28115239871566805865474*c_1100_1 - 408899470945573582981917393984079/6773153128115239871566805865474, c_0011_0 - 1, c_0011_10 + 2434274674477703798/60131751990133536153*c_1100_1^11 + 26391555840527778154/60131751990133536153*c_1100_1^10 + 406519157296180862894/60131751990133536153*c_1100_1^9 + 2621190207318780313894/60131751990133536153*c_1100_1^8 + 9092271975513696870220/60131751990133536153*c_1100_1^7 + 6150203063202507922202/20043917330044512051*c_1100_1^6 + 3160340631958361825060/8590250284304790879*c_1100_1^5 + 16916049935064355917437/60131751990133536153*c_1100_1^4 + 10869124174741779753647/60131751990133536153*c_1100_1^3 + 712352780792627644951/6681305776681504017*c_1100_1^2 + 2674795200506258552207/60131751990133536153*c_1100_1 + 322601617628257471612/60131751990133536153, c_0011_12 - 92117721048877178/2863416761434930293*c_1100_1^11 - 1024239104898197704/2863416761434930293*c_1100_1^10 - 15648814395720783470/2863416761434930293*c_1100_1^9 - 103342069580525255629/2863416761434930293*c_1100_1^8 - 369755775011478722491/2863416761434930293*c_1100_1^7 - 261007898406417118220/954472253811643431*c_1100_1^6 - 997787449859937154340/2863416761434930293*c_1100_1^5 - 814385733694614080585/2863416761434930293*c_1100_1^4 - 531673808978836431896/2863416761434930293*c_1100_1^3 - 106254078088961772296/954472253811643431*c_1100_1^2 - 146539612619924968121/2863416761434930293*c_1100_1 - 26593846931270447098/2863416761434930293, c_0011_6 + 1, c_0011_8 + 13884818044591138/2863416761434930293*c_1100_1^11 + 210316549824179618/2863416761434930293*c_1100_1^10 + 2962675558327871131/2863416761434930293*c_1100_1^9 + 24876663518918206283/2863416761434930293*c_1100_1^8 + 115424488329961711013/2863416761434930293*c_1100_1^7 + 107396491857696702166/954472253811643431*c_1100_1^6 + 554196728725317509407/2863416761434930293*c_1100_1^5 + 582583776843412031734/2863416761434930293*c_1100_1^4 + 404371567574000389312/2863416761434930293*c_1100_1^3 + 27947123373518244652/318157417937214477*c_1100_1^2 + 140961068737574340790/2863416761434930293*c_1100_1 + 48042729849615167000/2863416761434930293, c_0101_1 - 133169705289522064/8590250284304790879*c_1100_1^11 - 1407550152674528999/8590250284304790879*c_1100_1^10 - 21840940704002862199/8590250284304790879*c_1100_1^9 - 137295137423222271044/8590250284304790879*c_1100_1^8 - 457583393132368144823/8590250284304790879*c_1100_1^7 - 289869840570366715204/2863416761434930293*c_1100_1^6 - 923871001272366844651/8590250284304790879*c_1100_1^5 - 581279276162156863678/8590250284304790879*c_1100_1^4 - 338649485346292469341/8590250284304790879*c_1100_1^3 - 21539295724135978349/954472253811643431*c_1100_1^2 - 57626414977590360196/8590250284304790879*c_1100_1 + 16821933678747733063/8590250284304790879, c_0101_3 + 29738850279758506/8590250284304790879*c_1100_1^11 + 278539165315566890/8590250284304790879*c_1100_1^10 + 4476546889526183377/8590250284304790879*c_1100_1^9 + 24551258423542840529/8590250284304790879*c_1100_1^8 + 61586249661420211226/8590250284304790879*c_1100_1^7 + 15974221912310445220/2863416761434930293*c_1100_1^6 - 104247074893915428395/8590250284304790879*c_1100_1^5 - 263020707034355403407/8590250284304790879*c_1100_1^4 - 230723436210264782609/8590250284304790879*c_1100_1^3 - 16043217171726111629/954472253811643431*c_1100_1^2 - 102655498416036736070/8590250284304790879*c_1100_1 - 54673383982809389674/8590250284304790879, c_0101_6 + 214821678509235119/8590250284304790879*c_1100_1^11 + 2496685689439643473/8590250284304790879*c_1100_1^10 + 37660331479161665177/8590250284304790879*c_1100_1^9 + 258974663329968343063/8590250284304790879*c_1100_1^8 + 977606111217803425969/8590250284304790879*c_1100_1^7 + 740318665570193222588/2863416761434930293*c_1100_1^6 + 3108819592486710626408/8590250284304790879*c_1100_1^5 + 2791104755663446895246/8590250284304790879*c_1100_1^4 + 1862256475350005623055/8590250284304790879*c_1100_1^3 + 4607824159673355100/35350824215246053*c_1100_1^2 + 555282616017564506129/8590250284304790879*c_1100_1 + 145586909384013812680/8590250284304790879, c_0101_8 - 143901544154240458/8590250284304790879*c_1100_1^11 - 1632005630423725373/8590250284304790879*c_1100_1^10 - 24792890425432710619/8590250284304790879*c_1100_1^9 - 166771849790318573798/8590250284304790879*c_1100_1^8 - 612023969297411529464/8590250284304790879*c_1100_1^7 - 447190506410324911147/2863416761434930293*c_1100_1^6 - 1794704863390687683823/8590250284304790879*c_1100_1^5 - 1542794788372688379997/8590250284304790879*c_1100_1^4 - 1015898409433929288505/8590250284304790879*c_1100_1^3 - 7398502312167141457/106052472645738159*c_1100_1^2 - 286738440934271268157/8590250284304790879*c_1100_1 - 71128101431594335478/8590250284304790879, c_0110_10 - 204089839644516725/8590250284304790879*c_1100_1^11 - 2272230211690447099/8590250284304790879*c_1100_1^10 - 34708381757731816757/8590250284304790879*c_1100_1^9 - 229497950962872040309/8590250284304790879*c_1100_1^8 - 823165535052760041328/8590250284304790879*c_1100_1^7 - 582997999730235026645/2863416761434930293*c_1100_1^6 - 2237985730368389787236/8590250284304790879*c_1100_1^5 - 1829589243452915378927/8590250284304790879*c_1100_1^4 - 1185007551262368803891/8590250284304790879*c_1100_1^3 - 79364027225812292936/954472253811643431*c_1100_1^2 - 326170590060883598168/8590250284304790879*c_1100_1 - 57636874273671744139/8590250284304790879, c_0110_7 - 22965933709717441/8590250284304790879*c_1100_1^11 - 402722012547400196/8590250284304790879*c_1100_1^10 - 5484666605873621383/8590250284304790879*c_1100_1^9 - 50220477154204619951/8590250284304790879*c_1100_1^8 - 248468334622551976667/8590250284304790879*c_1100_1^7 - 243469951556875442584/2863416761434930293*c_1100_1^6 - 1312550573009772986461/8590250284304790879*c_1100_1^5 - 1431008917662444019303/8590250284304790879*c_1100_1^4 - 1014073481245711181464/8590250284304790879*c_1100_1^3 - 22882508356675578404/318157417937214477*c_1100_1^2 - 348162324221207373952/8590250284304790879*c_1100_1 - 125716531238857554884/8590250284304790879, c_1001_0 - 809497222524920/373489142795860473*c_1100_1^11 - 13530817086191539/373489142795860473*c_1100_1^10 - 185602752149481179/373489142795860473*c_1100_1^9 - 1654532729444069449/373489142795860473*c_1100_1^8 - 7964950795427754643/373489142795860473*c_1100_1^7 - 7616157332066421050/124496380931953491*c_1100_1^6 - 40100909241924956330/373489142795860473*c_1100_1^5 - 42914011622844823673/373489142795860473*c_1100_1^4 - 30482490672574177517/373489142795860473*c_1100_1^3 - 2117100476682808591/41498793643984497*c_1100_1^2 - 10900410718738538228/373489142795860473*c_1100_1 - 3866420815600066489/373489142795860473, c_1100_1^12 + 12*c_1100_1^11 + 180*c_1100_1^10 + 1275*c_1100_1^9 + 5056*c_1100_1^8 + 12377*c_1100_1^7 + 19474*c_1100_1^6 + 20642*c_1100_1^5 + 16106*c_1100_1^4 + 10330*c_1100_1^3 + 5731*c_1100_1^2 + 2328*c_1100_1 + 497 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.420 Total time: 0.640 seconds, Total memory usage: 32.09MB