Magma V2.19-8 Tue Aug 20 2013 16:18:19 on localhost [Seed = 1191631470] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2521 geometric_solution 5.83895287 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 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 -1 0 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 1.505436487518 0.544166733635 0 2 3 0 0132 0132 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 1 0 -1 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.751076149230 0.397015330134 4 1 5 6 0132 0132 0132 0132 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 -1 0 1 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 1.010299037159 0.913723588628 5 6 4 1 1023 0132 0132 0132 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 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.010299037159 0.913723588628 2 4 4 3 0132 3201 2310 0132 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 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.119491337205 0.672441036858 5 3 5 2 2031 1023 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821598234836 0.683220056935 6 3 2 6 3201 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 0 1 -1 1 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 -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.284762419409 0.502182483536 ==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_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], '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' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), '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_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 14716561235826344664309994062528317/1869870613059294327710576613621\ 438*c_1001_1^21 + 1698528476299154061598839658934067/31164510217654\ 9054618429435603573*c_1001_1^20 + 222678384001668665350265926823125\ 25/311645102176549054618429435603573*c_1001_1^19 - 12837455119562171080454693719289485/3116451021765490546184294356035\ 73*c_1001_1^18 - 16754315956506883490549786876071239/62329020435309\ 8109236858871207146*c_1001_1^17 + 105201059023753598634372782512672\ 274/934935306529647163855288306810719*c_1001_1^16 - 829600349457163754801980853422343572/934935306529647163855288306810\ 719*c_1001_1^15 + 2489615658638897390171371286115084817/18698706130\ 59294327710576613621438*c_1001_1^14 + 2731101700877273698611891386088435131/18698706130592943277105766136\ 21438*c_1001_1^13 - 6151995868301329423398227890090964321/934935306\ 529647163855288306810719*c_1001_1^12 + 1899807161008567146893750059693608713/62329020435309810923685887120\ 7146*c_1001_1^11 + 11486692031319741204575004077080635761/934935306\ 529647163855288306810719*c_1001_1^10 - 4253790830021417466037937588791094576/31164510217654905461842943560\ 3573*c_1001_1^9 - 3026840568819747455066794810461241047/31164510217\ 6549054618429435603573*c_1001_1^8 + 23118475983875474167656211513546980845/9349353065296471638552883068\ 10719*c_1001_1^7 - 109067494637626200104332355093512829/60318406872\ 880462184212148826498*c_1001_1^6 - 15100573954191272158518174137861471497/6232902043530981092368588712\ 07146*c_1001_1^5 + 2612844141515739724181718553327378225/3116451021\ 76549054618429435603573*c_1001_1^4 + 10195140107919441632528730487319648698/9349353065296471638552883068\ 10719*c_1001_1^3 - 10565610865287871753680445692653305921/186987061\ 3059294327710576613621438*c_1001_1^2 - 16714125796471159625277672519402963/3116451021765490546184294356035\ 73*c_1001_1 + 447029423696428315979753308286277065/1869870613059294\ 327710576613621438, c_0011_0 - 1, c_0011_3 + 10811219385424171000146068745949/100530678121467436973686914\ 710830*c_1001_1^21 - 2923121988746516557205939252263/50265339060733\ 718486843457355415*c_1001_1^20 - 19773535104076588683699811784207/2\ 0106135624293487394737382942166*c_1001_1^19 + 41571234139355355827406736138203/100530678121467436973686914710830*\ c_1001_1^18 + 41685453483096403983627450439479/10053067812146743697\ 3686914710830*c_1001_1^17 - 29664965426894320740029179549935/201061\ 35624293487394737382942166*c_1001_1^16 + 598337909729177358154105958814509/50265339060733718486843457355415*\ c_1001_1^15 - 824760428436859969588213835989536/5026533906073371848\ 6843457355415*c_1001_1^14 - 1118805083187327983914678757664908/5026\ 5339060733718486843457355415*c_1001_1^13 + 8682127210537773029763718342672021/10053067812146743697368691471083\ 0*c_1001_1^12 - 1455112200591310151173369143231889/5026533906073371\ 8486843457355415*c_1001_1^11 - 1720331504236795985355479631720410/1\ 0053067812146743697368691471083*c_1001_1^10 + 8064695847207247420777605762755101/50265339060733718486843457355415\ *c_1001_1^9 + 7771869858665559971246569469410211/502653390607337184\ 86843457355415*c_1001_1^8 - 3145132903001956146680092705342078/1005\ 3067812146743697368691471083*c_1001_1^7 - 2059498493709224555509838307717537/10053067812146743697368691471083\ 0*c_1001_1^6 + 32594839458093981166122764351093633/1005306781214674\ 36973686914710830*c_1001_1^5 - 6637630563044587744060040085011721/1\ 00530678121467436973686914710830*c_1001_1^4 - 7802033292866085567108662538286672/50265339060733718486843457355415\ *c_1001_1^3 + 2692519267169201840972502827811221/502653390607337184\ 86843457355415*c_1001_1^2 + 151427119060370513117867147830913/20106\ 135624293487394737382942166*c_1001_1 - 72617029032502254814022416147999/50265339060733718486843457355415, c_0101_0 - 21329587479134311223133705/101424225548550163917802757*c_100\ 1_1^21 + 15525596030854871860581453/101424225548550163917802757*c_1\ 001_1^20 + 193746906743831756733236989/101424225548550163917802757*\ c_1001_1^19 - 118210569506135282585607545/1014242255485501639178027\ 57*c_1001_1^18 - 74232757939621380427913174/10142422554855016391780\ 2757*c_1001_1^17 + 304417426270030062876730088/10142422554855016391\ 7802757*c_1001_1^16 - 2417083462860429633106858460/1014242255485501\ 63917802757*c_1001_1^15 + 3685537462705107654216911683/101424225548\ 550163917802757*c_1001_1^14 + 3891285792727421551859389746/10142422\ 5548550163917802757*c_1001_1^13 - 18010629228576963597965844394/101\ 424225548550163917802757*c_1001_1^12 + 8741788636330169141545593048/101424225548550163917802757*c_1001_1^1\ 1 + 33317946645940846866593166196/101424225548550163917802757*c_100\ 1_1^10 - 38020719815289491773113157359/101424225548550163917802757*\ c_1001_1^9 - 25732156698892690759774685842/101424225548550163917802\ 757*c_1001_1^8 + 67942057454827374060820859570/10142422554855016391\ 7802757*c_1001_1^7 - 6408894261201902019456012163/10142422554855016\ 3917802757*c_1001_1^6 - 65969404392519815046644259449/1014242255485\ 50163917802757*c_1001_1^5 + 24071874329999982343889678766/101424225\ 548550163917802757*c_1001_1^4 + 29367666492536613784483425063/10142\ 4225548550163917802757*c_1001_1^3 - 15468844801813727790636295309/101424225548550163917802757*c_1001_1^\ 2 + 229171115063729344444748760/101424225548550163917802757*c_1001_\ 1 + 335633132246517591387729012/101424225548550163917802757, c_0101_1 - 41293563846814459967790737/101424225548550163917802757*c_100\ 1_1^21 + 43374921751499461313695225/101424225548550163917802757*c_1\ 001_1^20 + 368040225082730437856599219/101424225548550163917802757*\ c_1001_1^19 - 350805127767507775706741421/1014242255485501639178027\ 57*c_1001_1^18 - 94638653138634666751611787/10142422554855016391780\ 2757*c_1001_1^17 + 641831300318456206237504895/10142422554855016391\ 7802757*c_1001_1^16 - 4854848891553692332001123852/1014242255485501\ 63917802757*c_1001_1^15 + 8609348897738035995540657991/101424225548\ 550163917802757*c_1001_1^14 + 5519111588616103515631848070/10142422\ 5548550163917802757*c_1001_1^13 - 37647782655076530576269379330/101\ 424225548550163917802757*c_1001_1^12 + 27514565014990841305123452349/101424225548550163917802757*c_1001_1^\ 11 + 61115366788592790914655886214/101424225548550163917802757*c_10\ 01_1^10 - 94696752061169560511576690477/101424225548550163917802757\ *c_1001_1^9 - 30621874638339918540921795156/10142422554855016391780\ 2757*c_1001_1^8 + 150961024284415876996571960769/101424225548550163\ 917802757*c_1001_1^7 - 50037372305233711643514133705/10142422554855\ 0163917802757*c_1001_1^6 - 131214315290148232283881492371/101424225\ 548550163917802757*c_1001_1^5 + 85976649603085773059118229954/10142\ 4225548550163917802757*c_1001_1^4 + 50192763971215475726914601453/101424225548550163917802757*c_1001_1^\ 3 - 48925479494710744549113657135/101424225548550163917802757*c_100\ 1_1^2 + 5833104953996057108529322285/101424225548550163917802757*c_\ 1001_1 + 1500043674318318194054557630/101424225548550163917802757, c_0101_2 - 16697757402914982977304852462349/100530678121467436973686914\ 710830*c_1001_1^21 + 13377747914650350950768896115661/1005306781214\ 67436973686914710830*c_1001_1^20 + 15042030021826981784311745237661/10053067812146743697368691471083*c\ _1001_1^19 - 51930725849404880144206390209914/502653390607337184868\ 43457355415*c_1001_1^18 - 24121570172975420312615593176252/50265339\ 060733718486843457355415*c_1001_1^17 + 24487279312771830122202307590055/10053067812146743697368691471083*c\ _1001_1^16 - 1908461387476907839458288303180143/1005306781214674369\ 73686914710830*c_1001_1^15 + 1513842226705830033034369794865896/502\ 65339060733718486843457355415*c_1001_1^14 + 2798469903576708540018889248745381/10053067812146743697368691471083\ 0*c_1001_1^13 - 7153683518112525444065300803662868/5026533906073371\ 8486843457355415*c_1001_1^12 + 7963573509500689720036375367653433/1\ 00530678121467436973686914710830*c_1001_1^11 + 2541875147447749420703192156393790/10053067812146743697368691471083\ *c_1001_1^10 - 31778835165359239311568594400729167/1005306781214674\ 36973686914710830*c_1001_1^9 - 17578088544947991635568648807363847/\ 100530678121467436973686914710830*c_1001_1^8 + 5475165681142666504359136733416110/10053067812146743697368691471083\ *c_1001_1^7 - 4687638350402687360440443943274779/502653390607337184\ 86843457355415*c_1001_1^6 - 51150467639967246749519804997858443/100\ 530678121467436973686914710830*c_1001_1^5 + 23231419026829535838172418893384091/1005306781214674369736869147108\ 30*c_1001_1^4 + 21343652303930457118059392598371899/100530678121467\ 436973686914710830*c_1001_1^3 - 14449018238892642621019853454834457\ /100530678121467436973686914710830*c_1001_1^2 + 213437444065633442084377012827167/20106135624293487394737382942166*\ c_1001_1 + 229563486942623444063832577608584/5026533906073371848684\ 3457355415, c_0101_4 - 16724373025213165175244878433801/100530678121467436973686914\ 710830*c_1001_1^21 + 9209983434929927338757773613199/10053067812146\ 7436973686914710830*c_1001_1^20 + 30445098209868831574946584581835/\ 20106135624293487394737382942166*c_1001_1^19 - 65534219069944872112559321622827/100530678121467436973686914710830*\ c_1001_1^18 - 58139685881262919833028352076991/10053067812146743697\ 3686914710830*c_1001_1^17 + 45625395038561544287876829944941/201061\ 35624293487394737382942166*c_1001_1^16 - 927915402695493642812809623482806/50265339060733718486843457355415*\ c_1001_1^15 + 2578377907778477382601905497072993/100530678121467436\ 973686914710830*c_1001_1^14 + 3369353597770522009735545228445839/10\ 0530678121467436973686914710830*c_1001_1^13 - 13373228900913937347509471357083459/1005306781214674369736869147108\ 30*c_1001_1^12 + 2383898323708697001903045575247711/502653390607337\ 18486843457355415*c_1001_1^11 + 5216303989195354957662124435865053/\ 20106135624293487394737382942166*c_1001_1^10 - 25103741485858689275908564911432133/1005306781214674369736869147108\ 30*c_1001_1^9 - 11401379182405731793393407803570364/502653390607337\ 18486843457355415*c_1001_1^8 + 9615402464314532935794549971171321/2\ 0106135624293487394737382942166*c_1001_1^7 + 856150850410596223945554422472664/50265339060733718486843457355415*\ c_1001_1^6 - 24386122351523114643593218080474636/502653390607337184\ 86843457355415*c_1001_1^5 + 11128958768746424478192631966295629/100\ 530678121467436973686914710830*c_1001_1^4 + 22217920244163068107312341424762951/1005306781214674369736869147108\ 30*c_1001_1^3 - 4208370677170867012348126020905809/5026533906073371\ 8486843457355415*c_1001_1^2 - 15249391472639880592562956769814/1005\ 3067812146743697368691471083*c_1001_1 + 12286726088155610537516261964481/50265339060733718486843457355415, c_1001_1^22 - 2*c_1001_1^21 - 8*c_1001_1^20 + 17*c_1001_1^19 - 5*c_1001_1^18 - 18*c_1001_1^17 + 132*c_1001_1^16 - 319*c_1001_1^15 + 55*c_1001_1^14 + 1051*c_1001_1^13 - 1514*c_1001_1^12 - 914*c_1001_1^11 + 3718*c_1001_1^10 - 1301*c_1001_1^9 - 4479*c_1001_1^8 + 4557*c_1001_1^7 + 2266*c_1001_1^6 - 5075*c_1001_1^5 + 511*c_1001_1^4 + 2381*c_1001_1^3 - 1149*c_1001_1^2 + 63*c_1001_1 + 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB