Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 728414194] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0912 geometric_solution 4.80833192 oriented_manifold CS_known -0.0000000000000003 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 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.480472352016 0.344242733981 0 2 3 0 3201 0132 0132 0132 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 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.989190925178 0.368639484324 3 1 3 4 2103 0132 1302 0132 0 0 0 0 0 0 0 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 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.730951937484 0.772753448108 2 4 2 1 2031 2310 2103 0132 0 0 0 0 0 0 1 -1 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 1 -1 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.730951937484 0.772753448108 5 5 2 3 0132 2310 0132 3201 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 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.341176545938 0.483500615136 4 6 6 4 0132 0132 1023 3201 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 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.110000261055 0.734457601750 6 5 5 6 3012 0132 1023 1230 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 0 0 0 0 0 0 2.223041719693 0.544412234649 ==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' : 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' : negation(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' : negation(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' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), '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' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_1']), 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), '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_3, c_0011_4, c_0101_0, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 3746964907343982797780187873805657288617/30778260389061415569281154\ 8869252598639*c_0101_6^23 - 128588884224510235875921826633339696495\ 967/923347811671842467078434646607757795917*c_0101_6^22 + 595428841285850502116806645648424323247204/923347811671842467078434\ 646607757795917*c_0101_6^21 + 3181710531252349671055910779198772649\ 27973/923347811671842467078434646607757795917*c_0101_6^20 - 7618354308037540831355957058736602760913872/92334781167184246707843\ 4646607757795917*c_0101_6^19 + 270245399291695748194299680848310721\ 2719060/923347811671842467078434646607757795917*c_0101_6^18 + 14222442149713240579621758730266709007599537/3077826038906141556928\ 11548869252598639*c_0101_6^17 - 28150171043529334632180298612341353\ 18996492/307782603890614155692811548869252598639*c_0101_6^16 - 166313615556551295339020748864405401985460228/923347811671842467078\ 434646607757795917*c_0101_6^15 + 2060972297808931407061909978961490\ 4454607202/923347811671842467078434646607757795917*c_0101_6^14 + 439516432084546955821034837665242519425599217/923347811671842467078\ 434646607757795917*c_0101_6^13 - 1441360617565262027359689822093042\ 59556979978/923347811671842467078434646607757795917*c_0101_6^12 - 611548242275732683606987791882787560684496507/923347811671842467078\ 434646607757795917*c_0101_6^11 + 3257177426020846465779372321976284\ 70791102349/923347811671842467078434646607757795917*c_0101_6^10 + 350678961364343969552385687738672341426709476/923347811671842467078\ 434646607757795917*c_0101_6^9 - 60867186730741755254501844019563170\ 731459420/307782603890614155692811548869252598639*c_0101_6^8 - 42274924155199909367656717718118304822260509/3077826038906141556928\ 11548869252598639*c_0101_6^7 + 136661218733969869996113113427197054\ 08288378/307782603890614155692811548869252598639*c_0101_6^6 + 10072244079035002456640017409951743768651264/3077826038906141556928\ 11548869252598639*c_0101_6^5 - 328988120419956214870817974650287494\ 7847049/923347811671842467078434646607757795917*c_0101_6^4 - 3358470012706022545443342277338165145185973/92334781167184246707843\ 4646607757795917*c_0101_6^3 + 1237885977951935683212720663987982100\ 83183/923347811671842467078434646607757795917*c_0101_6^2 + 168745688493143876076766277273691571987004/923347811671842467078434\ 646607757795917*c_0101_6 - 5729484491409816717314508236759508804892\ 3/923347811671842467078434646607757795917, c_0011_0 - 1, c_0011_1 + 103729483480771419056022294226937154261/30778260389061415569\ 2811548869252598639*c_0101_6^23 - 116463677170140581751746143511418\ 5534531/307782603890614155692811548869252598639*c_0101_6^22 + 5241054500300211409323467740712325225882/30778260389061415569281154\ 8869252598639*c_0101_6^21 + 411144360643954801326096738979222794671\ 5/307782603890614155692811548869252598639*c_0101_6^20 - 69661251771482853630138062587429373809395/3077826038906141556928115\ 48869252598639*c_0101_6^19 + 94615417790931566636839432115588699584\ 11/307782603890614155692811548869252598639*c_0101_6^18 + 399389976002919118657868401930087455950539/307782603890614155692811\ 548869252598639*c_0101_6^17 + 1263479393851303941198311006135443948\ 8551/307782603890614155692811548869252598639*c_0101_6^16 - 1552202985935788267255971844456930295529616/30778260389061415569281\ 1548869252598639*c_0101_6^15 - 175780851830414384048605988698356517\ 338188/307782603890614155692811548869252598639*c_0101_6^14 + 4079918203352711501374584436073702678043821/30778260389061415569281\ 1548869252598639*c_0101_6^13 - 333865332394873101159710930145091523\ 914071/307782603890614155692811548869252598639*c_0101_6^12 - 5835881126907335654944964825559929574805418/30778260389061415569281\ 1548869252598639*c_0101_6^11 + 152292683468551655529473423274219333\ 2514815/307782603890614155692811548869252598639*c_0101_6^10 + 3706375827088636303931848940552458844698929/30778260389061415569281\ 1548869252598639*c_0101_6^9 - 6595276188084868267210846776389693199\ 06144/307782603890614155692811548869252598639*c_0101_6^8 - 1393471961188537462380929381540196249468318/30778260389061415569281\ 1548869252598639*c_0101_6^7 - 4689958884638348060980295537117489802\ 8062/307782603890614155692811548869252598639*c_0101_6^6 + 288776030331780141943302096285910236623829/307782603890614155692811\ 548869252598639*c_0101_6^5 + 63347076534565949114583502479134290395\ 342/307782603890614155692811548869252598639*c_0101_6^4 - 18719181816687305073770570979466801381576/3077826038906141556928115\ 48869252598639*c_0101_6^3 - 571584206674770397525904908826196683869\ 5/307782603890614155692811548869252598639*c_0101_6^2 + 469028606542923970733271408546513051261/307782603890614155692811548\ 869252598639*c_0101_6 - 16909179700824687892664657306419892258/3077\ 82603890614155692811548869252598639, c_0011_3 - 37193898294817114654867801178982341606/307782603890614155692\ 811548869252598639*c_0101_6^23 + 4503128000046931921661672860000172\ 60350/307782603890614155692811548869252598639*c_0101_6^22 - 2218256088909358534046522509909651189784/30778260389061415569281154\ 8869252598639*c_0101_6^21 - 123053410040428413534042039074824051402\ /307782603890614155692811548869252598639*c_0101_6^20 + 27546319602690671124942445653054350468282/3077826038906141556928115\ 48869252598639*c_0101_6^19 - 23650706889728062693390910193798104937\ 312/307782603890614155692811548869252598639*c_0101_6^18 - 157720160353967100255565502552654049308211/307782603890614155692811\ 548869252598639*c_0101_6^17 + 1149667599805720939663748749123967503\ 57970/307782603890614155692811548869252598639*c_0101_6^16 + 658300244072154464431189222145683025992356/307782603890614155692811\ 548869252598639*c_0101_6^15 - 3722565682748266313594591131382274586\ 40305/307782603890614155692811548869252598639*c_0101_6^14 - 1869529078731261686747117511560056849349070/30778260389061415569281\ 1548869252598639*c_0101_6^13 + 119304910963783753351100861157341758\ 5039797/307782603890614155692811548869252598639*c_0101_6^12 + 2836754060865098423391956793650366323963599/30778260389061415569281\ 1548869252598639*c_0101_6^11 - 212021236283797362872200609369579217\ 4774354/307782603890614155692811548869252598639*c_0101_6^10 - 1961409788526482012404028360683811847218552/30778260389061415569281\ 1548869252598639*c_0101_6^9 + 1364808159375744116930949098256194515\ 257655/307782603890614155692811548869252598639*c_0101_6^8 + 871608702947564897412121825478762895276657/307782603890614155692811\ 548869252598639*c_0101_6^7 - 34766024444482444412823703791248356294\ 4212/307782603890614155692811548869252598639*c_0101_6^6 - 273654433243742081951456647868539271845952/307782603890614155692811\ 548869252598639*c_0101_6^5 + 96465738024481163309472793374381784008\ 75/307782603890614155692811548869252598639*c_0101_6^4 + 44708635897148730816698761134019338260815/3077826038906141556928115\ 48869252598639*c_0101_6^3 + 877839233338614295559816923815824912547\ 3/307782603890614155692811548869252598639*c_0101_6^2 - 1601421947040287233588396816100716470010/30778260389061415569281154\ 8869252598639*c_0101_6 - 315750722330264608934370548279896560988/30\ 7782603890614155692811548869252598639, c_0011_4 + 186341923659754326172713453000839476858/30778260389061415569\ 2811548869252598639*c_0101_6^23 - 198957003014526968664068682413343\ 8129212/307782603890614155692811548869252598639*c_0101_6^22 + 8285610310383589952328373619551400636111/30778260389061415569281154\ 8869252598639*c_0101_6^21 + 123600354268719914304617756897163979419\ 16/307782603890614155692811548869252598639*c_0101_6^20 - 120360963537063964541003284077523620335101/307782603890614155692811\ 548869252598639*c_0101_6^19 - 4940376921489984123194028759868457723\ 8553/307782603890614155692811548869252598639*c_0101_6^18 + 715473493608690355210842074929518197884576/307782603890614155692811\ 548869252598639*c_0101_6^17 + 3956461001143816044351876209086220436\ 10149/307782603890614155692811548869252598639*c_0101_6^16 - 2715774558738553391352839285408848484430994/30778260389061415569281\ 1548869252598639*c_0101_6^15 - 171382046735117951198965510320299696\ 3398975/307782603890614155692811548869252598639*c_0101_6^14 + 6992220108586586619354037256980672270001689/30778260389061415569281\ 1548869252598639*c_0101_6^13 + 295596914785318390326413210821719704\ 8356818/307782603890614155692811548869252598639*c_0101_6^12 - 10560399741064740319914378193150161216544373/3077826038906141556928\ 11548869252598639*c_0101_6^11 - 21446677066683663099659746123204215\ 10727769/307782603890614155692811548869252598639*c_0101_6^10 + 8002442137443363205678653425424820388728019/30778260389061415569281\ 1548869252598639*c_0101_6^9 + 1604897113160901214234203249430536735\ 418851/307782603890614155692811548869252598639*c_0101_6^8 - 3273892570064751289483543249904385117279771/30778260389061415569281\ 1548869252598639*c_0101_6^7 - 9959964388521214649672530545440146443\ 98697/307782603890614155692811548869252598639*c_0101_6^6 + 650505254133828592694348582801510910761128/307782603890614155692811\ 548869252598639*c_0101_6^5 + 30875744026396181345656211506420852226\ 0917/307782603890614155692811548869252598639*c_0101_6^4 - 35376718828991243991531406846690113018464/3077826038906141556928115\ 48869252598639*c_0101_6^3 - 346308569227646987059580786409571503370\ 21/307782603890614155692811548869252598639*c_0101_6^2 - 1028742685736541294480622656155548075433/30778260389061415569281154\ 8869252598639*c_0101_6 + 1182425003352257641096268228420614255395/3\ 07782603890614155692811548869252598639, c_0101_0 + 374893949302104721413294651470740282880/30778260389061415569\ 2811548869252598639*c_0101_6^23 - 410382956260745117813669296467919\ 0291556/307782603890614155692811548869252598639*c_0101_6^22 + 17785821789807580731976974822484351287308/3077826038906141556928115\ 48869252598639*c_0101_6^21 + 19955868344132366289180676722506833378\ 799/307782603890614155692811548869252598639*c_0101_6^20 - 246972852407237547310939871076542642397562/307782603890614155692811\ 548869252598639*c_0101_6^19 - 3271870205214559902577813387086098217\ 0593/307782603890614155692811548869252598639*c_0101_6^18 + 1441518180893155481148811304671102265560480/30778260389061415569281\ 1548869252598639*c_0101_6^17 + 412590218965395579055969717417699989\ 311567/307782603890614155692811548869252598639*c_0101_6^16 - 5538645849835484262232997510407021035306913/30778260389061415569281\ 1548869252598639*c_0101_6^15 - 198199651508024598597329003674944491\ 6463556/307782603890614155692811548869252598639*c_0101_6^14 + 14455217983541751599456090393083994030407007/3077826038906141556928\ 11548869252598639*c_0101_6^13 + 21528779470865688994288984454602928\ 84177666/307782603890614155692811548869252598639*c_0101_6^12 - 21409687561485717201183151040845485941392018/3077826038906141556928\ 11548869252598639*c_0101_6^11 + 11060963239819516730903545281037146\ 26485327/307782603890614155692811548869252598639*c_0101_6^10 + 15172133490743858796441330760274114612235465/3077826038906141556928\ 11548869252598639*c_0101_6^9 - 246009856209192894306850134145485319\ 815374/307782603890614155692811548869252598639*c_0101_6^8 - 6096829885796696986131994574969115526383366/30778260389061415569281\ 1548869252598639*c_0101_6^7 - 7459126809294828529117697670990952277\ 58586/307782603890614155692811548869252598639*c_0101_6^6 + 1308705007928346440968657834054103121606220/30778260389061415569281\ 1548869252598639*c_0101_6^5 + 3599941863634282511335711392570368537\ 64251/307782603890614155692811548869252598639*c_0101_6^4 - 101570810686574099126017070829592893986217/307782603890614155692811\ 548869252598639*c_0101_6^3 - 45600220260331919210162628129443831716\ 474/307782603890614155692811548869252598639*c_0101_6^2 + 1446173046760383133811617249375425898328/30778260389061415569281154\ 8869252598639*c_0101_6 + 1331573565430616630885084255757468378376/3\ 07782603890614155692811548869252598639, c_0101_5 - 190212883706584515379496536105052888331/30778260389061415569\ 2811548869252598639*c_0101_6^23 + 206424659285420499403607663050407\ 6556303/307782603890614155692811548869252598639*c_0101_6^22 - 8824045619384125291580592776386834162382/30778260389061415569281154\ 8869252598639*c_0101_6^21 - 110218083723022112970100067358037610071\ 73/307782603890614155692811548869252598639*c_0101_6^20 + 124583461691812980017458757036103737425411/307782603890614155692811\ 548869252598639*c_0101_6^19 + 2837858214415457761479211203623682500\ 5393/307782603890614155692811548869252598639*c_0101_6^18 - 732584819015859349286311356979791661660927/307782603890614155692811\ 548869252598639*c_0101_6^17 - 2752412292292731165002143645802612404\ 76900/307782603890614155692811548869252598639*c_0101_6^16 + 2806016313022225746996919725361199681021705/30778260389061415569281\ 1548869252598639*c_0101_6^15 + 125486185065393594064497963961887302\ 6018596/307782603890614155692811548869252598639*c_0101_6^14 - 7306136543538775075687721952486454901033972/30778260389061415569281\ 1548869252598639*c_0101_6^13 - 173104685391734794605721451370699286\ 9844910/307782603890614155692811548869252598639*c_0101_6^12 + 10954423537103780931189682326153593674778003/3077826038906141556928\ 11548869252598639*c_0101_6^11 + 30989589478648371811808847185681064\ 7305864/307782603890614155692811548869252598639*c_0101_6^10 - 8046914959804908858757542512788935234318325/30778260389061415569281\ 1548869252598639*c_0101_6^9 - 3565914143084142418495809507996254889\ 67058/307782603890614155692811548869252598639*c_0101_6^8 + 3303477497363751052409169982119753977344250/30778260389061415569281\ 1548869252598639*c_0101_6^7 + 5343964483665960361049309395449834505\ 91751/307782603890614155692811548869252598639*c_0101_6^6 - 712465318959620842041813137851271419172495/307782603890614155692811\ 548869252598639*c_0101_6^5 - 21994969339462479753163198809602808267\ 5817/307782603890614155692811548869252598639*c_0101_6^4 + 56165085956909937514865785997043766114708/3077826038906141556928115\ 48869252598639*c_0101_6^3 + 280365663550230344396697400191768515210\ 48/307782603890614155692811548869252598639*c_0101_6^2 - 639171777817071011462579385653453982343/307782603890614155692811548\ 869252598639*c_0101_6 - 869928208931143731841823243748911765952/307\ 782603890614155692811548869252598639, c_0101_6^24 - 11*c_0101_6^23 + 48*c_0101_6^22 + 51*c_0101_6^21 - 663*c_0101_6^20 - 53*c_0101_6^19 + 3868*c_0101_6^18 + 890*c_0101_6^17 - 14938*c_0101_6^16 - 4482*c_0101_6^15 + 39262*c_0101_6^14 + 3656*c_0101_6^13 - 58571*c_0101_6^12 + 6258*c_0101_6^11 + 42080*c_0101_6^10 - 3460*c_0101_6^9 - 17535*c_0101_6^8 - 750*c_0101_6^7 + 4202*c_0101_6^6 + 717*c_0101_6^5 - 482*c_0101_6^4 - 120*c_0101_6^3 + 28*c_0101_6^2 + 6*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB