Magma V2.19-8 Tue Aug 20 2013 16:18:45 on localhost [Seed = 3313785009] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2917 geometric_solution 6.11699529 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.999633654084 0.658074918612 0 4 6 5 0132 0132 0132 0132 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 -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.244081562720 1.144509204517 4 0 0 6 0132 0132 2031 0321 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 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.402719586917 1.217538642206 3 3 4 0 1302 2031 1230 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.275986207812 0.641298171890 2 1 5 3 0132 0132 2031 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246698491969 0.499128042003 5 5 1 4 1230 3012 0132 1302 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 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.450329982234 0.541092557303 6 2 6 1 2310 0321 3201 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 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.230431084216 0.992050916582 ==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' : d['1'], 's_1_5' : negation(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' : negation(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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], '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' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), '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' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_5']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 16646828628490278256723248196881240639/1777636529799013904426589305\ 98808273750*c_0101_2^18 - 3366050465168893728393850248786436861/177\ 76365297990139044265893059880827375*c_0101_2^17 + 63973977769438233728247926590658618637/1777636529799013904426589305\ 98808273750*c_0101_2^16 + 6801863223263457401506196549165444418/177\ 76365297990139044265893059880827375*c_0101_2^15 - 395464569353275481908576836129017725748/888818264899506952213294652\ 99404136875*c_0101_2^14 + 1221775024578331518606845556288163764684/\ 88881826489950695221329465299404136875*c_0101_2^13 - 5312467349873815375811760916434973186697/88881826489950695221329465\ 299404136875*c_0101_2^12 + 6291041017831822464018013880989662598261\ /35552730595980278088531786119761654750*c_0101_2^11 - 26672136545672881383878434788675141125121/8888182648995069522132946\ 5299404136875*c_0101_2^10 + 119325426381001692612920972277611700441\ 61/35552730595980278088531786119761654750*c_0101_2^9 - 61017190035169088735490003207338861456741/1777636529799013904426589\ 30598808273750*c_0101_2^8 + 327268268780725920964651660812869626190\ 54/88881826489950695221329465299404136875*c_0101_2^7 - 8587236551567246373496755532498943358057/35552730595980278088531786\ 119761654750*c_0101_2^6 + 6619173863884957114334320685034028106681/\ 88881826489950695221329465299404136875*c_0101_2^5 - 671550582754984442373002766168707635549/355527305959802780885317861\ 19761654750*c_0101_2^4 - 641700420886610899978295834842883960013/88\ 881826489950695221329465299404136875*c_0101_2^3 + 2956346672860713390776842794170618249097/35552730595980278088531786\ 119761654750*c_0101_2^2 - 14210000158553169187038020231654619115539\ /177763652979901390442658930598808273750*c_0101_2 + 4007936784987415897644293652767346661197/17776365297990139044265893\ 0598808273750, c_0011_0 - 1, c_0011_3 - 515020599638292265929329612381948/13416124753200104939068598\ 535759115*c_0101_2^18 - 349005910087273232987405641003414/268322495\ 0640020987813719707151823*c_0101_2^17 + 22588857918044936110450126558344/1341612475320010493906859853575911\ 5*c_0101_2^16 + 712695825752655253785334598783180/26832249506400209\ 87813719707151823*c_0101_2^15 - 19606796472886728524124049143003562\ /13416124753200104939068598535759115*c_0101_2^14 + 46108590535287358856539264895449396/1341612475320010493906859853575\ 9115*c_0101_2^13 - 249366375970152362801170635013646408/13416124753\ 200104939068598535759115*c_0101_2^12 + 118587797252890142132425418580040942/268322495064002098781371970715\ 1823*c_0101_2^11 - 628215283639903735666087057692050624/13416124753\ 200104939068598535759115*c_0101_2^10 + 95468000507237334262891706483659751/2683224950640020987813719707151\ 823*c_0101_2^9 - 648950984926457791120051450639140362/1341612475320\ 0104939068598535759115*c_0101_2^8 + 612009206997292622920866591040968991/134161247532001049390685985357\ 59115*c_0101_2^7 + 39436480583134407874200730755249421/268322495064\ 0020987813719707151823*c_0101_2^6 + 28078135897752561836703523840861509/1341612475320010493906859853575\ 9115*c_0101_2^5 - 15286432691035243071135717404479505/2683224950640\ 020987813719707151823*c_0101_2^4 - 283460026205647144984777121246771697/134161247532001049390685985357\ 59115*c_0101_2^3 + 28994514581225318392527283022489199/268322495064\ 0020987813719707151823*c_0101_2^2 - 26388287651881463726898715853442943/1341612475320010493906859853575\ 9115*c_0101_2 - 42589501845594377468091461428953161/134161247532001\ 04939068598535759115, c_0011_5 + 207345133659221074229622508263679/13416124753200104939068598\ 535759115*c_0101_2^18 + 140919114576629148803192318447890/268322495\ 0640020987813719707151823*c_0101_2^17 - 18262926434908359250085352144817/1341612475320010493906859853575911\ 5*c_0101_2^16 - 294255856684630988939478499228163/26832249506400209\ 87813719707151823*c_0101_2^15 + 7954272670405110631588346051712696/\ 13416124753200104939068598535759115*c_0101_2^14 - 18340062276614550700621360984441218/1341612475320010493906859853575\ 9115*c_0101_2^13 + 99420766705634141258402032158544244/134161247532\ 00104939068598535759115*c_0101_2^12 - 47150283724414470061959784353059274/2683224950640020987813719707151\ 823*c_0101_2^11 + 241581925172224708464569159845123897/134161247532\ 00104939068598535759115*c_0101_2^10 - 32783463345307581199374082897425227/2683224950640020987813719707151\ 823*c_0101_2^9 + 225069735497664301096944650863849131/1341612475320\ 0104939068598535759115*c_0101_2^8 - 225380102255607384562234712501398278/134161247532001049390685985357\ 59115*c_0101_2^7 - 20258854680283653022942199726437420/268322495064\ 0020987813719707151823*c_0101_2^6 + 18983783932645228096311657502321018/1341612475320010493906859853575\ 9115*c_0101_2^5 + 4055261069748587010308085089090327/26832249506400\ 20987813719707151823*c_0101_2^4 + 952765336106589214601269585374769\ 71/13416124753200104939068598535759115*c_0101_2^3 - 15422954240706135168201249853501284/2683224950640020987813719707151\ 823*c_0101_2^2 + 9697783623491509985488822612980329/134161247532001\ 04939068598535759115*c_0101_2 + 26783888389728710794177585174209683\ /13416124753200104939068598535759115, c_0011_6 + 8624042261309833391906902752067/2683224950640020987813719707\ 151823*c_0101_2^18 + 29199424582617842188059094166813/2683224950640\ 020987813719707151823*c_0101_2^17 - 3506881214509562160767330570589/2683224950640020987813719707151823*\ c_0101_2^16 - 68578040635473423342839908251734/26832249506400209878\ 13719707151823*c_0101_2^15 + 336100505790077071491810406076692/2683\ 224950640020987813719707151823*c_0101_2^14 - 744994089137020316775221922883589/268322495064002098781371970715182\ 3*c_0101_2^13 + 4041891807517456676400454122601526/2683224950640020\ 987813719707151823*c_0101_2^12 - 9639488481431224898385477118184738\ /2683224950640020987813719707151823*c_0101_2^11 + 9029736356559431979792326227368029/26832249506400209878137197071518\ 23*c_0101_2^10 - 4116001680928565757020091680846161/268322495064002\ 0987813719707151823*c_0101_2^9 + 6819688884677695625727210238933073\ /2683224950640020987813719707151823*c_0101_2^8 - 9488728570996141073669082693373427/26832249506400209878137197071518\ 23*c_0101_2^7 - 4160015369488948547075737359845324/2683224950640020\ 987813719707151823*c_0101_2^6 + 1789202822325907118458281066261826/\ 2683224950640020987813719707151823*c_0101_2^5 + 3682053241816838700878738453404861/26832249506400209878137197071518\ 23*c_0101_2^4 + 829390929540670577846124684350529/26832249506400209\ 87813719707151823*c_0101_2^3 - 3312021078929548388556845768858778/2\ 683224950640020987813719707151823*c_0101_2^2 - 677537237654347312545564794467522/268322495064002098781371970715182\ 3*c_0101_2 + 1344085296993187820501423839551471/2683224950640020987\ 813719707151823, c_0101_0 - 481384117585542816070639202927111/13416124753200104939068598\ 535759115*c_0101_2^18 - 326509931496322001326273022712158/268322495\ 0640020987813719707151823*c_0101_2^17 + 22352784483351484280518128222563/1341612475320010493906859853575911\ 5*c_0101_2^16 + 672202154710479809978597893220172/26832249506400209\ 87813719707151823*c_0101_2^15 - 18275154236615707865359567896994454\ /13416124753200104939068598535759115*c_0101_2^14 + 43048192692547678623457759361884357/1341612475320010493906859853575\ 9115*c_0101_2^13 - 232701689402120899589782361270722111/13416124753\ 200104939068598535759115*c_0101_2^12 + 110656373443089588382775505019197905/268322495064002098781371970715\ 1823*c_0101_2^11 - 582762901190586234302572403043075818/13416124753\ 200104939068598535759115*c_0101_2^10 + 88226196878022914678770494907458686/2683224950640020987813719707151\ 823*c_0101_2^9 - 602891845513310742769590794777724534/1341612475320\ 0104939068598535759115*c_0101_2^8 + 569283205724194192716819453221326392/134161247532001049390685985357\ 59115*c_0101_2^7 + 38091591125699449895002682259344946/268322495064\ 0020987813719707151823*c_0101_2^6 + 28943508628119835652169879424730668/1341612475320010493906859853575\ 9115*c_0101_2^5 - 14299615294302317737563224106195038/2683224950640\ 020987813719707151823*c_0101_2^4 - 267951516895492058993311910309556784/134161247532001049390685985357\ 59115*c_0101_2^3 + 26717319286550866677815492146620337/268322495064\ 0020987813719707151823*c_0101_2^2 - 29984963018855441745785446194914706/1341612475320010493906859853575\ 9115*c_0101_2 - 39835466804422996412559215924894082/134161247532001\ 04939068598535759115, c_0101_1 - 200847310828793904109797773855007/13416124753200104939068598\ 535759115*c_0101_2^18 - 137568404584312196182317638133049/268322495\ 0640020987813719707151823*c_0101_2^17 - 33780457251288276765869651697464/1341612475320010493906859853575911\ 5*c_0101_2^16 + 263416929656139322100207771042198/26832249506400209\ 87813719707151823*c_0101_2^15 - 7649781459826555122497529187650023/\ 13416124753200104939068598535759115*c_0101_2^14 + 17775214339218836295288110053306074/1341612475320010493906859853575\ 9115*c_0101_2^13 - 97223983137162049711578310553026242/134161247532\ 00104939068598535759115*c_0101_2^12 + 45769012474113500966996557044844885/2683224950640020987813719707151\ 823*c_0101_2^11 - 244525285967717045771016286915617231/134161247532\ 00104939068598535759115*c_0101_2^10 + 38467804131110501411806566538673626/2683224950640020987813719707151\ 823*c_0101_2^9 - 258649107865335814111652508277564528/1341612475320\ 0104939068598535759115*c_0101_2^8 + 239896603103594210713603848268304484/134161247532001049390685985357\ 59115*c_0101_2^7 + 13719611078669765828756210364841926/268322495064\ 0020987813719707151823*c_0101_2^6 + 20247008978485818294669319219312666/1341612475320010493906859853575\ 9115*c_0101_2^5 - 2019364308586031236066918168545918/26832249506400\ 20987813719707151823*c_0101_2^4 - 974803787501199825492436821956983\ 73/13416124753200104939068598535759115*c_0101_2^3 + 10476652236606455662950882363535689/2683224950640020987813719707151\ 823*c_0101_2^2 - 16402220383824993451696318320011837/13416124753200\ 104939068598535759115*c_0101_2 - 1576288949850272216280050249814570\ 9/13416124753200104939068598535759115, c_0101_2^19 + 4*c_0101_2^18 + 2*c_0101_2^17 - 7*c_0101_2^16 + 34*c_0101_2^15 - 66*c_0101_2^14 + 428*c_0101_2^13 - 851*c_0101_2^12 + 498*c_0101_2^11 - 128*c_0101_2^10 + 614*c_0101_2^9 - 356*c_0101_2^8 - 1168*c_0101_2^7 - 223*c_0101_2^6 + 93*c_0101_2^5 + 604*c_0101_2^4 + 36*c_0101_2^3 - 134*c_0101_2^2 + 141*c_0101_2 + 53 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB