Magma V2.19-8 Tue Aug 20 2013 16:18:09 on localhost [Seed = 1259001458] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2375 geometric_solution 5.74287118 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 -1 -1 2 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 -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 1.433386851822 1.016903529748 0 3 4 0 0132 0132 0132 3201 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.163608709384 0.670424221439 0 4 3 0 3201 1023 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -2 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 -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.681371425742 0.698151674633 4 1 2 5 2310 0132 1023 0132 0 0 0 0 0 -1 0 1 -1 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 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.075533727432 1.090449798389 2 5 3 1 1023 2310 3201 0132 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 -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.075533727432 1.090449798389 6 6 3 4 0132 3201 0132 3201 0 0 0 0 0 0 -1 1 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 0 0 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.241247777034 0.438423078416 5 6 5 6 0132 2310 2310 3201 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 -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 -1.216908316813 0.719357402623 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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_2_0' : negation(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' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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_2'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 38117651844416877210815375/991561152583047364121028641*c_0101_6^18 + 4813315196329827172086130280/2974683457749142092363085923*c_0101_6^\ 16 + 63299959831500774737893860929/2974683457749142092363085923*c_0\ 101_6^14 + 309524812530401120859794097508/2974683457749142092363085\ 923*c_0101_6^12 + 802830579124480228021636958849/594936691549828418\ 4726171846*c_0101_6^10 - 116811215005613434871047963852/29746834577\ 49142092363085923*c_0101_6^8 - 1441778165126195846491363301693/5949\ 366915498284184726171846*c_0101_6^6 - 798107563622238704306002431523/2974683457749142092363085923*c_0101_\ 6^4 - 40392544357698002304415669328/228821804442241699412545071*c_0\ 101_6^2 - 162187401844342952394514139483/29746834577491420923630859\ 23, c_0011_0 - 1, c_0011_2 - 405157806210899620662350/76273934814080566470848357*c_0101_6\ ^18 - 5461729576762554027976376/76273934814080566470848357*c_0101_6\ ^16 - 672259689518402913874350/76273934814080566470848357*c_0101_6^\ 14 + 163721153201045534754942668/76273934814080566470848357*c_0101_\ 6^12 + 150132119071512097422616415/76273934814080566470848357*c_010\ 1_6^10 - 123169226100055397909866150/76273934814080566470848357*c_0\ 101_6^8 - 257926480990426057353471779/76273934814080566470848357*c_\ 0101_6^6 - 199898612115347411236872264/76273934814080566470848357*c\ _0101_6^4 - 97006737253665810046178017/76273934814080566470848357*c\ _0101_6^2 - 34008794074631230112648177/76273934814080566470848357, c_0011_5 - 25636982647357442523750/76273934814080566470848357*c_0101_6^\ 18 + 834266134435937510388850/76273934814080566470848357*c_0101_6^1\ 6 + 23176811228715337078933874/76273934814080566470848357*c_0101_6^\ 14 + 146616162243974516798843640/76273934814080566470848357*c_0101_\ 6^12 + 202913782717464694549248455/76273934814080566470848357*c_010\ 1_6^10 - 83745584440203074159228717/76273934814080566470848357*c_01\ 01_6^8 - 380005048917216811122529925/76273934814080566470848357*c_0\ 101_6^6 - 392728490287585939741617504/76273934814080566470848357*c_\ 0101_6^4 - 160921758212029302826617083/76273934814080566470848357*c\ _0101_6^2 - 19668247941602773187396132/76273934814080566470848357, c_0101_0 + 84803279564386022789264850/991561152583047364121028641*c_010\ 1_6^19 + 1711344826723978111555115676/991561152583047364121028641*c\ _0101_6^17 + 10700296893452959141722367714/991561152583047364121028\ 641*c_0101_6^15 + 20140128573562292528110099140/9915611525830473641\ 21028641*c_0101_6^13 + 8538559773725584418195027787/991561152583047\ 364121028641*c_0101_6^11 - 22480435814698258544493941910/9915611525\ 83047364121028641*c_0101_6^9 - 44150946811944133829002835219/991561\ 152583047364121028641*c_0101_6^7 - 38218308331423036146769849200/991561152583047364121028641*c_0101_6^\ 5 - 1457995386097210716985391025/76273934814080566470848357*c_0101_\ 6^3 - 4797898253306541747197011077/991561152583047364121028641*c_01\ 01_6, c_0101_1 + 8321984965687497607662200/991561152583047364121028641*c_0101\ _6^19 + 192748877052944516819009852/991561152583047364121028641*c_0\ 101_6^17 + 1544648828759539857571880696/991561152583047364121028641\ *c_0101_6^15 + 4974762415918424565686871956/99156115258304736412102\ 8641*c_0101_6^13 + 5800364044790063408132778120/9915611525830473641\ 21028641*c_0101_6^11 - 1801903392240801968529378356/991561152583047\ 364121028641*c_0101_6^9 - 10963602127683365477174433856/99156115258\ 3047364121028641*c_0101_6^7 - 14272935682512345120800714864/9915611\ 52583047364121028641*c_0101_6^5 - 778430210110749903862189356/76273\ 934814080566470848357*c_0101_6^3 - 3950291402564258144830185982/991561152583047364121028641*c_0101_6, c_0101_3 + 21889175895589841675172950/991561152583047364121028641*c_010\ 1_6^19 + 428281491136283909941360722/991561152583047364121028641*c_\ 0101_6^17 + 2526544849812768563968182530/99156115258304736412102864\ 1*c_0101_6^15 + 4183637650076287211807064458/9915611525830473641210\ 28641*c_0101_6^13 + 2704336782125418932671853221/991561152583047364\ 121028641*c_0101_6^11 - 3341392140988174838814881533/99156115258304\ 7364121028641*c_0101_6^9 - 10109649026225222556640713419/9915611525\ 83047364121028641*c_0101_6^7 - 11187338781502309106443510853/991561\ 152583047364121028641*c_0101_6^5 - 481079969560709039381412639/76273934814080566470848357*c_0101_6^3 - 2039195879451135686157434134/991561152583047364121028641*c_0101_6, c_0101_6^20 + 504/25*c_0101_6^18 + 3149/25*c_0101_6^16 + 5962/25*c_0101_6^14 + 5723/50*c_0101_6^12 - 6247/25*c_0101_6^10 - 26071/50*c_0101_6^8 - 12172/25*c_0101_6^6 - 12961/50*c_0101_6^4 - 3693/50*c_0101_6^2 + 169/50 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB