Magma V2.19-8 Tue Aug 20 2013 16:14:40 on localhost [Seed = 4122241516] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s653 geometric_solution 5.14606452 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 -1 0 0 1 -1 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.473072243386 0.329223007075 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.575877749088 0.991082897893 3 0 4 1 3201 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.575877749088 0.991082897893 3 1 3 2 2310 0132 3201 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 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.253450318540 1.120852562831 5 5 1 2 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.046978751044 1.446157025692 4 5 5 4 0132 1230 3012 3201 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 0 0 0 0 0 0 0 -0.190954919683 0.499858145888 ==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' : negation(d['1']), 's_2_0' : negation(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_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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0110_2'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 49101319214264668587722525843036594938620/3231586266506334912910473\ 5061689683697*c_0110_2^16 - 291761555227336000644509695202675984544\ 948/32315862665063349129104735061689683697*c_0110_2^15 + 239595202459188639577808894005168800424536/323158626650633491291047\ 35061689683697*c_0110_2^14 - 62127799777223835437446699240251041039\ 3031/32315862665063349129104735061689683697*c_0110_2^13 + 107826319945015165181314082898652125738988/323158626650633491291047\ 35061689683697*c_0110_2^12 - 13483993085581524141511386197982336611\ 9865/32315862665063349129104735061689683697*c_0110_2^11 + 1501226707286687126275240315436287176189291/32315862665063349129104\ 735061689683697*c_0110_2^10 + 8288271510910514732326927371447792122\ 333303/32315862665063349129104735061689683697*c_0110_2^9 - 300817442790716689809314003371374248721571/323158626650633491291047\ 35061689683697*c_0110_2^8 + 279249506055616529717055705974650075412\ 2518/32315862665063349129104735061689683697*c_0110_2^7 - 3741174456808568374678102956898650501427952/32315862665063349129104\ 735061689683697*c_0110_2^6 + 52399683774056940597917583480524472399\ 13116/32315862665063349129104735061689683697*c_0110_2^5 + 396910199301819195740022289699809732258443/323158626650633491291047\ 35061689683697*c_0110_2^4 - 471062489118830490299031058430052605290\ 7273/32315862665063349129104735061689683697*c_0110_2^3 + 979952783493674162783053667548756264940326/323158626650633491291047\ 35061689683697*c_0110_2^2 + 440767912423598392293414211537187333029\ 382/32315862665063349129104735061689683697*c_0110_2 - 33959880346285665088203265503641431387360/3231586266506334912910473\ 5061689683697, c_0011_0 - 1, c_0011_4 + 229713405015034741015486968788329915923/32315862665063349129\ 104735061689683697*c_0110_2^16 - 1396398354628791988921796374542157\ 358289/32315862665063349129104735061689683697*c_0110_2^15 + 1287617430788354978213452240922975304351/32315862665063349129104735\ 061689683697*c_0110_2^14 - 2951439843731899547254141861220327296500\ /32315862665063349129104735061689683697*c_0110_2^13 + 862205900896613915372964755973811588455/323158626650633491291047350\ 61689683697*c_0110_2^12 - 465219228302160402052576578134687932371/3\ 2315862665063349129104735061689683697*c_0110_2^11 + 7189576064029322641634191780827918215284/32315862665063349129104735\ 061689683697*c_0110_2^10 + 3791693111738663479493469234891119476350\ 4/32315862665063349129104735061689683697*c_0110_2^9 - 7273861367196324060708312660260863023143/32315862665063349129104735\ 061689683697*c_0110_2^8 + 9567972516967725498085766682772384869230/\ 32315862665063349129104735061689683697*c_0110_2^7 - 21163118242074479693295110378485593747953/3231586266506334912910473\ 5061689683697*c_0110_2^6 + 2471023980241299151412930622155979772835\ 3/32315862665063349129104735061689683697*c_0110_2^5 - 1137706344827736060438339274390292590982/32315862665063349129104735\ 061689683697*c_0110_2^4 - 24248229769291256325932585091729370008025\ /32315862665063349129104735061689683697*c_0110_2^3 + 6417144524918864327588119257775899382633/32315862665063349129104735\ 061689683697*c_0110_2^2 + 2681060970702155699068340803083173783933/\ 32315862665063349129104735061689683697*c_0110_2 - 169854019293329635113200653689600564360/323158626650633491291047350\ 61689683697, c_0101_0 + 36911183592503455181243994072804386580/323158626650633491291\ 04735061689683697*c_0110_2^16 - 19879249336102491333451488383749783\ 1154/32315862665063349129104735061689683697*c_0110_2^15 + 68977705654756646667496191627829047936/3231586266506334912910473506\ 1689683697*c_0110_2^14 - 424926164503683414717969448631522067248/32\ 315862665063349129104735061689683697*c_0110_2^13 - 161361686575352605064231892925050372225/323158626650633491291047350\ 61689683697*c_0110_2^12 - 180255720819441512093850712514582186557/3\ 2315862665063349129104735061689683697*c_0110_2^11 + 1018875832883428667023626336380547438155/32315862665063349129104735\ 061689683697*c_0110_2^10 + 6803599265754530113561244922496695650259\ /32315862665063349129104735061689683697*c_0110_2^9 + 3540651908800316199496522411053157787575/32315862665063349129104735\ 061689683697*c_0110_2^8 + 3994164729052649743593976987475017535739/\ 32315862665063349129104735061689683697*c_0110_2^7 - 501816015561734101654828824737052560628/323158626650633491291047350\ 61689683697*c_0110_2^6 + 3584726895486144263878304208541324982495/3\ 2315862665063349129104735061689683697*c_0110_2^5 + 2370474817646683810488529854086550140441/32315862665063349129104735\ 061689683697*c_0110_2^4 - 2351358960175755385272374538411013373812/\ 32315862665063349129104735061689683697*c_0110_2^3 - 520791880086155549365480678216216030739/323158626650633491291047350\ 61689683697*c_0110_2^2 + 70322373799361748963521506875023064390/323\ 15862665063349129104735061689683697*c_0110_2 - 34568631440618394793925235070066661237/3231586266506334912910473506\ 1689683697, c_0101_1 - 68441204031868400517622399822596584442/323158626650633491291\ 04735061689683697*c_0110_2^16 + 38725812190118041472981382238632554\ 4519/32315862665063349129104735061689683697*c_0110_2^15 - 228020813682515353944233510828058806304/323158626650633491291047350\ 61689683697*c_0110_2^14 + 822143991279312640489027262264503785167/3\ 2315862665063349129104735061689683697*c_0110_2^13 + 77867779356884314400700340932412499964/3231586266506334912910473506\ 1689683697*c_0110_2^12 + 254043276612205032237909331077845310124/32\ 315862665063349129104735061689683697*c_0110_2^11 - 1997937965910846445778109714011622636581/32315862665063349129104735\ 061689683697*c_0110_2^10 - 1210139422408149468487499969834232675378\ 4/32315862665063349129104735061689683697*c_0110_2^9 - 3119366396225613128782812341561120666310/32315862665063349129104735\ 061689683697*c_0110_2^8 - 5519291668074178351137641412722867046651/\ 32315862665063349129104735061689683697*c_0110_2^7 + 3203095388362609819249321790551301306363/32315862665063349129104735\ 061689683697*c_0110_2^6 - 6839416266049762009129627082502093959553/\ 32315862665063349129104735061689683697*c_0110_2^5 - 2477917589528583403526406872121761297948/32315862665063349129104735\ 061689683697*c_0110_2^4 + 5498852655729474596794585074197603457193/\ 32315862665063349129104735061689683697*c_0110_2^3 - 137336686856566847393743403220233107928/323158626650633491291047350\ 61689683697*c_0110_2^2 - 405209307797373499317246627745548002588/32\ 315862665063349129104735061689683697*c_0110_2 + 23404101897370251260045153458886525239/3231586266506334912910473506\ 1689683697, c_0101_2 - 21817043180664110011794060/2188058546056536886805129*c_0110_\ 2^16 + 128244558691847499217792290/2188058546056536886805129*c_0110\ _2^15 - 99001016745757292640928995/2188058546056536886805129*c_0110\ _2^14 + 273715061850392079307664136/2188058546056536886805129*c_011\ 0_2^13 - 32097778775485462314436113/2188058546056536886805129*c_011\ 0_2^12 + 66531432296045307436779997/2188058546056536886805129*c_011\ 0_2^11 - 660349776007933534284853051/2188058546056536886805129*c_01\ 10_2^10 - 3721172647915240360452336708/2188058546056536886805129*c_\ 0110_2^9 - 124509287385743238880772531/2188058546056536886805129*c_\ 0110_2^8 - 1381940861309132132325865277/2188058546056536886805129*c\ _0110_2^7 + 1512488627399225998651709874/2188058546056536886805129*\ c_0110_2^6 - 2310016066435236370361053197/2188058546056536886805129\ *c_0110_2^5 - 306639474011104324081925536/2188058546056536886805129\ *c_0110_2^4 + 2001106873895860474971789031/218805854605653688680512\ 9*c_0110_2^3 - 346822043990939973973224971/218805854605653688680512\ 9*c_0110_2^2 - 171889604585982321426201695/218805854605653688680512\ 9*c_0110_2 + 11590134161034893530721390/2188058546056536886805129, c_0110_2^17 - 6*c_0110_2^16 + 47/9*c_0110_2^15 - 349/27*c_0110_2^14 + 79/27*c_0110_2^13 - 77/27*c_0110_2^12 + 830/27*c_0110_2^11 + 4510/27*c_0110_2^10 - 431/27*c_0110_2^9 + 512/9*c_0110_2^8 - 239/3*c_0110_2^7 + 2995/27*c_0110_2^6 + 52/27*c_0110_2^5 - 2608/27*c_0110_2^4 + 686/27*c_0110_2^3 + 214/27*c_0110_2^2 - 32/27*c_0110_2 + 1/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.000 Total time: 0.210 seconds, Total memory usage: 32.09MB