Magma V2.19-8 Tue Aug 20 2013 16:19:27 on localhost [Seed = 1899031629] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3540 geometric_solution 6.91801846 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 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 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 0 0 0 0.476681473895 0.625030704975 0 3 0 4 0132 1302 2310 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 1 -1 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.228531702318 1.011558871852 5 3 6 0 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653521935572 0.834682354951 2 4 0 1 1230 1302 0132 2031 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 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.923931115543 0.932338420305 5 6 1 3 1230 3012 0132 2031 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 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.424219887054 1.021966152251 2 4 5 5 0132 3012 1230 3012 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630945076548 0.978507317866 4 6 6 2 1230 3201 2310 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.633864890040 0.833900606493 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : negation(d['c_0011_2'])})} 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_0011_4, c_0011_6, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 23177568461524344247228152436096462/3500211116553396040385322431219\ 37*c_0101_0^21 + 63602976256545130373504205220694657/46669481554045\ 2805384709657495916*c_0101_0^20 + 118511806191893476819905205542571\ 868/350021111655339604038532243121937*c_0101_0^19 + 13275382940621844295758019421575111/1555649385134842684615698858319\ 72*c_0101_0^18 + 186927198082580409996114922868118323/4666948155404\ 52805384709657495916*c_0101_0^17 - 385595923837728714941332717027261814/350021111655339604038532243121\ 937*c_0101_0^16 - 5934602492403605086029595584387641627/14000844466\ 21358416154128972487748*c_0101_0^15 - 356206251550630567640349480334682379/155564938513484268461569885831\ 972*c_0101_0^14 - 11375606152760306513049466269352138555/1400084446\ 621358416154128972487748*c_0101_0^13 - 1867540192684217762182089009739902845/14000844466213584161541289724\ 87748*c_0101_0^12 + 16465463344042126301035309900028890379/14000844\ 46621358416154128972487748*c_0101_0^11 + 12525514874983042712781884385930790/3889123462837106711539247145799\ 3*c_0101_0^10 + 69108599936707338297549633591870706037/140008444662\ 1358416154128972487748*c_0101_0^9 + 4285666274306526718994945061170194358/35002111165533960403853224312\ 1937*c_0101_0^8 - 6435443746587503977286297175822653773/14000844466\ 21358416154128972487748*c_0101_0^7 + 17021434916915278118410165666009839073/1400084446621358416154128972\ 487748*c_0101_0^6 - 78851716962293025456651262130995161943/14000844\ 46621358416154128972487748*c_0101_0^5 - 32662800373912992501878920336676536645/7000422233106792080770644862\ 43874*c_0101_0^4 - 56021511932849935937052339977478573961/140008444\ 6621358416154128972487748*c_0101_0^3 - 9941388645853316082941882431729016555/46669481554045280538470965749\ 5916*c_0101_0^2 + 8978998463463419637914858785603088623/46669481554\ 0452805384709657495916*c_0101_0 + 389935190951212037366865261915945\ 9299/350021111655339604038532243121937, c_0011_0 - 1, c_0011_2 - 566857080750860887586161141035/77782469256742134230784942915\ 986*c_0101_0^21 - 708493944255254068781799175395/777824692567421342\ 30784942915986*c_0101_0^20 - 2185236985637709430923971876073/777824\ 69256742134230784942915986*c_0101_0^19 + 689601439628388772172378780741/38891234628371067115392471457993*c_0\ 101_0^18 - 3767182309508876433083058259155/777824692567421342307849\ 42915986*c_0101_0^17 + 12886935463132668242680347375219/77782469256\ 742134230784942915986*c_0101_0^16 + 13350926132474340324443413582576/38891234628371067115392471457993*c\ _0101_0^15 - 1821330438067778636035894174961/3889123462837106711539\ 2471457993*c_0101_0^14 + 31163759708722155818617045526158/388912346\ 28371067115392471457993*c_0101_0^13 - 23252683179267447290662404193548/38891234628371067115392471457993*c\ _0101_0^12 - 80115959016517043557426514711817/777824692567421342307\ 84942915986*c_0101_0^11 + 50466111893856384743839188797333/77782469\ 256742134230784942915986*c_0101_0^10 - 437705618010668582605623827194843/77782469256742134230784942915986*\ c_0101_0^9 + 255150467642688104434265066806013/77782469256742134230\ 784942915986*c_0101_0^8 - 32419757317156840262673224579887/38891234\ 628371067115392471457993*c_0101_0^7 + 10986645534944512964364789206595/38891234628371067115392471457993*c\ _0101_0^6 + 428439596610817716529991337671025/777824692567421342307\ 84942915986*c_0101_0^5 + 94597677844624294786918720304633/777824692\ 56742134230784942915986*c_0101_0^4 + 75653530796020704769616249562754/38891234628371067115392471457993*c\ _0101_0^3 - 46246366360403327126050503047749/3889123462837106711539\ 2471457993*c_0101_0^2 - 232802716365255708982348457606651/777824692\ 56742134230784942915986*c_0101_0 + 8497713362015318755319779298050/38891234628371067115392471457993, c_0011_3 - 2848599554964416744149591109497/4666948155404528053847096574\ 95916*c_0101_0^21 - 576291731436805813881055602814/3889123462837106\ 7115392471457993*c_0101_0^20 - 14591420007733177670685270958829/466\ 694815540452805384709657495916*c_0101_0^19 - 2406829258471074617155564178473/155564938513484268461569885831972*c\ _0101_0^18 - 914582548640471665095245711321/38891234628371067115392\ 471457993*c_0101_0^17 + 32424293234941323195850899720881/4666948155\ 40452805384709657495916*c_0101_0^16 + 217329007835127824542192447794701/466694815540452805384709657495916\ *c_0101_0^15 + 36466031829708089467163263842035/1555649385134842684\ 61569885831972*c_0101_0^14 + 312288053974128007500640763575723/4666\ 94815540452805384709657495916*c_0101_0^13 + 228297926657021771526355559415083/466694815540452805384709657495916\ *c_0101_0^12 - 181945088418645435496363960720895/116673703885113201\ 346177414373979*c_0101_0^11 + 30099843050788761546182320102851/1555\ 64938513484268461569885831972*c_0101_0^10 - 493193131955136162083746573750547/116673703885113201346177414373979\ *c_0101_0^9 - 1568807330177884121025717611536181/466694815540452805\ 384709657495916*c_0101_0^8 + 1654629933173130254342221386605521/466\ 694815540452805384709657495916*c_0101_0^7 - 2128353987494400556940348429442127/46669481554045280538470965749591\ 6*c_0101_0^6 + 1631781889145055056429455652140703/23334740777022640\ 2692354828747958*c_0101_0^5 + 2146669885199447330700292802087435/46\ 6694815540452805384709657495916*c_0101_0^4 + 1600390820579485781989014229414015/46669481554045280538470965749591\ 6*c_0101_0^3 + 485740408698849706084104949410327/155564938513484268\ 461569885831972*c_0101_0^2 - 85510069041678541750096203689397/38891\ 234628371067115392471457993*c_0101_0 - 104205339956102442415999407785807/116673703885113201346177414373979\ , c_0011_4 + 1459430216073738447741077846401/2333474077702264026923548287\ 47958*c_0101_0^21 + 642265891569830300509748458559/7778246925674213\ 4230784942915986*c_0101_0^20 + 6524111337496615482575053032443/2333\ 47407770226402692354828747958*c_0101_0^19 - 434632376057388648717338626539/38891234628371067115392471457993*c_0\ 101_0^18 + 3912164266043512903784880608249/777824692567421342307849\ 42915986*c_0101_0^17 - 35946502185410832514546268897315/23334740777\ 0226402692354828747958*c_0101_0^16 - 32262630301852416157314795583798/116673703885113201346177414373979*\ c_0101_0^15 - 2161493320936152088991938938358/388912346283710671153\ 92471457993*c_0101_0^14 - 92536289372415834506796921780221/11667370\ 3885113201346177414373979*c_0101_0^13 + 68109805887943688210698372135886/116673703885113201346177414373979*\ c_0101_0^12 + 130560499827289526433488917255907/2333474077702264026\ 92354828747958*c_0101_0^11 - 10774274997536580897840959291921/77782\ 469256742134230784942915986*c_0101_0^10 + 1173487742421976104365679659647697/23334740777022640269235482874795\ 8*c_0101_0^9 - 743940915676890568457125305925747/233347407770226402\ 692354828747958*c_0101_0^8 + 361935192936285816319605907335991/1166\ 73703885113201346177414373979*c_0101_0^7 - 295177905314056229218159202859352/116673703885113201346177414373979\ *c_0101_0^6 - 837058791303755906727740225392603/2333474077702264026\ 92354828747958*c_0101_0^5 - 265655470309073755625737080367433/23334\ 7407770226402692354828747958*c_0101_0^4 - 427608488082842472675848813164811/116673703885113201346177414373979\ *c_0101_0^3 + 36947638641493717566038171700671/38891234628371067115\ 392471457993*c_0101_0^2 + 70892978798049324503036378537815/77782469\ 256742134230784942915986*c_0101_0 - 2509037071414735743485681149382/116673703885113201346177414373979, c_0011_6 + 425220217246467706390523106675/77782469256742134230784942915\ 986*c_0101_0^21 + 324524209058297503503416914551/388912346283710671\ 15392471457993*c_0101_0^20 + 1946059960007638431930918702517/777824\ 69256742134230784942915986*c_0101_0^19 - 366039825003711107566091412945/77782469256742134230784942915986*c_0\ 101_0^18 + 1625182545184016576857803988812/388912346283710671153924\ 71457993*c_0101_0^17 - 9010143822355555269041324720053/777824692567\ 42134230784942915986*c_0101_0^16 - 21215230379412244787242783722007/77782469256742134230784942915986*c\ _0101_0^15 - 6262187353409855760691407012919/7778246925674213423078\ 4942915986*c_0101_0^14 - 53874508408296086119944903220551/777824692\ 56742134230784942915986*c_0101_0^13 + 20784601357136194432910168392413/77782469256742134230784942915986*c\ _0101_0^12 + 23815913245051040152954191546079/388912346283710671153\ 92471457993*c_0101_0^11 - 14830235770526360466347615982733/77782469\ 256742134230784942915986*c_0101_0^10 + 167538658014279744791956893845974/38891234628371067115392471457993*\ c_0101_0^9 - 107353795690628247094308534737399/77782469256742134230\ 784942915986*c_0101_0^8 + 126841851008798290132169389504665/7778246\ 9256742134230784942915986*c_0101_0^7 - 59057492834922646794107243619075/77782469256742134230784942915986*c\ _0101_0^6 - 138346855023594793291008413536646/388912346283710671153\ 92471457993*c_0101_0^5 - 171234617355198435497293190123407/77782469\ 256742134230784942915986*c_0101_0^4 - 255180714896303728989329253572543/77782469256742134230784942915986*\ c_0101_0^3 - 59344449655492277380983148449941/777824692567421342307\ 84942915986*c_0101_0^2 + 51578851499080746211868026016710/388912346\ 28371067115392471457993*c_0101_0 + 36623806305367623565047826893853/38891234628371067115392471457993, c_0101_0^22 + 2*c_0101_0^21 + 5*c_0101_0^20 + c_0101_0^19 + 6*c_0101_0^18 - 17*c_0101_0^17 - 63*c_0101_0^16 - 31*c_0101_0^15 - 121*c_0101_0^14 - 13*c_0101_0^13 + 178*c_0101_0^12 - 5*c_0101_0^11 + 746*c_0101_0^10 + 141*c_0101_0^9 - 75*c_0101_0^8 + 185*c_0101_0^7 - 860*c_0101_0^6 - 655*c_0101_0^5 - 569*c_0101_0^4 - 287*c_0101_0^3 + 306*c_0101_0^2 + 152*c_0101_0 - 8, c_0101_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB