Magma V2.19-8 Tue Aug 20 2013 16:18:15 on localhost [Seed = 3970789844] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2459 geometric_solution 5.79994227 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 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.071224417607 0.845434855024 3 3 4 0 0132 2103 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 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.888634410783 1.477353194941 3 4 0 4 3012 3012 0132 0132 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 -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.734745615903 0.799247690408 1 1 5 2 0132 2103 0132 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 -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.623380026686 0.678105504533 2 5 2 1 1230 3012 0132 0132 0 0 0 0 0 1 -1 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 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.177593416403 0.604162389808 4 6 6 3 1230 0132 3201 0132 0 0 0 0 0 0 0 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 1 0 -1 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.305514341976 0.453206471800 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 0 1 0 0 -1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.701646748422 1.810355183102 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_1100_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_1100_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0011_2'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_1'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_2, c_0011_4, c_0011_5, c_0101_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 2993560336928282955205/2707177237913577237*c_1100_0^16 - 19398203776009091842213/2707177237913577237*c_1100_0^15 - 18075022385641839590768/902392412637859079*c_1100_0^14 - 23670090317594834610489/902392412637859079*c_1100_0^13 + 115329099372495076291919/2707177237913577237*c_1100_0^12 + 294353268443575296553564/2707177237913577237*c_1100_0^11 + 81019226011749178265731/902392412637859079*c_1100_0^10 - 115813467249299413045799/2707177237913577237*c_1100_0^9 - 2188265063561348053823648/2707177237913577237*c_1100_0^8 + 3791390100911084829277021/2707177237913577237*c_1100_0^7 - 6137993278110886934111098/2707177237913577237*c_1100_0^6 + 9470564186145675569067346/2707177237913577237*c_1100_0^5 - 7902877043691809180450210/2707177237913577237*c_1100_0^4 + 2820549068638990462081517/2707177237913577237*c_1100_0^3 - 137341045236473609189288/2707177237913577237*c_1100_0^2 - 43233814033743447442506/902392412637859079*c_1100_0 + 19017705259792891598501/2707177237913577237, c_0011_0 - 1, c_0011_1 - 24028731499829471920/902392412637859079*c_1100_0^16 - 156006210330348893187/902392412637859079*c_1100_0^15 - 437208821405143239140/902392412637859079*c_1100_0^14 - 575388719034739795791/902392412637859079*c_1100_0^13 + 919147823171322616373/902392412637859079*c_1100_0^12 + 2376586556796512652642/902392412637859079*c_1100_0^11 + 1985899872931323853609/902392412637859079*c_1100_0^10 - 901988681491635249112/902392412637859079*c_1100_0^9 - 17583097200131654478647/902392412637859079*c_1100_0^8 + 30194763891806318665645/902392412637859079*c_1100_0^7 - 48911102024222142026844/902392412637859079*c_1100_0^6 + 75457071088508197238179/902392412637859079*c_1100_0^5 - 62538282272959029836954/902392412637859079*c_1100_0^4 + 21973717738164899916762/902392412637859079*c_1100_0^3 - 953138456812362295033/902392412637859079*c_1100_0^2 - 1018587491727932531787/902392412637859079*c_1100_0 + 144369167304727612757/902392412637859079, c_0011_2 + 22771484965575711459/902392412637859079*c_1100_0^16 + 146716468322169216735/902392412637859079*c_1100_0^15 + 406577854662386521886/902392412637859079*c_1100_0^14 + 521761223750223594013/902392412637859079*c_1100_0^13 - 907198817373547746628/902392412637859079*c_1100_0^12 - 2223211393739868516740/902392412637859079*c_1100_0^11 - 1759284417340384011844/902392412637859079*c_1100_0^10 + 995888527080653312695/902392412637859079*c_1100_0^9 + 16676156302642769357977/902392412637859079*c_1100_0^8 - 29434276336458169292991/902392412637859079*c_1100_0^7 + 47449536817050664768091/902392412637859079*c_1100_0^6 - 73380920342631578280075/902392412637859079*c_1100_0^5 + 62084066196640141348591/902392412637859079*c_1100_0^4 - 22671230915579273091530/902392412637859079*c_1100_0^3 + 1230233360927335991118/902392412637859079*c_1100_0^2 + 1038196609880368820417/902392412637859079*c_1100_0 - 154707319825557348797/902392412637859079, c_0011_4 - 40091145049962262816/902392412637859079*c_1100_0^16 - 258799980355278632283/902392412637859079*c_1100_0^15 - 719194021295153146976/902392412637859079*c_1100_0^14 - 928792540313264198029/902392412637859079*c_1100_0^13 + 1581742922921131616975/902392412637859079*c_1100_0^12 + 3927549587552821785741/902392412637859079*c_1100_0^11 + 3151293353595047229391/902392412637859079*c_1100_0^10 - 1692526118167918144707/902392412637859079*c_1100_0^9 - 29355880752546038118514/902392412637859079*c_1100_0^8 + 51461689773298118862262/902392412637859079*c_1100_0^7 - 83050760215396263522410/902392412637859079*c_1100_0^6 + 128363742544804295009296/902392412637859079*c_1100_0^5 - 108052300302961140597087/902392412637859079*c_1100_0^4 + 39081710122078804925509/902392412637859079*c_1100_0^3 - 2009656855441956274567/902392412637859079*c_1100_0^2 - 1796739371098389509974/902392412637859079*c_1100_0 + 263238143193871835360/902392412637859079, c_0011_5 - 6263937187872143563/902392412637859079*c_1100_0^16 - 39932953287487425873/902392412637859079*c_1100_0^15 - 108919262377523132231/902392412637859079*c_1100_0^14 - 134688855388845135835/902392412637859079*c_1100_0^13 + 263063729945925304246/902392412637859079*c_1100_0^12 + 600396360598081314159/902392412637859079*c_1100_0^11 + 437776042763651348115/902392412637859079*c_1100_0^10 - 326604298304629435984/902392412637859079*c_1100_0^9 - 4591619446554984494976/902392412637859079*c_1100_0^8 + 8405802510297593070340/902392412637859079*c_1100_0^7 - 13471720704138169456897/902392412637859079*c_1100_0^6 + 20899288999288934600039/902392412637859079*c_1100_0^5 - 18152773637100148178814/902392412637859079*c_1100_0^4 + 6951640208416818852538/902392412637859079*c_1100_0^3 - 473888876109437449722/902392412637859079*c_1100_0^2 - 311319908545674806366/902392412637859079*c_1100_0 + 49611356117707202424/902392412637859079, c_0101_6 + 44294173058584699321/902392412637859079*c_1100_0^16 + 286159750781874620151/902392412637859079*c_1100_0^15 + 796206823488803445374/902392412637859079*c_1100_0^14 + 1031266860514461919856/902392412637859079*c_1100_0^13 - 1739086031155377920452/902392412637859079*c_1100_0^12 - 4342975913862956048484/902392412637859079*c_1100_0^11 - 3506287493671407450764/902392412637859079*c_1100_0^10 + 1836659438475022114997/902392412637859079*c_1100_0^9 + 32422300578817810613628/902392412637859079*c_1100_0^8 - 56696816088574038930385/902392412637859079*c_1100_0^7 + 91564949571653748004087/902392412637859079*c_1100_0^6 - 141469735926469002395185/902392412637859079*c_1100_0^5 + 118870155095454294147333/902392412637859079*c_1100_0^4 - 42882407217094808212766/902392412637859079*c_1100_0^3 + 2182288329802091403530/902392412637859079*c_1100_0^2 + 1975767740451553285748/902392412637859079*c_1100_0 - 290317928391311400923/902392412637859079, c_1100_0^17 + 6*c_1100_0^16 + 15*c_1100_0^15 + 15*c_1100_0^14 - 50*c_1100_0^13 - 80*c_1100_0^12 - 34*c_1100_0^11 + 78*c_1100_0^10 + 713*c_1100_0^9 - 1617*c_1100_0^8 + 2656*c_1100_0^7 - 4145*c_1100_0^6 + 4153*c_1100_0^5 - 2202*c_1100_0^4 + 494*c_1100_0^3 + 22*c_1100_0^2 - 27*c_1100_0 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB