Magma V2.19-8 Tue Aug 20 2013 16:18:40 on localhost [Seed = 155751428] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2846 geometric_solution 6.06834133 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 2103 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 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.144383677041 0.702052727399 0 4 3 5 0132 0132 0213 0132 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 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.749494181953 0.917200084026 6 0 3 0 0132 0132 3201 2103 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.144383677041 0.702052727399 2 1 6 0 2310 0213 3120 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 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.516283885337 0.484751386569 6 1 5 5 1023 0132 1302 2031 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 -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.790524774308 1.140195880577 4 4 1 6 2031 1302 0132 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373065434765 0.849591441422 2 4 3 5 0132 1023 3120 1023 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 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.749494181953 0.917200084026 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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' : negation(d['c_0101_3']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], '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_1001_5' : d['c_0110_4'], 'c_1001_4' : d['c_0110_4'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_3']), '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_0110_4'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : negation(d['c_0101_3'])})} 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_3, c_0011_5, c_0101_0, c_0101_3, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 10551243379008454272985/1472455108675964436864*c_0110_4^14 + 330655857510188407729801/6380638804262512559744*c_0110_4^13 + 150900211250662217403191/6380638804262512559744*c_0110_4^12 - 1666730600353176690552205/19141916412787537679232*c_0110_4^11 - 3189483122606443186388575/19141916412787537679232*c_0110_4^10 + 5912548182172240825449819/6380638804262512559744*c_0110_4^9 + 7551507854149253275486249/6380638804262512559744*c_0110_4^8 - 3306543877025255668589551/19141916412787537679232*c_0110_4^7 - 6004772646915078808581811/4785479103196884419808*c_0110_4^6 - 328198040332648312190359/199394962633203517492*c_0110_4^5 + 10831105994453083010384/49848740658300879373*c_0110_4^4 + 1026470371450922759524979/1196369775799221104952*c_0110_4^3 + 369172918057507064442763/1196369775799221104952*c_0110_4^2 - 62480555925069841677707/598184887899610552476*c_0110_4 - 126796859174105922392251/299092443949805276238, c_0011_0 - 1, c_0011_3 - 24898990399028404581/981636739117309624576*c_0110_4^14 + 46446517819247519103/122704592389663703072*c_0110_4^13 - 1516034335321824887579/981636739117309624576*c_0110_4^12 + 409353343612897592377/490818369558654812288*c_0110_4^11 + 738837379704208181067/981636739117309624576*c_0110_4^10 + 2959351655875818428927/490818369558654812288*c_0110_4^9 - 23913960699119094571187/981636739117309624576*c_0110_4^8 - 34326062858944817021/30676148097415925768*c_0110_4^7 + 311139998672997656665/61352296194831851536*c_0110_4^6 + 468452744263567446467/30676148097415925768*c_0110_4^5 + 67983095950292813649/3834518512176990721*c_0110_4^4 - 87922809032160770464/3834518512176990721*c_0110_4^3 + 20334509954419203314/3834518512176990721*c_0110_4^2 - 35468642642708136778/3834518512176990721*c_0110_4 + 36740558529280779520/3834518512176990721, c_0011_5 - 76331046890385589627/490818369558654812288*c_0110_4^14 + 79720381038075977911/61352296194831851536*c_0110_4^13 - 448030001559280582825/490818369558654812288*c_0110_4^12 - 281370095681167157333/245409184779327406144*c_0110_4^11 - 1047202483112633842719/490818369558654812288*c_0110_4^10 + 5616923608850628834893/245409184779327406144*c_0110_4^9 + 126777345236343094015/490818369558654812288*c_0110_4^8 - 139158663589968110705/15338074048707962884*c_0110_4^7 - 2074766281235533960905/122704592389663703072*c_0110_4^6 - 94247751464878172033/7669037024353981442*c_0110_4^5 + 318028554962949647443/15338074048707962884*c_0110_4^4 - 94551309922481080937/30676148097415925768*c_0110_4^3 + 49250666480473757391/7669037024353981442*c_0110_4^2 - 30725145631923433420/3834518512176990721*c_0110_4 + 1067051356620329850/3834518512176990721, c_0101_0 + 46366994718763544657/245409184779327406144*c_0110_4^14 - 178655592073131922461/122704592389663703072*c_0110_4^13 + 3369571911285156079/30676148097415925768*c_0110_4^12 + 234554362003726844239/122704592389663703072*c_0110_4^11 + 434372745508967480475/122704592389663703072*c_0110_4^10 - 3165977892518295278457/122704592389663703072*c_0110_4^9 - 276315339256440059953/15338074048707962884*c_0110_4^8 + 875004732387247262187/122704592389663703072*c_0110_4^7 + 6370338824026466651705/245409184779327406144*c_0110_4^6 + 475017018334947367253/15338074048707962884*c_0110_4^5 - 199396908886389262663/15338074048707962884*c_0110_4^4 - 87003560844612480367/7669037024353981442*c_0110_4^3 - 30082788992685677880/3834518512176990721*c_0110_4^2 + 17342376973061205940/3834518512176990721*c_0110_4 + 25055049757161312956/3834518512176990721, c_0101_3 - 33813554270114322483/245409184779327406144*c_0110_4^14 + 579686437469314155653/490818369558654812288*c_0110_4^13 - 260986551221223295787/245409184779327406144*c_0110_4^12 - 385043554326138812113/490818369558654812288*c_0110_4^11 - 220802227391791685143/122704592389663703072*c_0110_4^10 + 10183722633510231565073/490818369558654812288*c_0110_4^9 - 500963232298769795667/122704592389663703072*c_0110_4^8 - 3580765293388997988845/490818369558654812288*c_0110_4^7 - 1833735752521332170529/122704592389663703072*c_0110_4^6 - 224634432193070173505/30676148097415925768*c_0110_4^5 + 696088287604385627573/30676148097415925768*c_0110_4^4 - 107399707685583380319/15338074048707962884*c_0110_4^3 + 27533872795698314807/3834518512176990721*c_0110_4^2 - 41199327265729469886/3834518512176990721*c_0110_4 + 9025658454066171407/3834518512176990721, c_0101_6 - 24898990399028404581/981636739117309624576*c_0110_4^14 + 46446517819247519103/122704592389663703072*c_0110_4^13 - 1516034335321824887579/981636739117309624576*c_0110_4^12 + 409353343612897592377/490818369558654812288*c_0110_4^11 + 738837379704208181067/981636739117309624576*c_0110_4^10 + 2959351655875818428927/490818369558654812288*c_0110_4^9 - 23913960699119094571187/981636739117309624576*c_0110_4^8 - 34326062858944817021/30676148097415925768*c_0110_4^7 + 311139998672997656665/61352296194831851536*c_0110_4^6 + 468452744263567446467/30676148097415925768*c_0110_4^5 + 67983095950292813649/3834518512176990721*c_0110_4^4 - 87922809032160770464/3834518512176990721*c_0110_4^3 + 20334509954419203314/3834518512176990721*c_0110_4^2 - 35468642642708136778/3834518512176990721*c_0110_4 + 36740558529280779520/3834518512176990721, c_0110_4^15 - 100/13*c_0110_4^14 + 15/13*c_0110_4^13 + 58/13*c_0110_4^12 + 297/13*c_0110_4^11 - 1714/13*c_0110_4^10 - 1137/13*c_0110_4^9 - 812/13*c_0110_4^8 + 1764/13*c_0110_4^7 + 2528/13*c_0110_4^6 + 96/13*c_0110_4^5 + 64/13*c_0110_4^4 - 128*c_0110_4^3 + 512/13*c_0110_4^2 + 512/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB