Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 1292685670] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0066 geometric_solution 3.62303442 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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.467214780052 0.566680516724 0 0 3 3 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.241035182677 0.049803524329 0 0 5 4 3201 0132 0132 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 -1 0 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.089906722018 7.531580878506 3 1 1 3 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.005224162498 0.204998040283 5 5 2 6 1023 2031 0132 0132 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 1 -1 0 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.002029818920 0.510141749354 4 4 6 2 1302 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.002029818920 0.510141749354 6 6 4 5 1302 2031 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.002029818920 0.510141749354 ==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' : negation(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' : 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' : d['c_1100_2'], 'c_1100_5' : d['c_1100_2'], 'c_1100_4' : d['c_1100_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_1100_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_0011_6'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_6'])})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 16726659051155800602399350267356269647/5731130214962914057599969092\ 742859280*c_1100_2^15 - 55669763701629054857327584815795411831/5731\ 130214962914057599969092742859280*c_1100_2^14 + 34659089434257643561777640740151472281/2865565107481457028799984546\ 371429640*c_1100_2^13 - 9594545841920846189833901587890375073/52101\ 1837723901277963633553885714480*c_1100_2^12 - 1589284508514322201550577222185239127991/57311302149629140575999690\ 92742859280*c_1100_2^11 + 5033173767898743529402677507695460024759/\ 5731130214962914057599969092742859280*c_1100_2^10 + 5736802445214392203141349678380362414257/28655651074814570287999845\ 46371429640*c_1100_2^9 - 233523398749729339419449003262592768117/27\ 956732755916653939512044354843216*c_1100_2^8 - 5881902238350389777617289974811317949791/28655651074814570287999845\ 46371429640*c_1100_2^7 + 849317257959598886696956491762724977423/25\ 700135493107237926457260505573360*c_1100_2^6 - 17333668023220516854280502855704693222561/5731130214962914057599969\ 09274285928*c_1100_2^5 - 175869793771036962956601391256230791448051\ /5731130214962914057599969092742859280*c_1100_2^4 + 6735018311090475927692032732341977163051/85539256939744985934327896\ 906609840*c_1100_2^3 - 365028201382597032429914988272263650083761/5\ 731130214962914057599969092742859280*c_1100_2^2 + 14022375394599499302800843484239081247921/5731130214962914057599969\ 09274285928*c_1100_2 - 21960688641402122951433542970384128795873/57\ 31130214962914057599969092742859280, c_0011_0 - 1, c_0011_3 + 1403410269232467780985284542/5351742612337831276266429311*c_\ 1100_2^15 - 2670734394542033870967344209/53517426123378312762664293\ 11*c_1100_2^14 + 4427123903147102378829958291/535174261233783127626\ 6429311*c_1100_2^13 - 4932028482654279762539200974/5351742612337831\ 276266429311*c_1100_2^12 - 135357612185958727413942156146/535174261\ 2337831276266429311*c_1100_2^11 + 225677280176531419411898058488/53\ 51742612337831276266429311*c_1100_2^10 + 1046955252507338975246284078861/5351742612337831276266429311*c_1100\ _2^9 - 2352953706016807650627453956610/5351742612337831276266429311\ *c_1100_2^8 - 2338191573852865381808598419713/535174261233783127626\ 6429311*c_1100_2^7 + 46330347994289784552727512485/2399884579523691\ 1552764257*c_1100_2^6 - 6240750887932693439341630800588/53517426123\ 37831276266429311*c_1100_2^5 - 11532655400070496738571458033993/535\ 1742612337831276266429311*c_1100_2^4 + 23006177851761734250284944451965/5351742612337831276266429311*c_110\ 0_2^3 - 17734617363220523791460350023824/53517426123378312762664293\ 11*c_1100_2^2 + 6818245406290433931964119522982/5351742612337831276\ 266429311*c_1100_2 - 1095608476390852573094646777248/53517426123378\ 31276266429311, c_0011_4 + 75008065291381875191029078605647/476535217430397510332591665\ 139373*c_1100_2^15 - 70716441938960280334504894601968/1588450724767\ 99170110863888379791*c_1100_2^14 + 96714874116097703280536167173864/158845072476799170110863888379791*\ c_1100_2^13 - 131586355722005024526058027438618/1588450724767991701\ 10863888379791*c_1100_2^12 - 2383454924492379499941700523709003/158\ 845072476799170110863888379791*c_1100_2^11 + 18900240868005878955748416733048862/4765352174303975103325916651393\ 73*c_1100_2^10 + 52523083729878372326136257703513110/47653521743039\ 7510332591665139373*c_1100_2^9 - 6136710038082534852671996319556736\ 1/158845072476799170110863888379791*c_1100_2^8 - 74221881058090107727779040928253566/4765352174303975103325916651393\ 73*c_1100_2^7 + 1118274688254463169063189563048094/7123097420484267\ 71797595912017*c_1100_2^6 - 211640131926741404717607178636801936/15\ 8845072476799170110863888379791*c_1100_2^5 - 728880336282357443275310668385940808/476535217430397510332591665139\ 373*c_1100_2^4 + 8778240649486954026907809825445483/237082197726565\ 9255386028184773*c_1100_2^3 - 469088250939809067696760127423008246/\ 158845072476799170110863888379791*c_1100_2^2 + 535286774223701815853513189885202623/476535217430397510332591665139\ 373*c_1100_2 - 82760961362475921828645202699207531/4765352174303975\ 10332591665139373, c_0011_6 + 62600646771915467165962435390715/476535217430397510332591665\ 139373*c_1100_2^15 - 29619228071000172426758190583106/1588450724767\ 99170110863888379791*c_1100_2^14 + 55713069753990594279793792684444/158845072476799170110863888379791*\ c_1100_2^13 - 50560177801098982186740938524779/15884507247679917011\ 0863888379791*c_1100_2^12 - 2027095235142889196604909785745822/1588\ 45072476799170110863888379791*c_1100_2^11 + 7108165370649207853333135793356271/47653521743039751033259166513937\ 3*c_1100_2^10 + 48906410291945343883949745429547118/476535217430397\ 510332591665139373*c_1100_2^9 - 26799233833013018460675307780653892\ /158845072476799170110863888379791*c_1100_2^8 - 133061005979895087419218990394129369/476535217430397510332591665139\ 373*c_1100_2^7 + 574832694747868644137372597122616/7123097420484267\ 71797595912017*c_1100_2^6 - 41068956302842607899111695035535439/158\ 845072476799170110863888379791*c_1100_2^5 - 509637645728185972935338765922225406/476535217430397510332591665139\ 373*c_1100_2^4 + 3872386874818693781429124391345658/237082197726565\ 9255386028184773*c_1100_2^3 - 171802174510770485205813641062044233/\ 158845072476799170110863888379791*c_1100_2^2 + 173615094313811168275427837792595539/476535217430397510332591665139\ 373*c_1100_2 - 24777903986640932350647818285841304/4765352174303975\ 10332591665139373, c_0101_0 - 143453197345238282745513045567659/47653521743039751033259166\ 5139373*c_1100_2^15 + 76412841013228819881151831455262/158845072476\ 799170110863888379791*c_1100_2^14 - 134189875193414061264010351932701/158845072476799170110863888379791\ *c_1100_2^13 + 135033596128654189055041928207778/158845072476799170\ 110863888379791*c_1100_2^12 + 4637384417100194473450100431707954/15\ 8845072476799170110863888379791*c_1100_2^11 - 18787951415358455579688366626756924/4765352174303975103325916651393\ 73*c_1100_2^10 - 110798341167210576679914646835564123/4765352174303\ 97510332591665139373*c_1100_2^9 + 682989296667726180701445043309450\ 58/158845072476799170110863888379791*c_1100_2^8 + 285440604954172372958597261320645016/476535217430397510332591665139\ 373*c_1100_2^7 - 1415515120657113649930476578379538/712309742048426\ 771797595912017*c_1100_2^6 + 132295125966417993947803030176979901/1\ 58845072476799170110863888379791*c_1100_2^5 + 1187290441127484330498289655417282050/47653521743039751033259166513\ 9373*c_1100_2^4 - 9834220584595454620067688368614182/23708219772656\ 59255386028184773*c_1100_2^3 + 460027968124004420471395985921705803\ /158845072476799170110863888379791*c_1100_2^2 - 487637333845559893044724629343011578/476535217430397510332591665139\ 373*c_1100_2 + 72052867817039383037068610119242118/4765352174303975\ 10332591665139373, c_0101_1 - 454781541921974695513380590712053/47653521743039751033259166\ 5139373*c_1100_2^15 + 232406358565687907151480400241821/15884507247\ 6799170110863888379791*c_1100_2^14 - 386882317050760270106447638561873/158845072476799170110863888379791\ *c_1100_2^13 + 402916008628605305792704503958925/158845072476799170\ 110863888379791*c_1100_2^12 + 14773655601115134766315289036440072/1\ 58845072476799170110863888379791*c_1100_2^11 - 56652456395904523475138637399625892/4765352174303975103325916651393\ 73*c_1100_2^10 - 361822378975921974252792507795099749/4765352174303\ 97510332591665139373*c_1100_2^9 + 208100729158966004268007143435236\ 575/158845072476799170110863888379791*c_1100_2^8 + 1002754836571961988807703113088572506/47653521743039751033259166513\ 9373*c_1100_2^7 - 4403178023900173120343971245610153/71230974204842\ 6771797595912017*c_1100_2^6 + 288196379341246543066697853243963142/\ 158845072476799170110863888379791*c_1100_2^5 + 3978479144550418475474493486866123938/47653521743039751033259166513\ 9373*c_1100_2^4 - 28764623961560068157310943705449890/2370821977265\ 659255386028184773*c_1100_2^3 + 12037297754465117018628911922471528\ 74/158845072476799170110863888379791*c_1100_2^2 - 1123298099369469871733357079269399300/47653521743039751033259166513\ 9373*c_1100_2 + 142399812289774197028623952691446831/47653521743039\ 7510332591665139373, c_1100_2^16 - 16/7*c_1100_2^15 + 27/7*c_1100_2^14 - 33/7*c_1100_2^13 - 666/7*c_1100_2^12 + 1384/7*c_1100_2^11 + 687*c_1100_2^10 - 13735/7*c_1100_2^9 - 7327/7*c_1100_2^8 + 56059/7*c_1100_2^7 - 50265/7*c_1100_2^6 - 46181/7*c_1100_2^5 + 136022/7*c_1100_2^4 - 131016/7*c_1100_2^3 + 67465/7*c_1100_2^2 - 18783/7*c_1100_2 + 2255/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB