Magma V2.19-8 Tue Aug 20 2013 16:14:43 on localhost [Seed = 1797977972] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s706 geometric_solution 5.21934611 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0.495640009773 0.249900071050 2 0 3 0 0132 2310 0132 0132 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 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.895708813097 0.561176588489 1 3 4 5 0132 0213 0132 0132 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 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.688718341367 0.628467725716 5 4 2 1 1023 1023 0213 0132 0 0 0 0 0 -1 0 1 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 -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.688718341367 0.628467725716 3 4 4 2 1023 1230 3012 0132 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 0 0 0 0 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.207736490933 0.722954531344 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 -1 0 1 -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 -1 0 1 -1 0 0 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 0.599735980789 0.911639013540 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : 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_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 485643694744450945463972670532036539506486882457169342159/921470879\ 82764990649840157834092785889286866099449198312*c_0101_4^22 + 5126337937782012411673316170743833254132996600314953408953/27644126\ 3948294971949520473502278357667860598298347594936*c_0101_4^21 - 7418011494325331711563341717945602886423789192405749098607/13822063\ 1974147485974760236751139178833930299149173797468*c_0101_4^20 - 14063738688227549911148054691922993668983216944919449540103/1382206\ 31974147485974760236751139178833930299149173797468*c_0101_4^19 - 117904303472588094493151791484284682273709821413354343970359/276441\ 263948294971949520473502278357667860598298347594936*c_0101_4^18 - 40736581749793352460209968440575433203387988264130313254141/6911031\ 5987073742987380118375569589416965149574586898734*c_0101_4^17 - 79184102213077768124626649322383893609951354697865873788663/6911031\ 5987073742987380118375569589416965149574586898734*c_0101_4^16 + 206383407921877992315640618613586674133781687651640275443639/921470\ 87982764990649840157834092785889286866099449198312*c_0101_4^15 + 157314604248423850487955869107166893691089929318229307187439/691103\ 15987073742987380118375569589416965149574586898734*c_0101_4^14 - 1311349133416130332516819372553906094597735109562909068567/19144131\ 8523749980574460161705178918052535040372816894*c_0101_4^13 - 1680961045720904004914757822309987796795509802788409311765015/92147\ 087982764990649840157834092785889286866099449198312*c_0101_4^12 - 699756640486712818276523481095810463304752048885684823380337/138220\ 631974147485974760236751139178833930299149173797468*c_0101_4^11 + 4086425230602738022768249883688680321101988904049305422789107/27644\ 1263948294971949520473502278357667860598298347594936*c_0101_4^10 - 907106092300107394117109136548308239701276492384898630942299/460735\ 43991382495324920078917046392944643433049724599156*c_0101_4^9 - 11044149294071663445811051350246562811959160513502665556049/8428087\ 31549679792529025833848409627036160360665693887*c_0101_4^8 + 3238972460133149364350109867757216745502928314877123014873515/13822\ 0631974147485974760236751139178833930299149173797468*c_0101_4^7 + 2969685416586335376778377146139812340075574953191562286816235/92147\ 087982764990649840157834092785889286866099449198312*c_0101_4^6 - 468787897280507276479875115763457982241731407725742607263221/276441\ 263948294971949520473502278357667860598298347594936*c_0101_4^5 - 507882217727035912137752452685852843033252546388944094070969/276441\ 263948294971949520473502278357667860598298347594936*c_0101_4^4 - 580832839962586287940885480238105897903613136018358804643049/921470\ 87982764990649840157834092785889286866099449198312*c_0101_4^3 + 703329979989929563934100763853325083357364116222102965145869/921470\ 87982764990649840157834092785889286866099449198312*c_0101_4^2 - 30117870174044011289054521196720387091467180695455423627149/1382206\ 31974147485974760236751139178833930299149173797468*c_0101_4 - 110505774484120100278638829421512068496666624803278874863285/691103\ 15987073742987380118375569589416965149574586898734, c_0011_0 - 1, c_0011_1 + 197032722127281180015741699432717164356694102688383/31128669\ 67865853342674148970815917366707886835330356*c_0101_4^22 + 693191172585400994472720936258375998148961779514083/311286696786585\ 3342674148970815917366707886835330356*c_0101_4^21 - 1002809171401625500283028233329430749888642587742881/15564334839329\ 26671337074485407958683353943417665178*c_0101_4^20 - 1899482582858455370093527862299341348912806207257041/15564334839329\ 26671337074485407958683353943417665178*c_0101_4^19 - 15953176955332405011635662003880580297475823373190533/3112866967865\ 853342674148970815917366707886835330356*c_0101_4^18 - 5512990762590425804064224132631592055859645005091859/77821674196646\ 3335668537242703979341676971708832589*c_0101_4^17 - 10730380190261321430938949035979929831364264103569750/7782167419664\ 63335668537242703979341676971708832589*c_0101_4^16 + 83600104466322418025665521896495800562385267543788055/3112866967865\ 853342674148970815917366707886835330356*c_0101_4^15 + 21192095695763175725660314476027429355932421336399910/7782167419664\ 63335668537242703979341676971708832589*c_0101_4^14 - 63941695067235986157488266778526345983375866690877108/7782167419664\ 63335668537242703979341676971708832589*c_0101_4^13 - 681363256703093038917044245299309346634443695670621867/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^12 - 95046752197791441182702146384504732631025467518973759/1556433483932\ 926671337074485407958683353943417665178*c_0101_4^11 + 548902909829037244599825531506997887638782826917660485/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^10 - 369371037361045832838662314013722211297753694243665047/155643348393\ 2926671337074485407958683353943417665178*c_0101_4^9 - 122027063684809157176223711618230678147380145342672982/778216741966\ 463335668537242703979341676971708832589*c_0101_4^8 + 436166998431715439676251715512262285325740808149976693/155643348393\ 2926671337074485407958683353943417665178*c_0101_4^7 + 1202326674419005475902429826929912779098886508133378975/31128669678\ 65853342674148970815917366707886835330356*c_0101_4^6 - 60560837683148072816240820958078358771400714229617131/3112866967865\ 853342674148970815917366707886835330356*c_0101_4^5 - 61160145991162161025789920692672879136986855582694803/3112866967865\ 853342674148970815917366707886835330356*c_0101_4^4 - 231419684659989232179385072678215392427852571979797437/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^3 + 288093095733110821623135998122174039629991650082588217/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^2 - 4570677323322409922613731570435466366875395845596313/15564334839329\ 26671337074485407958683353943417665178*c_0101_4 - 15046001284396077813921676324980596083974920362627519/7782167419664\ 63335668537242703979341676971708832589, c_0011_3 + 316079904627040085908977059515812915478909471953769/31128669\ 67865853342674148970815917366707886835330356*c_0101_4^22 + 1112426085839011788341807715412326640166612071793815/31128669678658\ 53342674148970815917366707886835330356*c_0101_4^21 - 803650874662737717097951889119888934784420621278487/778216741966463\ 335668537242703979341676971708832589*c_0101_4^20 - 3046900977985737713445955545035652967828506311426557/15564334839329\ 26671337074485407958683353943417665178*c_0101_4^19 - 25614312835704080139616209817904977430879925454476795/3112866967865\ 853342674148970815917366707886835330356*c_0101_4^18 - 17716518112336001426647870340772039560474877373883689/1556433483932\ 926671337074485407958683353943417665178*c_0101_4^17 - 17252658293613671132306212350214993026859834879917352/7782167419664\ 63335668537242703979341676971708832589*c_0101_4^16 + 133880508663467793867309874730687844258824645590695229/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^15 + 67932716565993896954512268711664972805636025569903643/1556433483932\ 926671337074485407958683353943417665178*c_0101_4^14 - 102380450667458912727242825352440366128399401672510194/778216741966\ 463335668537242703979341676971708832589*c_0101_4^13 - 1093112661613241433306110360700661051515506550002359477/31128669678\ 65853342674148970815917366707886835330356*c_0101_4^12 - 77038414610230619528879695897372462082206514512382537/7782167419664\ 63335668537242703979341676971708832589*c_0101_4^11 + 875496260722026275590509491303694181359753052310799863/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^10 - 296278538393370115466435342941660526698085973401848187/778216741966\ 463335668537242703979341676971708832589*c_0101_4^9 - 195290774029077226694298088082167015414470828763509914/778216741966\ 463335668537242703979341676971708832589*c_0101_4^8 + 696731433461427833526121338814672694876212530666685651/155643348393\ 2926671337074485407958683353943417665178*c_0101_4^7 + 1927681895766380564926500057231482300296493477925958961/31128669678\ 65853342674148970815917366707886835330356*c_0101_4^6 - 91035791663754353715819028525784041257022553972580807/3112866967865\ 853342674148970815917366707886835330356*c_0101_4^5 - 93274287924035317082811769470824300341718404763627011/3112866967865\ 853342674148970815917366707886835330356*c_0101_4^4 - 373112457834023647039555680084618121192626185383888713/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^3 + 460131545377570463247239008214205411280365403711075877/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^2 - 4142294274736804908283049888157388057615184189935061/77821674196646\ 3335668537242703979341676971708832589*c_0101_4 - 23100210171790727540373791954275635453679451185071300/7782167419664\ 63335668537242703979341676971708832589, c_0101_0 + 568780194427778919001670455774890116620948765393789/31128669\ 67865853342674148970815917366707886835330356*c_0101_4^22 + 1998719380218929755804542340787786643481872456074379/31128669678658\ 53342674148970815917366707886835330356*c_0101_4^21 - 1449663646773209941841264905821714665828582790909795/77821674196646\ 3335668537242703979341676971708832589*c_0101_4^20 - 5473080419665621252030871418084947475207593292408003/15564334839329\ 26671337074485407958683353943417665178*c_0101_4^19 - 46002969672514792955903769779881210831108437738423255/3112866967865\ 853342674148970815917366707886835330356*c_0101_4^18 - 31725019380040300062122092896022612383379586365054333/1556433483932\ 926671337074485407958683353943417665178*c_0101_4^17 - 30889498305369393566971499956286438243888595385701264/7782167419664\ 63335668537242703979341676971708832589*c_0101_4^16 + 241997173290213770283188394105882369725277819472692393/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^15 + 122007576714072419543031965570443378287821673685289587/155643348393\ 2926671337074485407958683353943417665178*c_0101_4^14 - 184857560173891114547619449245213036776732756345498980/778216741966\ 463335668537242703979341676971708832589*c_0101_4^13 - 1964380528073696971056173765417651002829409650664695273/31128669678\ 65853342674148970815917366707886835330356*c_0101_4^12 - 135103288243747606404119871752628106189637530893563065/778216741966\ 463335668537242703979341676971708832589*c_0101_4^11 + 1589737758201765486483782942847071439312396264400352695/31128669678\ 65853342674148970815917366707886835330356*c_0101_4^10 - 533695523350623275042712719481212346104621592724902999/778216741966\ 463335668537242703979341676971708832589*c_0101_4^9 - 349756291352918978116520546174034475414410914246587094/778216741966\ 463335668537242703979341676971708832589*c_0101_4^8 + 1262843885852942389333721648577595374172809718657008483/15564334839\ 32926671337074485407958683353943417665178*c_0101_4^7 + 3460857973143157642567114132356779732701404704026732409/31128669678\ 65853342674148970815917366707886835330356*c_0101_4^6 - 188521390698578300077497009365809409790345481855991419/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^5 - 183783120435178969080890005006541560532136706683308123/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^4 - 678456802288849159256942020656579598240876222772889333/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^3 + 829864463623411840947361480228276413730697094250121021/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^2 - 7022284348040157024232860537049560016863811388615533/77821674196646\ 3335668537242703979341676971708832589*c_0101_4 - 42162586079642071877566797214330817730566719650400504/7782167419664\ 63335668537242703979341676971708832589, c_0101_1 + 227854342843738581594669834229372668530761883379013/31128669\ 67865853342674148970815917366707886835330356*c_0101_4^22 + 802027212887833123329858172640313829943921170624807/311286696786585\ 3342674148970815917366707886835330356*c_0101_4^21 - 579516171793877340161814023984087941885511976262212/778216741966463\ 335668537242703979341676971708832589*c_0101_4^20 - 2198831229502497612319995390979438152914774202662721/15564334839329\ 26671337074485407958683353943417665178*c_0101_4^19 - 18454557168580068785188604834068446505286528210499107/3112866967865\ 853342674148970815917366707886835330356*c_0101_4^18 - 12765420768331906642225602039611177068442105131532643/1556433483932\ 926671337074485407958683353943417665178*c_0101_4^17 - 12418958350998352693381774233031654144177169094175014/7782167419664\ 63335668537242703979341676971708832589*c_0101_4^16 + 96589039310246469391408490359681384548094014918248317/3112866967865\ 853342674148970815917366707886835330356*c_0101_4^15 + 49090395197750695140072946531140810333876096250201743/1556433483932\ 926671337074485407958683353943417665178*c_0101_4^14 - 73933229691668430767831452448117988388439411027474982/7782167419664\ 63335668537242703979341676971708832589*c_0101_4^13 - 788606126428031150897520674852576604643018117934939541/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^12 - 55226748136290188458646157633977239120978999808877534/7782167419664\ 63335668537242703979341676971708832589*c_0101_4^11 + 634858711084344349433672417667313001980697188293807811/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^10 - 213438937417675790685554012900906034687589285084269100/778216741966\ 463335668537242703979341676971708832589*c_0101_4^9 - 141977439927408365259961886978422707241471558942632941/778216741966\ 463335668537242703979341676971708832589*c_0101_4^8 + 503816595208709662235666434484224659668829057270051089/155643348393\ 2926671337074485407958683353943417665178*c_0101_4^7 + 1392136344415926752859414595667563000209639683158758081/31128669678\ 65853342674148970815917366707886835330356*c_0101_4^6 - 69299668501603768805568323917919764770633006109605535/3112866967865\ 853342674148970815917366707886835330356*c_0101_4^5 - 72472444522705559470724129788681023239276810266556991/3112866967865\ 853342674148970815917366707886835330356*c_0101_4^4 - 265888835072422772312170568090561168608275509056724381/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^3 + 333670040120820440902404427503490824242749844934141589/311286696786\ 5853342674148970815917366707886835330356*c_0101_4^2 - 2362129342940718063115079613321721543102431327728113/77821674196646\ 3335668537242703979341676971708832589*c_0101_4 - 16916852333825280593429507929863059514313937680898961/7782167419664\ 63335668537242703979341676971708832589, c_0101_4^23 + 3*c_0101_4^22 - 12*c_0101_4^21 - 14*c_0101_4^20 - 71*c_0101_4^19 - 70*c_0101_4^18 - 160*c_0101_4^17 + 537*c_0101_4^16 + 210*c_0101_4^15 - 1520*c_0101_4^14 - 2785*c_0101_4^13 + 824*c_0101_4^12 + 3279*c_0101_4^11 - 5192*c_0101_4^10 - 528*c_0101_4^9 + 5702*c_0101_4^8 + 3801*c_0101_4^7 - 3459*c_0101_4^6 - 143*c_0101_4^5 - 1025*c_0101_4^4 + 2069*c_0101_4^3 - 804*c_0101_4^2 - 268*c_0101_4 + 152 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB