Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 4273955352] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0746 geometric_solution 4.69184897 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0213 0 0 0 0 0 -1 0 1 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 0 0 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.347396138699 0.695732703924 0 2 3 0 0132 3201 3201 0213 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 1 -1 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.347396138699 0.695732703924 4 0 1 4 0132 0132 2310 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.304799022727 0.788939067348 1 5 5 0 2310 0132 1023 0132 0 0 0 0 0 0 0 0 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651572152801 0.231019901408 2 2 4 4 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.270613278887 0.434005546067 6 3 3 6 0132 0132 1023 1023 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 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.036993181879 0.380721152972 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.173673540320 0.231557941554 ==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' : 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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : 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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 11656769409167079893189746116453998557961908437097/1959449050211806\ 85193887719863505003192240404835*c_0101_6^22 + 5708904683714404737439023484987618940099518113813/19594490502118068\ 5193887719863505003192240404835*c_0101_6^21 - 18611133194614870445622357307828742853058920388701/3918898100423613\ 7038777543972701000638448080967*c_0101_6^20 + 122899791796507144684941934463855701953236273853979/195944905021180\ 685193887719863505003192240404835*c_0101_6^19 - 115142117113422603048067222714042123398497706641797/195944905021180\ 685193887719863505003192240404835*c_0101_6^18 - 1532757138571133616439061715801068508500171669635584/19594490502118\ 0685193887719863505003192240404835*c_0101_6^17 + 2819784125465586895336744742113779605889534648503254/19594490502118\ 0685193887719863505003192240404835*c_0101_6^16 + 2368186063210975481313579507264239977836758893193281/19594490502118\ 0685193887719863505003192240404835*c_0101_6^15 - 11096408564092943456266782740617930323921016417095636/1959449050211\ 80685193887719863505003192240404835*c_0101_6^14 + 1928666153388155463458169599652770022025986640527447/39188981004236\ 137038777543972701000638448080967*c_0101_6^13 + 21052952464321262907843112995949571501721155278750758/1959449050211\ 80685193887719863505003192240404835*c_0101_6^12 - 17343512245981653892355362348100336762985842269021671/1959449050211\ 80685193887719863505003192240404835*c_0101_6^11 - 1424580501860720414510664755240690944808862458549024/39188981004236\ 137038777543972701000638448080967*c_0101_6^10 + 2434004112630469073138770278432890229366114497066088/39188981004236\ 137038777543972701000638448080967*c_0101_6^9 - 5165657531485949733609901262156256346809115667356297/19594490502118\ 0685193887719863505003192240404835*c_0101_6^8 - 4802131791146353381558011004748284333000870874295919/19594490502118\ 0685193887719863505003192240404835*c_0101_6^7 + 2082133788965928834014586674021320224472499994500978/19594490502118\ 0685193887719863505003192240404835*c_0101_6^6 + 1554086233542378248055710236040414844118885508686051/19594490502118\ 0685193887719863505003192240404835*c_0101_6^5 - 668336739468403297576968789884061876742983745044519/195944905021180\ 685193887719863505003192240404835*c_0101_6^4 - 108614985691474358275402802248106887870921293432976/195944905021180\ 685193887719863505003192240404835*c_0101_6^3 + 50492443267594385026326961733298413436222931869431/1959449050211806\ 85193887719863505003192240404835*c_0101_6^2 + 5115179167975631528892714323133623542248602971586/39188981004236137\ 038777543972701000638448080967*c_0101_6 - 3177041794888015457303402566640999783766344219272/19594490502118068\ 5193887719863505003192240404835, c_0011_0 - 1, c_0011_3 + 21152361361531779586992519144836760058874858842/391889810042\ 36137038777543972701000638448080967*c_0101_6^22 - 4395480126695907140222481776545210080311127546/39188981004236137038\ 777543972701000638448080967*c_0101_6^21 - 178433938390404398787848811864729394127260110657/391889810042361370\ 38777543972701000638448080967*c_0101_6^20 + 341231191369729664053903915697745611346970596400/391889810042361370\ 38777543972701000638448080967*c_0101_6^19 - 344651166193460701189629515700828223440031681854/391889810042361370\ 38777543972701000638448080967*c_0101_6^18 - 2672394581390391183508543755909223198793259013200/39188981004236137\ 038777543972701000638448080967*c_0101_6^17 + 7094612492761613015162868616074741530366082991469/39188981004236137\ 038777543972701000638448080967*c_0101_6^16 + 1021579133194366398525758679245813925250418665943/39188981004236137\ 038777543972701000638448080967*c_0101_6^15 - 23909490887699507745407999342274011167758995565183/3918898100423613\ 7038777543972701000638448080967*c_0101_6^14 + 31404423128682626071907393964654651240610585048742/3918898100423613\ 7038777543972701000638448080967*c_0101_6^13 + 28574371206075130064127464937848518703481368304139/3918898100423613\ 7038777543972701000638448080967*c_0101_6^12 - 61428919853641837617979037987000362402394210176686/3918898100423613\ 7038777543972701000638448080967*c_0101_6^11 + 5912698310028821624819129565795014881324527452513/39188981004236137\ 038777543972701000638448080967*c_0101_6^10 + 37368888384622991576525046165052044507240677830900/3918898100423613\ 7038777543972701000638448080967*c_0101_6^9 - 24949726317321175773553628284997827656590537442872/3918898100423613\ 7038777543972701000638448080967*c_0101_6^8 - 5172871412704421066136978682892484098288935057517/39188981004236137\ 038777543972701000638448080967*c_0101_6^7 + 12140167841031752639072474623983215586724933651624/3918898100423613\ 7038777543972701000638448080967*c_0101_6^6 + 325307789025273032498274341774668860944101184183/391889810042361370\ 38777543972701000638448080967*c_0101_6^5 - 4000835101817708168282569589754494297243556224353/39188981004236137\ 038777543972701000638448080967*c_0101_6^4 + 504506541681958031801486442266165891535092609449/391889810042361370\ 38777543972701000638448080967*c_0101_6^3 + 356844687940821524080203185973804553805625663539/391889810042361370\ 38777543972701000638448080967*c_0101_6^2 - 41791968469781777202604164381124670470964818464/3918898100423613703\ 8777543972701000638448080967*c_0101_6 - 30026944755304069019543934716528887384813471331/3918898100423613703\ 8777543972701000638448080967, c_0101_0 - 67071548858442331381475199459808626998833726047/391889810042\ 36137038777543972701000638448080967*c_0101_6^22 - 39875179830154669931454828964044187412974751930/3918898100423613703\ 8777543972701000638448080967*c_0101_6^21 + 532141690597244455212646091620632288792518408732/391889810042361370\ 38777543972701000638448080967*c_0101_6^20 - 653401409450195319706635637056653069276625348937/391889810042361370\ 38777543972701000638448080967*c_0101_6^19 + 585600121942775485151768913758046107332230253986/391889810042361370\ 38777543972701000638448080967*c_0101_6^18 + 8909264401549253166342943680148692443916185399907/39188981004236137\ 038777543972701000638448080967*c_0101_6^17 - 15324366647499389254987455164693195199175795409598/3918898100423613\ 7038777543972701000638448080967*c_0101_6^16 - 15325071145406230118691877519676373762730955042608/3918898100423613\ 7038777543972701000638448080967*c_0101_6^15 + 62776737722634299111044965736838231645917992293466/3918898100423613\ 7038777543972701000638448080967*c_0101_6^14 - 49295180817722401167215623144247698270277037089062/3918898100423613\ 7038777543972701000638448080967*c_0101_6^13 - 127665391413416031630044384941253023802312678676875/391889810042361\ 37038777543972701000638448080967*c_0101_6^12 + 89389808792724335472957820029161337322260800017668/3918898100423613\ 7038777543972701000638448080967*c_0101_6^11 + 50084558437328571706970193752594797287055449298951/3918898100423613\ 7038777543972701000638448080967*c_0101_6^10 - 70462177062717314323913828494451591078877518516129/3918898100423613\ 7038777543972701000638448080967*c_0101_6^9 + 24913093195006716099546953252672714644691858686741/3918898100423613\ 7038777543972701000638448080967*c_0101_6^8 + 32678485875449485659988146775640763937680743402209/3918898100423613\ 7038777543972701000638448080967*c_0101_6^7 - 10864008125492783806754539413956126393100243230612/3918898100423613\ 7038777543972701000638448080967*c_0101_6^6 - 9481245131664779733576154575451680343218125672997/39188981004236137\ 038777543972701000638448080967*c_0101_6^5 + 3825533570037148721189185504964865680726199855073/39188981004236137\ 038777543972701000638448080967*c_0101_6^4 + 921560430076410278794840179841614587826147513314/391889810042361370\ 38777543972701000638448080967*c_0101_6^3 - 600696572914569136145847575440853254088744521170/391889810042361370\ 38777543972701000638448080967*c_0101_6^2 - 128225267968023088914963962385373149721131972778/391889810042361370\ 38777543972701000638448080967*c_0101_6 + 15636688624661551213291334788851758282326782437/3918898100423613703\ 8777543972701000638448080967, c_0101_2 - 66263357675033509582932721687271616802220234431/391889810042\ 36137038777543972701000638448080967*c_0101_6^22 - 55880275205889848724357795205519674499845205221/3918898100423613703\ 8777543972701000638448080967*c_0101_6^21 + 513919353096923605388487393387646793164470310946/391889810042361370\ 38777543972701000638448080967*c_0101_6^20 - 513298863234707007667606132195723757267506680195/391889810042361370\ 38777543972701000638448080967*c_0101_6^19 + 436305483452439339508284177840231647812264398508/391889810042361370\ 38777543972701000638448080967*c_0101_6^18 + 8906567566904339890449021054413394737765307639668/39188981004236137\ 038777543972701000638448080967*c_0101_6^17 - 12913122896622825506771346309694759939971512263422/3918898100423613\ 7038777543972701000638448080967*c_0101_6^16 - 18660023991374816343104007151274574622315374788844/3918898100423613\ 7038777543972701000638448080967*c_0101_6^15 + 57443574092102671522952376709288681273121434471738/3918898100423613\ 7038777543972701000638448080967*c_0101_6^14 - 33246603169941714168254635512570654885861747928406/3918898100423613\ 7038777543972701000638448080967*c_0101_6^13 - 135655341404126070758718127403970578264169879013670/391889810042361\ 37038777543972701000638448080967*c_0101_6^12 + 53337302545475576910429372039666960781885248070950/3918898100423613\ 7038777543972701000638448080967*c_0101_6^11 + 68949890245816645778223085033295300734882071464563/3918898100423613\ 7038777543972701000638448080967*c_0101_6^10 - 49656001197927090121118186560315538570320611403907/3918898100423613\ 7038777543972701000638448080967*c_0101_6^9 + 7331336461405329254494524172210168107510942584938/39188981004236137\ 038777543972701000638448080967*c_0101_6^8 + 34672228430153852832608213222338300210917569960848/3918898100423613\ 7038777543972701000638448080967*c_0101_6^7 - 901402170344112568019616373178692892941145221516/391889810042361370\ 38777543972701000638448080967*c_0101_6^6 - 11944746879666674114654074002092788693032750616277/3918898100423613\ 7038777543972701000638448080967*c_0101_6^5 + 392971948367113453313714591090743011223552081661/391889810042361370\ 38777543972701000638448080967*c_0101_6^4 + 1338705002174607498542214054128731171764603581827/39188981004236137\ 038777543972701000638448080967*c_0101_6^3 - 87955537541668947715188184209210790224835961645/3918898100423613703\ 8777543972701000638448080967*c_0101_6^2 - 172919398669376161355522472735927882578290415818/391889810042361370\ 38777543972701000638448080967*c_0101_6 - 1130897555592544987468012968326424752827900668/39188981004236137038\ 777543972701000638448080967, c_0101_4 + 79134502064175418055443571009385850476885571858/391889810042\ 36137038777543972701000638448080967*c_0101_6^22 + 16190201172331594708172784845967171725372076657/3918898100423613703\ 8777543972701000638448080967*c_0101_6^21 - 642438772467826438797349430686695306282047655565/391889810042361370\ 38777543972701000638448080967*c_0101_6^20 + 1015654103593011941399752457133240003169594836183/39188981004236137\ 038777543972701000638448080967*c_0101_6^19 - 1021629629732574707647635583547705827180522216818/39188981004236137\ 038777543972701000638448080967*c_0101_6^18 - 10186445829450659719157756067943247201831306583100/3918898100423613\ 7038777543972701000638448080967*c_0101_6^17 + 22116310079110014333037520220461922477988076653184/3918898100423613\ 7038777543972701000638448080967*c_0101_6^16 + 10561450868196379985359154135384444095248700043164/3918898100423613\ 7038777543972701000638448080967*c_0101_6^15 - 79964347503458772306614790978049810790783023800860/3918898100423613\ 7038777543972701000638448080967*c_0101_6^14 + 87235546206525572191795268169214316559696182759228/3918898100423613\ 7038777543972701000638448080967*c_0101_6^13 + 124109693669725525241931832035866569166259733710629/391889810042361\ 37038777543972701000638448080967*c_0101_6^12 - 159058468455428097740904039794575351704472923769237/391889810042361\ 37038777543972701000638448080967*c_0101_6^11 - 13324003298681648026678936065503492525882170982368/3918898100423613\ 7038777543972701000638448080967*c_0101_6^10 + 97447486485627160397786068007887995753060092595662/3918898100423613\ 7038777543972701000638448080967*c_0101_6^9 - 59858453133264551584209048769041079436130157251726/3918898100423613\ 7038777543972701000638448080967*c_0101_6^8 - 21959141679975972975201401624339996676553409198169/3918898100423613\ 7038777543972701000638448080967*c_0101_6^7 + 23909499441332264142583199532015752980950902443446/3918898100423613\ 7038777543972701000638448080967*c_0101_6^6 + 5526158671996118087913812522356284397556614133271/39188981004236137\ 038777543972701000638448080967*c_0101_6^5 - 7559239221484988074219172598308658991052814532577/39188981004236137\ 038777543972701000638448080967*c_0101_6^4 + 623273533452998352266328126531202257388699469408/391889810042361370\ 38777543972701000638448080967*c_0101_6^3 + 474129321087445208618157288773529761114784849538/391889810042361370\ 38777543972701000638448080967*c_0101_6^2 + 40152639379040665065537799759129815995685595549/3918898100423613703\ 8777543972701000638448080967*c_0101_6 - 21818493332876171208099792729249390233312306357/3918898100423613703\ 8777543972701000638448080967, c_0101_5 - 27784938344666816799685240953414862455509748468/391889810042\ 36137038777543972701000638448080967*c_0101_6^22 - 23014629121352644902624875896838906411641963932/3918898100423613703\ 8777543972701000638448080967*c_0101_6^21 + 217125615570775299411110706087280729174303115381/391889810042361370\ 38777543972701000638448080967*c_0101_6^20 - 216637627331055158998222235424220701499750834164/391889810042361370\ 38777543972701000638448080967*c_0101_6^19 + 176632718227656104459216123693859175964993585816/391889810042361370\ 38777543972701000638448080967*c_0101_6^18 + 3736110136260690726842556223093519178047592997284/39188981004236137\ 038777543972701000638448080967*c_0101_6^17 - 5471654686339772156811809350621073148515160992631/39188981004236137\ 038777543972701000638448080967*c_0101_6^16 - 7924152521520806786012487344109051768474928935199/39188981004236137\ 038777543972701000638448080967*c_0101_6^15 + 24359755868708497100474169858884848038315918087669/3918898100423613\ 7038777543972701000638448080967*c_0101_6^14 - 13771645911034928889540789325048468980368221423958/3918898100423613\ 7038777543972701000638448080967*c_0101_6^13 - 57646842902246444815544092606132764606994621070637/3918898100423613\ 7038777543972701000638448080967*c_0101_6^12 + 23239249199356908481235463329296500688975352129543/3918898100423613\ 7038777543972701000638448080967*c_0101_6^11 + 31753416758583071593204269197340449373825979668497/3918898100423613\ 7038777543972701000638448080967*c_0101_6^10 - 21109666330899932355137935930622640455719521232340/3918898100423613\ 7038777543972701000638448080967*c_0101_6^9 + 1380535114517510799172484635873336901974301762279/39188981004236137\ 038777543972701000638448080967*c_0101_6^8 + 15030187262490268366566915513733826162846686616283/3918898100423613\ 7038777543972701000638448080967*c_0101_6^7 - 458158078167847519488546252388790916544091333483/391889810042361370\ 38777543972701000638448080967*c_0101_6^6 - 5794222139408277264473369051435046058259252325573/39188981004236137\ 038777543972701000638448080967*c_0101_6^5 + 30236562676368603550527873027008315894747331489/3918898100423613703\ 8777543972701000638448080967*c_0101_6^4 + 779035196982612573737564530686220458251506806933/391889810042361370\ 38777543972701000638448080967*c_0101_6^3 + 55797220193145665399216595587686089215352271979/3918898100423613703\ 8777543972701000638448080967*c_0101_6^2 - 136043905714175926120303816307409910751130323192/391889810042361370\ 38777543972701000638448080967*c_0101_6 - 5788522127267930995055128514849583087581217172/39188981004236137038\ 777543972701000638448080967, c_0101_6^23 + 4/7*c_0101_6^22 - 8*c_0101_6^21 + 69/7*c_0101_6^20 - 60/7*c_0101_6^19 - 930/7*c_0101_6^18 + 1622/7*c_0101_6^17 + 1613/7*c_0101_6^16 - 6638/7*c_0101_6^15 + 5162/7*c_0101_6^14 + 13478/7*c_0101_6^13 - 9687/7*c_0101_6^12 - 5843/7*c_0101_6^11 + 1065*c_0101_6^10 - 2302/7*c_0101_6^9 - 500*c_0101_6^8 + 1196/7*c_0101_6^7 + 1185/7*c_0101_6^6 - 53*c_0101_6^5 - 19*c_0101_6^4 + 43/7*c_0101_6^3 + 18/7*c_0101_6^2 - 2/7*c_0101_6 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB