Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 1014866139] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1838 geometric_solution 5.48899270 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 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.334704154784 0.199073867657 0 0 2 2 0132 2310 2310 0132 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 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 1.474052415508 1.203338984340 3 1 1 4 0132 3201 0132 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 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.734261213053 0.267824394456 2 4 6 5 0132 0321 0132 0132 0 0 0 0 0 -1 1 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 0 -1 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.884724705708 0.765560494780 6 5 2 3 0132 1023 0132 0321 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 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.884724705708 0.765560494780 4 5 3 5 1023 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.846501333961 0.765115048018 4 6 6 3 0132 1230 3012 0132 0 0 0 0 0 1 0 -1 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 0 -1 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.377604875951 0.556175207388 ==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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_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_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 170113765429805217348957296151589793855778653/274665976884610610589\ 9772509743687719541091*c_0110_5^21 - 1219250054678777013393569398751825045653557001/27466597688461061058\ 99772509743687719541091*c_0110_5^20 + 25381634858647719004062208129594939986516324/1727458974117047865345\ 7688740526337858749*c_0110_5^19 + 228571846551481192542249229611484\ 71098871697450/2746659768846106105899772509743687719541091*c_0110_5\ ^18 - 19565986833482924400751376368251366492003467236/2746659768846\ 106105899772509743687719541091*c_0110_5^17 - 37295151173424103374481806824310698686483260165/9155532562820353686\ 33257503247895906513697*c_0110_5^16 - 5880313789433591048922931309887863520722963688/91555325628203536863\ 3257503247895906513697*c_0110_5^15 + 186391652341968292232242626827992610746776420526/274665976884610610\ 5899772509743687719541091*c_0110_5^14 + 2514795279258651605554785310578161679879917510/91555325628203536863\ 3257503247895906513697*c_0110_5^13 - 276962346048279303087106389945306172607881117039/274665976884610610\ 5899772509743687719541091*c_0110_5^12 + 51892574055780941155830724994013576692208141561/9155532562820353686\ 33257503247895906513697*c_0110_5^11 + 2514335235021847788526884014151441605485429221/31570801940759840297\ 698534594755031259093*c_0110_5^10 - 103296930104148020857714751531948314048509498909/915553256282035368\ 633257503247895906513697*c_0110_5^9 - 37293170647556876545990863392064707188317518628/9155532562820353686\ 33257503247895906513697*c_0110_5^8 + 190797194705259413385479767236421150917382368154/274665976884610610\ 5899772509743687719541091*c_0110_5^7 + 15379769357935039432339012352314306390882044916/2746659768846106105\ 899772509743687719541091*c_0110_5^6 - 15386272023230013299370449788852443379379033169/9155532562820353686\ 33257503247895906513697*c_0110_5^5 + 1380342473908100372317355924315655719080443293/94712405822279520893\ 095603784265093777279*c_0110_5^4 + 223653457165969311760825068433667837874473019/832321142074577607848\ 41591204354173319427*c_0110_5^3 - 168919035712826327907632347897134\ 012591710619/31570801940759840297698534594755031259093*c_0110_5^2 + 2525818353058910477801569219470727908256465114/27466597688461061058\ 99772509743687719541091*c_0110_5 + 10154813200781750905613642693378853754099910/2746659768846106105899\ 772509743687719541091, c_0011_0 - 1, c_0011_2 + 7155143974552360503836182470812154596/4042356202402028207131\ 6945703911691753*c_0110_5^21 + 522908731175319120276897211840492421\ 55/40423562024020282071316945703911691753*c_0110_5^20 - 3070239482092035898977172380759680609/76270871743434494474182916422\ 4748901*c_0110_5^19 - 987085644523398494282290240896595212610/40423\ 562024020282071316945703911691753*c_0110_5^18 + 689977890160497336328302786063103300571/404235620240202820713169457\ 03911691753*c_0110_5^17 + 4856269528154672799992751144769334524736/\ 40423562024020282071316945703911691753*c_0110_5^16 + 1426288183190651257060738287589108645915/40423562024020282071316945\ 703911691753*c_0110_5^15 - 7894974231471464729277499304153858904094\ /40423562024020282071316945703911691753*c_0110_5^14 - 1661899268019824239674005156583889430169/40423562024020282071316945\ 703911691753*c_0110_5^13 + 1174062611050580390577866212396557790926\ 1/40423562024020282071316945703911691753*c_0110_5^12 - 4551886799222083054239564176296357116500/40423562024020282071316945\ 703911691753*c_0110_5^11 - 1034185648414529659465030487747352621357\ 5/40423562024020282071316945703911691753*c_0110_5^10 + 11397229988803303226407384856087251680986/4042356202402028207131694\ 5703911691753*c_0110_5^9 + 6929909711914510241701296430984609182037\ /40423562024020282071316945703911691753*c_0110_5^8 - 7253095362000187086870795826442079661482/40423562024020282071316945\ 703911691753*c_0110_5^7 - 2358264186303873920435176987582597855143/\ 40423562024020282071316945703911691753*c_0110_5^6 + 1703723418170218242515651027377902244985/40423562024020282071316945\ 703911691753*c_0110_5^5 - 1077129800160601459044075534883008447677/\ 40423562024020282071316945703911691753*c_0110_5^4 - 440848169131317577527490185995802699967/404235620240202820713169457\ 03911691753*c_0110_5^3 + 515262908033459403738965016497299568570/40\ 423562024020282071316945703911691753*c_0110_5^2 + 20310866261220021525202756382355036736/4042356202402028207131694570\ 3911691753*c_0110_5 + 6803762270341591434930348399298330840/4042356\ 2024020282071316945703911691753, c_0011_4 + 2119195656299885020743290486666621808/4042356202402028207131\ 6945703911691753*c_0110_5^21 + 155385430562778778447219878318992506\ 09/40423562024020282071316945703911691753*c_0110_5^20 - 897874787881126670894250750467664683/762708717434344944741829164224\ 748901*c_0110_5^19 - 292109761791228202305059138560370574264/404235\ 62024020282071316945703911691753*c_0110_5^18 + 189996695840650548187798026430908194348/404235620240202820713169457\ 03911691753*c_0110_5^17 + 1419172609070856496453935576955322279141/\ 40423562024020282071316945703911691753*c_0110_5^16 + 514279243652093766884863224662588273281/404235620240202820713169457\ 03911691753*c_0110_5^15 - 2221156045400998682541670234924834728339/\ 40423562024020282071316945703911691753*c_0110_5^14 - 647997128804008074848195604025388055460/404235620240202820713169457\ 03911691753*c_0110_5^13 + 3253328717911253209492368356710432620372/\ 40423562024020282071316945703911691753*c_0110_5^12 - 1116932422090347562514125974125628623940/40423562024020282071316945\ 703911691753*c_0110_5^11 - 2885990770392577073596606849633749030955\ /40423562024020282071316945703911691753*c_0110_5^10 + 2886757714364096265773121214242141374947/40423562024020282071316945\ 703911691753*c_0110_5^9 + 2309962798139275608641327910207065976259/\ 40423562024020282071316945703911691753*c_0110_5^8 - 1818693034237183123357605978620461005414/40423562024020282071316945\ 703911691753*c_0110_5^7 - 1004800183564857667257746357837011487876/\ 40423562024020282071316945703911691753*c_0110_5^6 + 469180617949552907276699033174166741005/404235620240202820713169457\ 03911691753*c_0110_5^5 - 285626586566049984198267512518738514175/40\ 423562024020282071316945703911691753*c_0110_5^4 - 286677341897870354864991989650395280573/404235620240202820713169457\ 03911691753*c_0110_5^3 + 143945797312817490092810400912113768750/40\ 423562024020282071316945703911691753*c_0110_5^2 + 82619842345809276877060051172573982323/4042356202402028207131694570\ 3911691753*c_0110_5 - 71600594260200901384476283205308811/404235620\ 24020282071316945703911691753, c_0101_0 - 5938481095762622044525942373108263672/4042356202402028207131\ 6945703911691753*c_0110_5^21 - 443617544454515384403806637534451364\ 51/40423562024020282071316945703911691753*c_0110_5^20 + 2422479033793390650514945161474117235/76270871743434494474182916422\ 4748901*c_0110_5^19 + 843385456196396543715503792754467953427/40423\ 562024020282071316945703911691753*c_0110_5^18 - 451581348167513601782542955956051776209/404235620240202820713169457\ 03911691753*c_0110_5^17 - 4163403209970374695039975939889035854084/\ 40423562024020282071316945703911691753*c_0110_5^16 - 1741176169488337625863540944167840111920/40423562024020282071316945\ 703911691753*c_0110_5^15 + 6556708644553119675781962211358390773081\ /40423562024020282071316945703911691753*c_0110_5^14 + 2228518628922382701993382358029366553493/40423562024020282071316945\ 703911691753*c_0110_5^13 - 9978920564031127414933279570243618672433\ /40423562024020282071316945703911691753*c_0110_5^12 + 2586647918394483427001467983059572650633/40423562024020282071316945\ 703911691753*c_0110_5^11 + 9862985345356403664075834169398141240426\ /40423562024020282071316945703911691753*c_0110_5^10 - 8975375163341593638988341677198142215529/40423562024020282071316945\ 703911691753*c_0110_5^9 - 7517902633682224932598753044223392066481/\ 40423562024020282071316945703911691753*c_0110_5^8 + 6088448528358596239527230003744298300699/40423562024020282071316945\ 703911691753*c_0110_5^7 + 2723584893141335716231554113222915215322/\ 40423562024020282071316945703911691753*c_0110_5^6 - 1804795293125732294543946494632352474565/40423562024020282071316945\ 703911691753*c_0110_5^5 + 874950724977928867846956222540271564268/4\ 0423562024020282071316945703911691753*c_0110_5^4 + 777259023739456304288624519503140935317/404235620240202820713169457\ 03911691753*c_0110_5^3 - 470387052665348765379722880848343087220/40\ 423562024020282071316945703911691753*c_0110_5^2 - 95861798746389431190535096317916105221/4042356202402028207131694570\ 3911691753*c_0110_5 + 3556712960768861131638331104787720163/4042356\ 2024020282071316945703911691753, c_0101_1 + 4326158475892120063395238160220361663/4042356202402028207131\ 6945703911691753*c_0110_5^21 + 309147818039726606629276823752147607\ 79/40423562024020282071316945703911691753*c_0110_5^20 - 1947764908317849584854860960007060117/76270871743434494474182916422\ 4748901*c_0110_5^19 - 578878118622926536762630050880846463555/40423\ 562024020282071316945703911691753*c_0110_5^18 + 507412253419167080075772123077532570868/404235620240202820713169457\ 03911691753*c_0110_5^17 + 2833513704285475883140097562803719424814/\ 40423562024020282071316945703911691753*c_0110_5^16 + 413264138876499058870206435047268761431/404235620240202820713169457\ 03911691753*c_0110_5^15 - 4767431237969161622306342986170511390524/\ 40423562024020282071316945703911691753*c_0110_5^14 - 158055386850100944210539807310550176934/404235620240202820713169457\ 03911691753*c_0110_5^13 + 7115901779524183896080914291706968666878/\ 40423562024020282071316945703911691753*c_0110_5^12 - 3965299320740518808513457473360953260167/40423562024020282071316945\ 703911691753*c_0110_5^11 - 5657161588626293064606512465384308604996\ /40423562024020282071316945703911691753*c_0110_5^10 + 7771059685094366949838643353330830039453/40423562024020282071316945\ 703911691753*c_0110_5^9 + 3165049514232670835768633107983662862423/\ 40423562024020282071316945703911691753*c_0110_5^8 - 5028473241106909526299193614987181840025/40423562024020282071316945\ 703911691753*c_0110_5^7 - 694389128604571274739044064667330890975/4\ 0423562024020282071316945703911691753*c_0110_5^6 + 1445890021987101100538871818493429553467/40423562024020282071316945\ 703911691753*c_0110_5^5 - 856300939062423179575195758932013103882/4\ 0423562024020282071316945703911691753*c_0110_5^4 - 380705732851926369055761002583993567291/404235620240202820713169457\ 03911691753*c_0110_5^3 + 319858788045931393239150035629884110856/40\ 423562024020282071316945703911691753*c_0110_5^2 + 25676418297721183470690348932424621527/4042356202402028207131694570\ 3911691753*c_0110_5 - 18334214141311806664322257487284935091/404235\ 62024020282071316945703911691753, c_0101_3 + 2883867290145213215088207913005337154/4042356202402028207131\ 6945703911691753*c_0110_5^21 + 214549862325892663538726006787796992\ 55/40423562024020282071316945703911691753*c_0110_5^20 - 1181546019437273699084540540535738113/76270871743434494474182916422\ 4748901*c_0110_5^19 - 404989587290431953196472636382276613905/40423\ 562024020282071316945703911691753*c_0110_5^18 + 221644565040935540648187315873841440467/404235620240202820713169457\ 03911691753*c_0110_5^17 + 1963258549110312676420122180287397940655/\ 40423562024020282071316945703911691753*c_0110_5^16 + 848758562265740365545196645260342323626/404235620240202820713169457\ 03911691753*c_0110_5^15 - 2924260073066541262122034090279181522811/\ 40423562024020282071316945703911691753*c_0110_5^14 - 1046675108049761086443096616911233197103/40423562024020282071316945\ 703911691753*c_0110_5^13 + 4230946084381645489163162518945138481000\ /40423562024020282071316945703911691753*c_0110_5^12 - 1344574474343790867251644625260219290466/40423562024020282071316945\ 703911691753*c_0110_5^11 - 3724830408504165481398901525405858477823\ /40423562024020282071316945703911691753*c_0110_5^10 + 4044136181656738220452906715075898055078/40423562024020282071316945\ 703911691753*c_0110_5^9 + 2512537109620382914000550721404832663893/\ 40423562024020282071316945703911691753*c_0110_5^8 - 2034287270897317935850855693131860057967/40423562024020282071316945\ 703911691753*c_0110_5^7 - 620974728753548414299781145644752093460/4\ 0423562024020282071316945703911691753*c_0110_5^6 - 20374332328573378323112628127270806453/4042356202402028207131694570\ 3911691753*c_0110_5^5 - 726691659576456327177589879671279204180/404\ 23562024020282071316945703911691753*c_0110_5^4 + 66494076973492493867348613362122668082/4042356202402028207131694570\ 3911691753*c_0110_5^3 + 288536029349110694360608834414591029397/404\ 23562024020282071316945703911691753*c_0110_5^2 - 34441404823964377382862529679603207523/4042356202402028207131694570\ 3911691753*c_0110_5 + 20662472404048150491961492024722008223/404235\ 62024020282071316945703911691753, c_0110_5^22 + 7*c_0110_5^21 - 25*c_0110_5^20 - 131*c_0110_5^19 + 139*c_0110_5^18 + 650*c_0110_5^17 - 9*c_0110_5^16 - 1169*c_0110_5^15 + 101*c_0110_5^14 + 1713*c_0110_5^13 - 1138*c_0110_5^12 - 1254*c_0110_5^11 + 2040*c_0110_5^10 + 489*c_0110_5^9 - 1322*c_0110_5^8 - 24*c_0110_5^7 + 342*c_0110_5^6 - 237*c_0110_5^5 - 17*c_0110_5^4 + 105*c_0110_5^3 - 17*c_0110_5^2 - 2*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB