Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 492601794] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1471 geometric_solution 5.28921741 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 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.518405319209 0.370725759891 0 2 4 3 0132 0213 0132 0132 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 -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.409909026812 0.508075483538 3 4 1 0 3201 1023 0213 0132 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 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.409909026812 0.508075483538 5 5 1 2 0132 3201 0132 2310 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.915039995914 0.609875965834 2 6 6 1 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.816282714947 0.687457019716 3 5 3 5 0132 2310 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.276289318588 0.912709244952 6 4 4 6 3201 0132 1023 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 1.318143478423 0.368888326950 ==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' : negation(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' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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_0011_2']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_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_2, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 2855468143980519348048578459316447/42700138853306478846242854277550\ 56*c_0101_6^27 - 11354708533882398238365430990568211/10675034713326\ 61971156071356938764*c_0101_6^25 - 378328757165372082536752324020699373/427001388533064788462428542775\ 5056*c_0101_6^23 + 4096107413536059305863484082925502761/4270013885\ 330647884624285427755056*c_0101_6^21 + 3141869430539621483241705806267227433/53375173566633098557803567846\ 9382*c_0101_6^19 + 353064985391968938987879017537140023/38818308048\ 4604353147662311614096*c_0101_6^17 + 8979800302799827554294749206025931711/21350069426653239423121427138\ 77528*c_0101_6^15 - 12805573934470344303982369729974683801/21350069\ 42665323942312142713877528*c_0101_6^13 - 8121936845720799644896261833948866349/21350069426653239423121427138\ 77528*c_0101_6^11 - 10335819656469563541943840256061551559/21350069\ 42665323942312142713877528*c_0101_6^9 - 1432877269757513900552707587027683709/10675034713326619711560713569\ 38764*c_0101_6^7 + 2133208013523820386184075637591308573/4270013885\ 330647884624285427755056*c_0101_6^5 + 730607363527742756958111465857634821/213500694266532394231214271387\ 7528*c_0101_6^3 - 35067537509945146399496798697685085/1067503471332\ 661971156071356938764*c_0101_6, c_0011_0 - 1, c_0011_2 - 15376854108866827742079566022/242614425302877720717288944758\ 81*c_0101_6^27 + 86019673884609987688611864617/24261442530287772071\ 728894475881*c_0101_6^25 + 4559948421532938875118481145252/24261442\ 530287772071728894475881*c_0101_6^23 - 1071980124141691228364705623341/24261442530287772071728894475881*c_\ 0101_6^21 - 362655496576646245327261578668509/242614425302877720717\ 28894475881*c_0101_6^19 - 1413959188694433007052469256974261/242614\ 42530287772071728894475881*c_0101_6^17 - 327919124746948165195068469746613/24261442530287772071728894475881*\ c_0101_6^15 - 987938856733634585657230420164864/2426144253028777207\ 1728894475881*c_0101_6^13 + 1487496930707977725712938510367198/2426\ 1442530287772071728894475881*c_0101_6^11 + 985748586851718888462470123647263/24261442530287772071728894475881*\ c_0101_6^9 + 1255307535709382273578444372292244/2426144253028777207\ 1728894475881*c_0101_6^7 + 430884832387052192730767563737364/242614\ 42530287772071728894475881*c_0101_6^5 - 69669671376320813610477210080605/24261442530287772071728894475881*c\ _0101_6^3 - 48002226529399913994591060460708/2426144253028777207172\ 8894475881*c_0101_6, c_0011_3 + 10949900671460691599940250222443/485228850605755441434577889\ 51762*c_0101_6^27 - 87286893162254732860117306953500/24261442530287\ 772071728894475881*c_0101_6^25 - 1444434308841800226187819744383031\ /48522885060575544143457788951762*c_0101_6^23 + 15762725611702281333338019602145971/4852288506057554414345778895176\ 2*c_0101_6^21 + 47909059733718298423527209821311120/242614425302877\ 72071728894475881*c_0101_6^19 + 11181382130200932185854151631889983\ /48522885060575544143457788951762*c_0101_6^17 + 33662983654055967077566222369050275/2426144253028777207172889447588\ 1*c_0101_6^15 - 50686102803647580709183682278643815/242614425302877\ 72071728894475881*c_0101_6^13 - 29588558977005983425732723536107793\ /24261442530287772071728894475881*c_0101_6^11 - 37985657359544400991903787321671641/2426144253028777207172889447588\ 1*c_0101_6^9 - 9109291374697417806471915213373568/24261442530287772\ 071728894475881*c_0101_6^7 + 9914538125467298293891837019796031/485\ 22885060575544143457788951762*c_0101_6^5 + 2740100628461847517059411219867271/24261442530287772071728894475881\ *c_0101_6^3 - 349392390926893157063051298185727/2426144253028777207\ 1728894475881*c_0101_6, c_0101_0 + 518784534607996814896778385222/24261442530287772071728894475\ 881*c_0101_6^26 - 8226503649735196668122969320962/24261442530287772\ 071728894475881*c_0101_6^24 - 69147962326267565075694784801471/2426\ 1442530287772071728894475881*c_0101_6^22 + 741030626507461973139846870780229/24261442530287772071728894475881*\ c_0101_6^20 + 4604107774120130339931308651905460/242614425302877720\ 71728894475881*c_0101_6^18 + 910281745688044828973834339831919/2426\ 1442530287772071728894475881*c_0101_6^16 + 3210476015351690276946552140126256/24261442530287772071728894475881\ *c_0101_6^14 - 4428295066777113252538624740591013/24261442530287772\ 071728894475881*c_0101_6^12 - 3226934396189781039823497219943297/24\ 261442530287772071728894475881*c_0101_6^10 - 3721889580487581739319879976376843/24261442530287772071728894475881\ *c_0101_6^8 - 1233811696089205770335103733882555/242614425302877720\ 71728894475881*c_0101_6^6 + 334670631468360838982974740136434/24261\ 442530287772071728894475881*c_0101_6^4 + 235742133413951306309638986568327/24261442530287772071728894475881*\ c_0101_6^2 - 46817761617147061623974060854747/242614425302877720717\ 28894475881, c_0101_1 + 1909079181879763246661842586091/2426144253028777207172889447\ 5881*c_0101_6^27 - 30528207341693867778316635848228/242614425302877\ 72071728894475881*c_0101_6^25 - 250370434689693933716644105719364/2\ 4261442530287772071728894475881*c_0101_6^23 + 2760349665299587249045477602939122/24261442530287772071728894475881\ *c_0101_6^21 + 16573364943554203379370117107615895/2426144253028777\ 2071728894475881*c_0101_6^19 + 1140083169399588056684921278638102/2\ 4261442530287772071728894475881*c_0101_6^17 + 11651687654831842545848314434503129/2426144253028777207172889447588\ 1*c_0101_6^15 - 18084332590797707345797600118991214/242614425302877\ 72071728894475881*c_0101_6^13 - 9498594306267444368392446807894639/\ 24261442530287772071728894475881*c_0101_6^11 - 12590970254142792824927974843093234/2426144253028777207172889447588\ 1*c_0101_6^9 - 2683481183254871205932651680956236/24261442530287772\ 071728894475881*c_0101_6^7 + 1844187853245764647735546357962775/242\ 61442530287772071728894475881*c_0101_6^5 + 766692289688871253155947777358028/24261442530287772071728894475881*\ c_0101_6^3 - 206605597075212656012265664011969/24261442530287772071\ 728894475881*c_0101_6, c_0101_4 + 395974089017752331851967763240/24261442530287772071728894475\ 881*c_0101_6^27 - 6324416626026933933332454318525/24261442530287772\ 071728894475881*c_0101_6^25 - 52060214660018081957370784325251/2426\ 1442530287772071728894475881*c_0101_6^23 + 571655192686244410984688434419803/24261442530287772071728894475881*\ c_0101_6^21 + 3449611877442109164117885545030857/242614425302877720\ 71728894475881*c_0101_6^19 + 292431999242949985558306390824578/2426\ 1442530287772071728894475881*c_0101_6^17 + 2354476330937518947701525573075440/24261442530287772071728894475881\ *c_0101_6^15 - 3726034168777050543946771792781592/24261442530287772\ 071728894475881*c_0101_6^13 - 2063569530127285007914787756577713/24\ 261442530287772071728894475881*c_0101_6^11 - 2542348079261121973751508596797396/24261442530287772071728894475881\ *c_0101_6^9 - 568661134746693164878942220718499/2426144253028777207\ 1728894475881*c_0101_6^7 + 409338932627000861029201454264545/242614\ 42530287772071728894475881*c_0101_6^5 + 148026198085963267323166330264644/24261442530287772071728894475881*\ c_0101_6^3 - 89233584538658434635869480581707/242614425302877720717\ 28894475881*c_0101_6, c_0101_6^28 - 16*c_0101_6^26 - 131*c_0101_6^24 + 1447*c_0101_6^22 + 8668*c_0101_6^20 + 527*c_0101_6^18 + 6122*c_0101_6^16 - 9598*c_0101_6^14 - 4842*c_0101_6^12 - 6666*c_0101_6^10 - 1276*c_0101_6^8 + 955*c_0101_6^6 + 442*c_0101_6^4 - 100*c_0101_6^2 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB