Magma V2.19-8 Tue Aug 20 2013 16:16:44 on localhost [Seed = 3600239130] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1014 geometric_solution 4.89737912 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 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 -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 1.252175114515 0.131905105258 0 2 2 0 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 1 -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 1.319695035466 0.373228700142 3 1 1 4 0132 0132 1023 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 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.457575984526 0.624174787618 2 4 4 5 0132 2310 3201 0132 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 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.186587168687 0.724625164158 3 5 2 3 2310 0132 0132 3201 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 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.186587168687 0.724625164158 6 4 3 6 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 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 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.489928924828 0.729864138136 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 -1 1 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 -1 1 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 1.433705203165 0.505793619639 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], '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_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 33270512283353601896008538026355642332805/1655357965156112177269835\ 06536407707573*c_0101_6^33 - 54799936347164295507236943674050956193\ 7983/165535796515611217726983506536407707573*c_0101_6^31 + 1459843722897509781743707012155209845204907/16553579651561121772698\ 3506536407707573*c_0101_6^29 + 122442366166433074987934420792390585\ 99363664/165535796515611217726983506536407707573*c_0101_6^27 - 56201954926463150921918296572970922894426904/1655357965156112177269\ 83506536407707573*c_0101_6^25 + 55774733103471950623219926279226961\ 41803542/165535796515611217726983506536407707573*c_0101_6^23 + 399834887587913948689207773552391199690720113/165535796515611217726\ 983506536407707573*c_0101_6^21 - 1117946479185721810468073684925634\ 427460838662/165535796515611217726983506536407707573*c_0101_6^19 + 54407956008568648995051094452886992307467966/5708130914331421300930\ 465742634748537*c_0101_6^17 - 1380125631840116792664472722595514249\ 712500968/165535796515611217726983506536407707573*c_0101_6^15 + 802515114567140583052467355261682718323363789/165535796515611217726\ 983506536407707573*c_0101_6^13 - 3264234304260616171326834453310488\ 35837235141/165535796515611217726983506536407707573*c_0101_6^11 + 108509609128624923180161302575713637090509070/165535796515611217726\ 983506536407707573*c_0101_6^9 - 34532972341615436143472303496171884\ 382028465/165535796515611217726983506536407707573*c_0101_6^7 + 8694735356777348201830332216459442197037954/16553579651561121772698\ 3506536407707573*c_0101_6^5 - 1218105523422340724465384657772950832\ 817937/165535796515611217726983506536407707573*c_0101_6^3 + 58365916122985800478696510247300937726094/1655357965156112177269835\ 06536407707573*c_0101_6, c_0011_0 - 1, c_0011_4 + 183447359246639990585686714037942712050/16553579651561121772\ 6983506536407707573*c_0101_6^32 - 310737905732635189363033118562173\ 4745930/165535796515611217726983506536407707573*c_0101_6^30 + 9415201338447064618090932693695060064230/16553579651561121772698350\ 6536407707573*c_0101_6^28 + 645087047290815487486995245391263532746\ 31/165535796515611217726983506536407707573*c_0101_6^26 - 343210502754312912861645248974399014326387/165535796515611217726983\ 506536407707573*c_0101_6^24 + 1574218801555839358700410737339384410\ 67735/165535796515611217726983506536407707573*c_0101_6^22 + 2262322572648709012563519984077107736789938/16553579651561121772698\ 3506536407707573*c_0101_6^20 - 717064903819944962613845971526779318\ 3376173/165535796515611217726983506536407707573*c_0101_6^18 + 380075502306581335791019261757146028976954/570813091433142130093046\ 5742634748537*c_0101_6^16 - 103353945169757515809924805385615548226\ 03791/165535796515611217726983506536407707573*c_0101_6^14 + 6343425624893318175852354334976974124495107/16553579651561121772698\ 3506536407707573*c_0101_6^12 - 265414971120663930038555871910977650\ 9920275/165535796515611217726983506536407707573*c_0101_6^10 + 860287030583851761979777825688220273835689/165535796515611217726983\ 506536407707573*c_0101_6^8 - 27826508557900505840748755623205543765\ 4147/165535796515611217726983506536407707573*c_0101_6^6 + 74008939502650137461983156372068041761320/1655357965156112177269835\ 06536407707573*c_0101_6^4 - 958620419115464241932292780752828684604\ 6/165535796515611217726983506536407707573*c_0101_6^2 + 304097251074328871508801317534946755886/165535796515611217726983506\ 536407707573, c_0101_0 - 3040149232867023433466111616482338692900/1655357965156112177\ 26983506536407707573*c_0101_6^33 + 50100366808149305687935443174187149814520/1655357965156112177269835\ 06536407707573*c_0101_6^31 - 13382141584539474771482190814268587867\ 5158/165535796515611217726983506536407707573*c_0101_6^29 - 1117736784107428587791298364230551297238510/16553579651561121772698\ 3506536407707573*c_0101_6^27 + 514520097711858636216183623389475270\ 2242745/165535796515611217726983506536407707573*c_0101_6^25 - 552571109907665932436626181368676539904088/165535796515611217726983\ 506536407707573*c_0101_6^23 - 3653490129179612213073771129691471699\ 4285128/165535796515611217726983506536407707573*c_0101_6^21 + 102464268475347772010486153835684819840782163/165535796515611217726\ 983506536407707573*c_0101_6^19 - 5000681481424688760460179800417809\ 429129462/5708130914331421300930465742634748537*c_0101_6^17 + 127280234149384630200392522848907629133998097/165535796515611217726\ 983506536407707573*c_0101_6^15 - 7434783242004070527048238157886368\ 9403806005/165535796515611217726983506536407707573*c_0101_6^13 + 30427699973808590986199480641012997061073215/1655357965156112177269\ 83506536407707573*c_0101_6^11 - 10169330532325381090729691721291454\ 104661974/165535796515611217726983506536407707573*c_0101_6^9 + 3242804410003745622598672832024128074445956/16553579651561121772698\ 3506536407707573*c_0101_6^7 - 8204121954250712458339454573181282787\ 45000/165535796515611217726983506536407707573*c_0101_6^5 + 117156394157667852212704577754820091187976/165535796515611217726983\ 506536407707573*c_0101_6^3 - 62584633702745762820329497267770254638\ 71/165535796515611217726983506536407707573*c_0101_6, c_0101_1 - 613950321285307959772036806808274760725/16553579651561121772\ 6983506536407707573*c_0101_6^33 + 995775735257262540940001875085958\ 5486880/165535796515611217726983506536407707573*c_0101_6^31 - 24405906823005826181850869339466595823337/1655357965156112177269835\ 06536407707573*c_0101_6^29 - 23250176054260862763163075497576850442\ 6294/165535796515611217726983506536407707573*c_0101_6^27 + 979591531167013178738388214748338531306496/165535796515611217726983\ 506536407707573*c_0101_6^25 + 1531617938934489154477291601936396981\ 78466/165535796515611217726983506536407707573*c_0101_6^23 - 7380663515784397838066927343752755494032814/16553579651561121772698\ 3506536407707573*c_0101_6^21 + 187690090930338790677547359214134466\ 78002476/165535796515611217726983506536407707573*c_0101_6^19 - 830599093649711191605646095238629805556476/570813091433142130093046\ 5742634748537*c_0101_6^17 + 186036465983818862464363244708358801632\ 11839/165535796515611217726983506536407707573*c_0101_6^15 - 9059044750575395787093018509227079374346955/16553579651561121772698\ 3506536407707573*c_0101_6^13 + 287497068737943579479748354295955766\ 6783128/165535796515611217726983506536407707573*c_0101_6^11 - 818694069985184330168803344642489310961948/165535796515611217726983\ 506536407707573*c_0101_6^9 + 26268388323759515839244830142236995786\ 8115/165535796515611217726983506536407707573*c_0101_6^7 - 39891331058512060692570643343464339322006/1655357965156112177269835\ 06536407707573*c_0101_6^5 - 579942805616707472738642395006423363943\ 2/165535796515611217726983506536407707573*c_0101_6^3 + 1439600892750107692644275899864499348300/16553579651561121772698350\ 6536407707573*c_0101_6, c_0101_2 + 526360580627877410167935862045729395910/16553579651561121772\ 6983506536407707573*c_0101_6^33 - 859380125566077125405204603538594\ 7938796/165535796515611217726983506536407707573*c_0101_6^31 + 21858813773416995939984915990443354458364/1655357965156112177269835\ 06536407707573*c_0101_6^29 + 19682404575680850703175947498922684032\ 7499/165535796515611217726983506536407707573*c_0101_6^27 - 860647369333870528621578493784351499330749/165535796515611217726983\ 506536407707573*c_0101_6^25 - 3504367877618363860262441630070567334\ 3071/165535796515611217726983506536407707573*c_0101_6^23 + 6316094703337754705710511245984988247279089/16553579651561121772698\ 3506536407707573*c_0101_6^21 - 167738262773870712127355249214489601\ 65535057/165535796515611217726983506536407707573*c_0101_6^19 + 778411513109258155356941685532202052659956/570813091433142130093046\ 5742634748537*c_0101_6^17 - 186728051983854603397032388695704708730\ 34262/165535796515611217726983506536407707573*c_0101_6^15 + 10139105318815959454387613558270250598434816/1655357965156112177269\ 83506536407707573*c_0101_6^13 - 38156500344837469669715943288367001\ 46526918/165535796515611217726983506536407707573*c_0101_6^11 + 1223990946702679067134048599638936845497855/16553579651561121772698\ 3506536407707573*c_0101_6^9 - 3875632300765827500277342390153306401\ 69743/165535796515611217726983506536407707573*c_0101_6^7 + 86462222693445983032186351717917044795107/1655357965156112177269835\ 06536407707573*c_0101_6^5 - 900358214454444811352111723215831393965\ 7/165535796515611217726983506536407707573*c_0101_6^3 - 56439727353702009390687676467480586021/1655357965156112177269835065\ 36407707573*c_0101_6, c_0101_3 + 1209940327281698943960571059159849855355/1655357965156112177\ 26983506536407707573*c_0101_6^33 - 19776667897091619278555854194883079115733/1655357965156112177269835\ 06536407707573*c_0101_6^31 + 50601100041553792390469578371885929387\ 124/165535796515611217726983506536407707573*c_0101_6^29 + 451637562557525296454290238199275162928802/165535796515611217726983\ 506536407707573*c_0101_6^27 - 1986916507123050353916372342942889146\ 717579/165535796515611217726983506536407707573*c_0101_6^25 - 47272687667054285223135461884600987960424/1655357965156112177269835\ 06536407707573*c_0101_6^23 + 14531424146637624798175110432425228386\ 174128/165535796515611217726983506536407707573*c_0101_6^21 - 38818068981406408628043371578536693440956964/1655357965156112177269\ 83506536407707573*c_0101_6^19 + 18105658745715582108501508676424465\ 01906720/5708130914331421300930465742634748537*c_0101_6^17 - 43671853026357900246420537823070630662243877/1655357965156112177269\ 83506536407707573*c_0101_6^15 + 23870694568607008055233767336054055\ 777047969/165535796515611217726983506536407707573*c_0101_6^13 - 9061637453566537133587259058931170130928593/16553579651561121772698\ 3506536407707573*c_0101_6^11 + 293022859185934175625756578733684896\ 7687859/165535796515611217726983506536407707573*c_0101_6^9 - 936247570583854239550592548466452196895499/165535796515611217726983\ 506536407707573*c_0101_6^7 + 21156134643174014490458393127698800896\ 3614/165535796515611217726983506536407707573*c_0101_6^5 - 22038664891619842234596973171031801462137/1655357965156112177269835\ 06536407707573*c_0101_6^3 + 474661434765389374058580062942941572188\ /165535796515611217726983506536407707573*c_0101_6, c_0101_6^34 - 83/5*c_0101_6^32 + 46*c_0101_6^30 + 1812/5*c_0101_6^28 - 8684/5*c_0101_6^26 + 1923/5*c_0101_6^24 + 59999/5*c_0101_6^22 - 175754/5*c_0101_6^20 + 258648/5*c_0101_6^18 - 237641/5*c_0101_6^16 + 146916/5*c_0101_6^14 - 12856*c_0101_6^12 + 4495*c_0101_6^10 - 1448*c_0101_6^8 + 1958/5*c_0101_6^6 - 69*c_0101_6^4 + 31/5*c_0101_6^2 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB