Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 3836049452] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1570 geometric_solution 5.35173457 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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 1.507944263099 0.261629441926 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 1 0 -1 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 -1 1 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 1.114072338818 0.365362361273 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 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 1 -1 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.653050063797 0.391095471133 2 5 4 6 0132 0132 3201 0132 0 0 0 0 0 1 0 -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 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.360388821549 1.002999759094 3 6 2 5 2310 0132 0132 1023 0 0 0 0 0 1 -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 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.360388821549 1.002999759094 5 3 5 4 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535531714486 0.387138673750 6 4 3 6 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.317274788550 0.883008898873 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : 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_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 1382655656597732934134384981013756748090/35906669665335962899051574\ 693937977289*c_0110_5^24 + 1368571185640259344265413142700957520293\ 1/11968889888445320966350524897979325763*c_0110_5^22 + 334636614919421795638345591684090788004169/119688898884453209663505\ 24897979325763*c_0110_5^20 + 14683388880929623831294759573145372299\ 96714/11968889888445320966350524897979325763*c_0110_5^18 - 93655270599317040312440258180576476114019188/3590666966533596289905\ 1574693937977289*c_0110_5^16 + 364693724772953089114187204757148320\ 55819403/3989629962815106988783508299326441921*c_0110_5^14 - 615280680647485697492013549597623547063602588/359066696653359628990\ 51574693937977289*c_0110_5^12 + 27148109260534188830040220474174345\ 4580595795/11968889888445320966350524897979325763*c_0110_5^10 - 705914393388872728782111037586721029242850630/359066696653359628990\ 51574693937977289*c_0110_5^8 + 361083348950652305404842972277233767\ 453664410/35906669665335962899051574693937977289*c_0110_5^6 - 96650147758307878514151224879706668391759898/3590666966533596289905\ 1574693937977289*c_0110_5^4 + 1141733636514476835159169593441094465\ 9277590/35906669665335962899051574693937977289*c_0110_5^2 - 14312053031438012255577866095737959782801/1329876654271702329594502\ 766442147307, c_0011_0 - 1, c_0011_1 + 111776735602333056319449882526843/22664059625914260492994745\ 12020323*c_0110_5^24 - 1105253180879936541016561501313323/755468654\ 197142016433158170673441*c_0110_5^22 - 27085811682174683497120093084578203/7554686541971420164331581706734\ 41*c_0110_5^20 - 119534254124759224155001776346742314/7554686541971\ 42016433158170673441*c_0110_5^18 + 7559627473561831211726835170962817575/22664059625914260492994745120\ 20323*c_0110_5^16 - 2923240875586309619627952385597554183/251822884\ 732380672144386056891147*c_0110_5^14 + 49016978684730737458033685189207743736/2266405962591426049299474512\ 020323*c_0110_5^12 - 21531859465179316892877690960156542173/7554686\ 54197142016433158170673441*c_0110_5^10 + 55526518208767594364584656188008409015/2266405962591426049299474512\ 020323*c_0110_5^8 - 28026287399836770173136843392029798709/22664059\ 62591426049299474512020323*c_0110_5^6 + 7363904614828093110086874748535508034/22664059625914260492994745120\ 20323*c_0110_5^4 - 859292863777149551120739554474484244/22664059625\ 91426049299474512020323*c_0110_5^2 + 3347048690506196406586624117243676/25182288473238067214438605689114\ 7, c_0011_4 - 2694065629049913400545077755371619562/3590666966533596289905\ 1574693937977289*c_0110_5^25 + 266788925520069786613926270494721324\ 89/11968889888445320966350524897979325763*c_0110_5^23 + 651652195904442739080378102370060896535/119688898884453209663505248\ 97979325763*c_0110_5^21 + 2851864891986978145458048504615825280019/\ 11968889888445320966350524897979325763*c_0110_5^19 - 182601859310012593692947732445799841382704/359066696653359628990515\ 74693937977289*c_0110_5^17 + 71348119137266317931864629290738982456\ 844/3989629962815106988783508299326441921*c_0110_5^15 - 1208180139539223629835655299388420893320023/35906669665335962899051\ 574693937977289*c_0110_5^13 + 5347963068634165354790188898600124731\ 97266/11968889888445320966350524897979325763*c_0110_5^11 - 1398211059140195378718215542553469912001963/35906669665335962899051\ 574693937977289*c_0110_5^9 + 72296296900823427482519192786215946221\ 3393/35906669665335962899051574693937977289*c_0110_5^7 - 197352585336016303616078747484741277937525/359066696653359628990515\ 74693937977289*c_0110_5^5 + 239361878064335581743533462965909728179\ 30/35906669665335962899051574693937977289*c_0110_5^3 - 85494619813763889369137453567877498841/3989629962815106988783508299\ 326441921*c_0110_5, c_0101_0 + 3806440598833979697329686298014587299/3590666966533596289905\ 1574693937977289*c_0110_5^25 - 377075473915425529733739562756626121\ 04/11968889888445320966350524897979325763*c_0110_5^23 - 920351255581730576072713818301544867719/119688898884453209663505248\ 97979325763*c_0110_5^21 - 4019421814940800221389478277764021303905/\ 11968889888445320966350524897979325763*c_0110_5^19 + 258163492800056491658803585311870873634661/359066696653359628990515\ 74693937977289*c_0110_5^17 - 10107853456035891753228493948011310414\ 4035/3989629962815106988783508299326441921*c_0110_5^15 + 1712602580532062957103792016630548415024222/35906669665335962899051\ 574693937977289*c_0110_5^13 - 7576393781697495452381197270986049977\ 07916/11968889888445320966350524897979325763*c_0110_5^11 + 1979890666664100941604618675105406448566867/35906669665335962899051\ 574693937977289*c_0110_5^9 - 10189583512737321627246627188156835330\ 87262/35906669665335962899051574693937977289*c_0110_5^7 + 273252674962529696110742297216361775212317/359066696653359628990515\ 74693937977289*c_0110_5^5 - 311968591150686608546802181103618822879\ 90/35906669665335962899051574693937977289*c_0110_5^3 + 28826620034320065370052321566756520309/1329876654271702329594502766\ 442147307*c_0110_5, c_0101_2 - 947779657038380609549138577611653063/35906669665335962899051\ 574693937977289*c_0110_5^25 + 9441312945729807430545088871767989712\ /11968889888445320966350524897979325763*c_0110_5^23 + 227622057708954778128453306990110681150/119688898884453209663505248\ 97979325763*c_0110_5^21 + 962328364307602879822743722686518389719/1\ 1968889888445320966350524897979325763*c_0110_5^19 - 64816038969927651701771428139606650565821/3590666966533596289905157\ 4693937977289*c_0110_5^17 + 263324609029585817786785353019752152429\ 92/3989629962815106988783508299326441921*c_0110_5^15 - 460622089339157838200886780910677291546746/359066696653359628990515\ 74693937977289*c_0110_5^13 + 20863834938836879200945804625594592115\ 6189/11968889888445320966350524897979325763*c_0110_5^11 - 568355273359247293706649437598727370873138/359066696653359628990515\ 74693937977289*c_0110_5^9 + 312580809473865930184269780270200909305\ 313/35906669665335962899051574693937977289*c_0110_5^7 - 92820680970980073345129914735922992589487/3590666966533596289905157\ 4693937977289*c_0110_5^5 + 1220582785015901235456824123094370068782\ 2/35906669665335962899051574693937977289*c_0110_5^3 - 45171391618387634771270682749896215065/3989629962815106988783508299\ 326441921*c_0110_5, c_0101_3 + 41020396598364426075974383604968/226640596259142604929947451\ 2020323*c_0110_5^24 - 406819529941995655401764814745549/75546865419\ 7142016433158170673441*c_0110_5^22 - 9904606459256116624690942358588702/75546865419714201643315817067344\ 1*c_0110_5^20 - 42978731810540826024508494148932493/755468654197142\ 016433158170673441*c_0110_5^18 + 2786683771213808299898187865565931\ 769/2266405962591426049299474512020323*c_0110_5^16 - 1099601849062158362180034963536499958/25182288473238067214438605689\ 1147*c_0110_5^14 + 18771528574403063659914260127405014627/226640596\ 2591426049299474512020323*c_0110_5^12 - 8359150048284247596690458303543773786/75546865419714201643315817067\ 3441*c_0110_5^10 + 22105436975045473987630955302146184181/226640596\ 2591426049299474512020323*c_0110_5^8 - 11635782197160976249375789482210444431/2266405962591426049299474512\ 020323*c_0110_5^6 + 3281157632340982441388296645037254744/226640596\ 2591426049299474512020323*c_0110_5^4 - 425408505322487086993328572469193679/226640596259142604929947451202\ 0323*c_0110_5^2 + 1839817441690504279880047385109170/25182288473238\ 0672144386056891147, c_0110_5^26 - 30*c_0110_5^24 - 717*c_0110_5^22 - 2964*c_0110_5^20 + 68710*c_0110_5^18 - 258084*c_0110_5^16 + 517487*c_0110_5^14 - 724836*c_0110_5^12 + 690194*c_0110_5^10 - 416696*c_0110_5^8 + 149302*c_0110_5^6 - 29419*c_0110_5^4 + 2754*c_0110_5^2 - 81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB