Magma V2.19-8 Tue Aug 20 2013 23:40:21 on localhost [Seed = 3220822842] Type ? for help. Type -D to quit. Loading file "L10a99__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a99 geometric_solution 10.04384757 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 1 0132 0132 0132 2031 0 0 1 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 1 0 -1 0 0 -5 5 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.663780177355 0.692674774069 0 0 5 4 0132 1302 0132 0132 0 0 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 0 0 0 0 0 -5 5 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.278815299254 0.752578137603 6 0 6 7 0132 0132 3012 0132 0 0 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 0 0 0 0 -1 -4 5 4 0 0 -4 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.207220617195 1.230303009152 5 8 9 0 1302 0132 0132 0132 0 0 0 1 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 -5 5 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612885815255 0.415349969154 5 4 1 4 2310 1302 0132 2031 0 0 0 0 0 1 0 -1 1 0 0 -1 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 4 0 -4 4 0 0 -4 0 4 0 -4 -5 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392872799290 1.566517529701 8 3 4 1 0321 2031 3201 0132 0 0 1 0 0 0 1 -1 0 0 0 0 1 -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 5 -5 0 0 0 0 6 -7 0 1 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.278815299254 0.752578137603 2 2 10 10 0132 1230 0132 1230 0 0 1 0 0 0 1 -1 -1 0 0 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 5 -5 -4 0 0 4 -1 0 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370086765606 0.574332369443 8 9 2 10 3120 3120 0132 2031 0 0 1 0 0 1 -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 0 0 0 0 0 5 -5 0 -4 0 4 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.247134159488 0.451738927519 5 3 9 7 0321 0132 3120 3120 0 0 1 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 0 0 0 -4 0 0 4 -6 7 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.882003090247 0.630195987019 10 7 8 3 2031 3120 3120 0132 0 0 1 0 0 0 0 0 -1 0 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 -5 0 0 5 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720996135973 0.549086918248 6 7 9 6 3012 1302 1302 0132 0 0 0 1 0 0 1 -1 1 0 -1 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 5 -5 5 0 -5 0 -4 0 0 4 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.866874921548 0.790385565056 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_5']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_7']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_1001_0']), 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : d['c_1001_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_10'], '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_2_7' : d['1'], 's_2_10' : 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' : d['c_0101_5'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : negation(d['c_1001_6']), 'c_1100_6' : d['c_0101_6'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_1001_6']), 'c_1100_10' : d['c_0101_6'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : negation(d['c_0011_7']), 'c_1100_8' : negation(d['c_0101_6']), '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' : negation(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' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_0110_10' : d['c_0101_6'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : negation(d['c_0101_5']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_5']), 'c_0110_8' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_7' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_5, c_0011_7, c_0101_0, c_0101_5, c_0101_6, c_1001_0, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 13573281972499789853458688937409697/5706088428090023027152018394449\ 6*c_1001_6^12 + 6250026725342579401476170748589197/7132610535112528\ 783940022993062*c_1001_6^11 + 1666092674325076765825343984858997/71\ 32610535112528783940022993062*c_1001_6^10 - 41839794040673351326294849825679991/1426522107022505756788004598612\ 4*c_1001_6^9 - 241270848201458162658513254899625903/570608842809002\ 30271520183944496*c_1001_6^8 + 17233705463041686616865886193977501/\ 28530442140450115135760091972248*c_1001_6^7 + 175528695700233788741704249173807111/285304421404501151357600919722\ 48*c_1001_6^6 + 148549101741247605991427324119809583/28530442140450\ 115135760091972248*c_1001_6^5 - 12195811148916556898520967576262063\ /57060884280900230271520183944496*c_1001_6^4 - 51974032454715887672129917821289435/1426522107022505756788004598612\ 4*c_1001_6^3 - 189691186122761750333639963601367877/570608842809002\ 30271520183944496*c_1001_6^2 - 47041105683910453083122846142869295/\ 28530442140450115135760091972248*c_1001_6 - 24690155225356463418051018759306937/5706088428090023027152018394449\ 6, c_0011_0 - 1, c_0011_10 + 715445753585346948694646654307/2603142531062966709467161676\ 3*c_1001_6^12 + 1599646055564411774735352295187/2603142531062966709\ 4671616763*c_1001_6^11 - 1050281790975731460494666610004/2603142531\ 0629667094671616763*c_1001_6^10 - 6323778782089872836294423758567/2\ 6031425310629667094671616763*c_1001_6^9 - 4897979220027715857946787730384/26031425310629667094671616763*c_100\ 1_6^8 + 4581722683932586198667179634887/260314253106296670946716167\ 63*c_1001_6^7 + 10216138174128404415856479289502/260314253106296670\ 94671616763*c_1001_6^6 + 5427734684933263214525454534561/2603142531\ 0629667094671616763*c_1001_6^5 - 2601639971166595638457855137523/26\ 031425310629667094671616763*c_1001_6^4 - 5883947136273527927508822537883/26031425310629667094671616763*c_100\ 1_6^3 - 4440598390047800402989309225842/260314253106296670946716167\ 63*c_1001_6^2 - 1901691170559223123756574084669/2603142531062966709\ 4671616763*c_1001_6 - 361385352333705778840628609195/26031425310629\ 667094671616763, c_0011_3 - 290587360050934317388631335238/26031425310629667094671616763\ *c_1001_6^12 - 1188305571270737548961764637898/26031425310629667094\ 671616763*c_1001_6^11 - 443184984383835067605859586563/260314253106\ 29667094671616763*c_1001_6^10 + 3918581356003289162788498519049/260\ 31425310629667094671616763*c_1001_6^9 + 5935419136215918109696861648329/26031425310629667094671616763*c_100\ 1_6^8 - 668352452886457084360152759792/2603142531062966709467161676\ 3*c_1001_6^7 - 8432123270208197209433656450809/26031425310629667094\ 671616763*c_1001_6^6 - 7229265879205743291406243970621/260314253106\ 29667094671616763*c_1001_6^5 + 204639546664514810106112474819/26031\ 425310629667094671616763*c_1001_6^4 + 4952597918177980765212053429945/26031425310629667094671616763*c_100\ 1_6^3 + 4600476456487932562405295263215/260314253106296670946716167\ 63*c_1001_6^2 + 2312012380557542559864245130451/2603142531062966709\ 4671616763*c_1001_6 + 614224518841936307140933532523/26031425310629\ 667094671616763, c_0011_4 + 1244549181570255482688552542042/2603142531062966709467161676\ 3*c_1001_6^12 + 3366957073457960896919573240398/2603142531062966709\ 4671616763*c_1001_6^11 - 882214111643544014510127854508/26031425310\ 629667094671616763*c_1001_6^10 - 12433554621000567110579964562986/2\ 6031425310629667094671616763*c_1001_6^9 - 12820758104315469783171209072802/26031425310629667094671616763*c_10\ 01_6^8 + 6546500479178041883873397432526/26031425310629667094671616\ 763*c_1001_6^7 + 22401391134753627138457050671051/26031425310629667\ 094671616763*c_1001_6^6 + 15103433045430666509622825992940/26031425\ 310629667094671616763*c_1001_6^5 - 3491349134531031753020508936155/26031425310629667094671616763*c_100\ 1_6^4 - 13099953769786287876120740715238/26031425310629667094671616\ 763*c_1001_6^3 - 10856591770755286575832747013151/26031425310629667\ 094671616763*c_1001_6^2 - 5021016469652683209215498352936/260314253\ 10629667094671616763*c_1001_6 - 1161653859699580957588796380571/260\ 31425310629667094671616763, c_0011_5 - 1, c_0011_7 - 2572458071966247090262933711151/2603142531062966709467161676\ 3*c_1001_6^12 - 6564075955586825516210932410222/2603142531062966709\ 4671616763*c_1001_6^11 + 2458663222216650228542536524700/2603142531\ 0629667094671616763*c_1001_6^10 + 24672882951304815181940821890485/\ 26031425310629667094671616763*c_1001_6^9 + 23604881100106033476470687796184/26031425310629667094671616763*c_10\ 01_6^8 - 14262682335923850457806439214414/2603142531062966709467161\ 6763*c_1001_6^7 - 43074102101844734966521521945492/2603142531062966\ 7094671616763*c_1001_6^6 - 27702921467625575310595936395085/2603142\ 5310629667094671616763*c_1001_6^5 + 7649115657880179662556632858061/26031425310629667094671616763*c_100\ 1_6^4 + 25207875712623689613066148600877/26031425310629667094671616\ 763*c_1001_6^3 + 20515825682441480786364671535604/26031425310629667\ 094671616763*c_1001_6^2 + 9334855787797688631040560352063/260314253\ 10629667094671616763*c_1001_6 + 2067297937258382445356797434853/260\ 31425310629667094671616763, c_0101_0 - 1, c_0101_5 + 435953657496667005104085471630/26031425310629667094671616763\ *c_1001_6^12 + 1052889294853325097632116933181/26031425310629667094\ 671616763*c_1001_6^11 - 473443665953820320688752074780/260314253106\ 29667094671616763*c_1001_6^10 - 4002103484802924250173637737976/260\ 31425310629667094671616763*c_1001_6^9 - 3692939419976214648897586877734/26031425310629667094671616763*c_100\ 1_6^8 + 2367009478646512172557082271322/260314253106296670946716167\ 63*c_1001_6^7 + 6910628499815930443979782757506/2603142531062966709\ 4671616763*c_1001_6^6 + 4401945066915735475350653254896/26031425310\ 629667094671616763*c_1001_6^5 - 1270693806172635496425031319988/260\ 31425310629667094671616763*c_1001_6^4 - 4071439915291446671865461344108/26031425310629667094671616763*c_100\ 1_6^3 - 3281339931267939775655153539926/260314253106296670946716167\ 63*c_1001_6^2 - 1490635983259647267407935611809/2603142531062966709\ 4671616763*c_1001_6 - 319484322517520652420768212240/26031425310629\ 667094671616763, c_0101_6 + 129047273473424420332414651334/26031425310629667094671616763\ *c_1001_6^12 + 209513486568668286094542929026/260314253106296670946\ 71616763*c_1001_6^11 - 297853554694228721057498813099/2603142531062\ 9667094671616763*c_1001_6^10 - 943202048659039599018271626600/26031\ 425310629667094671616763*c_1001_6^9 - 379906417385641179306710212800/26031425310629667094671616763*c_1001\ _6^8 + 963873376371516238190949827614/26031425310629667094671616763\ *c_1001_6^7 + 1315411721168243719305848247014/260314253106296670946\ 71616763*c_1001_6^6 + 326471850300419127280333287256/26031425310629\ 667094671616763*c_1001_6^5 - 616208437685458413972675863815/2603142\ 5310629667094671616763*c_1001_6^4 - 736278880256755944638730369798/26031425310629667094671616763*c_1001\ _6^3 - 421642974867736113166281583758/26031425310629667094671616763\ *c_1001_6^2 - 142644387816369925551882212760/2603142531062966709467\ 1616763*c_1001_6 - 3262410897409512376264978533/2603142531062966709\ 4671616763, c_1001_0 - 1618496250446925924963012504347/2603142531062966709467161676\ 3*c_1001_6^12 - 4385424453399602168253123807722/2603142531062966709\ 4671616763*c_1001_6^11 + 1133264126189271146426549083629/2603142531\ 0629667094671616763*c_1001_6^10 + 16157909686307537234149355846548/\ 26031425310629667094671616763*c_1001_6^9 + 16719542132006481802996340371711/26031425310629667094671616763*c_10\ 01_6^8 - 8384534309632265658293194541680/26031425310629667094671616\ 763*c_1001_6^7 - 29104834237299305037498127725250/26031425310629667\ 094671616763*c_1001_6^6 - 19828754301400652092379354372766/26031425\ 310629667094671616763*c_1001_6^5 + 4362406070013662719642236396725/26031425310629667094671616763*c_100\ 1_6^4 + 17060519861015382502157461315584/26031425310629667094671616\ 763*c_1001_6^3 + 14259710368174126772937219785668/26031425310629667\ 094671616763*c_1001_6^2 + 6625851698702547981689307129578/260314253\ 10629667094671616763*c_1001_6 + 1519868596400737794908934586805/260\ 31425310629667094671616763, c_1001_6^13 + 212/61*c_1001_6^12 + 1000/671*c_1001_6^11 - 6932/671*c_1001_6^10 - 12257/671*c_1001_6^9 - 2406/671*c_1001_6^8 + 14554/671*c_1001_6^7 + 18090/671*c_1001_6^6 + 5223/671*c_1001_6^5 - 8336/671*c_1001_6^4 - 11707/671*c_1001_6^3 - 126/11*c_1001_6^2 - 269/61*c_1001_6 - 548/671 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB