Magma V2.19-8 Tue Aug 20 2013 23:29:33 on localhost [Seed = 3398216871] Type ? for help. Type -D to quit. Loading file "K12a1278__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1278 geometric_solution 6.42667191 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 8 1 2 3 4 0132 0132 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 -1 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.197065848973 0.921381830808 0 2 6 5 0132 0213 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 1 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.692811113099 0.997176062717 6 0 1 5 2103 0132 0213 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.283211766457 0.313771866733 6 6 4 0 1230 2031 3201 0132 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 -1 0 1 0 0 0 0 -12 13 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.197065848973 0.921381830808 3 7 0 7 2310 0132 0132 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 0.558525403494 1.742211495030 2 5 1 5 3012 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.270947439583 0.413782003276 3 3 2 1 1302 3012 2103 0132 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 1 -1 0 0 0 0 1 0 0 -1 -13 12 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.197065848973 0.921381830808 7 4 7 4 2031 0132 1302 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 0.418865314907 0.167575658334 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0110_5'], 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_6'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : d['c_0110_7'], 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_6'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_1'], 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0110_7'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0110_5'], 'c_1010_0' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 9 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_5, c_0011_6, c_0101_1, c_0101_3, c_0110_5, c_0110_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 50732910805911136665539270290847207438618155446043869/1764532250124\ 75765636384772208469891006962854990628545*c_0110_7^19 + 203214504062855423474524070084787574183161027810619019/176453225012\ 475765636384772208469891006962854990628545*c_0110_7^18 - 110090663404250120827159540268229120976370628702204571/176453225012\ 475765636384772208469891006962854990628545*c_0110_7^17 - 7681630184352803437170670606163158096846205287936913226/17645322501\ 2475765636384772208469891006962854990628545*c_0110_7^16 + 12866186132302536063512755180219820324695983987664830029/1764532250\ 12475765636384772208469891006962854990628545*c_0110_7^15 + 10939166622796263847929394247102907707133768048804238553/3529064500\ 2495153127276954441693978201392570998125709*c_0110_7^14 - 113895426132700585549157928937456023967399479445366976251/176453225\ 012475765636384772208469891006962854990628545*c_0110_7^13 + 9753350835350952676120521053310962091530854240898666728/17645322501\ 2475765636384772208469891006962854990628545*c_0110_7^12 + 143946295946108409565647622365990195569656634059353023811/176453225\ 012475765636384772208469891006962854990628545*c_0110_7^11 - 47325588615275277598962384870715443807588790168467769048/3529064500\ 2495153127276954441693978201392570998125709*c_0110_7^10 - 15957194786068645316401791167420571662457774687807929793/9287011842\ 761882401914988010972099526682255525822555*c_0110_7^9 + 2395311209769683681693626935307871961485458042399612611/43037371954\ 26238186253287127035851000169825731478745*c_0110_7^8 + 27718747206834176093637617600744376514075980872490228036/3529064500\ 2495153127276954441693978201392570998125709*c_0110_7^7 - 135985186305573144744191389042702825340179254481250444119/176453225\ 012475765636384772208469891006962854990628545*c_0110_7^6 - 118387104701984686425841133506723635981731140997910221516/176453225\ 012475765636384772208469891006962854990628545*c_0110_7^5 + 17333920595079581881046491143081148638176490400812203187/1764532250\ 12475765636384772208469891006962854990628545*c_0110_7^4 + 20428709311599851960242355615375294341963291422360675629/1764532250\ 12475765636384772208469891006962854990628545*c_0110_7^3 - 8457885303587570551982333917724852407315597632593504663/17645322501\ 2475765636384772208469891006962854990628545*c_0110_7^2 - 681406114685079852114436251673892406600110810334692322/928701184276\ 1882401914988010972099526682255525822555*c_0110_7 + 182696755760339334557296372780288522743327855180594172/176453225012\ 475765636384772208469891006962854990628545, c_0011_0 - 1, c_0011_4 + 1314033244773187704714331603546594144280/6011931738736696276\ 637781850393583117255041*c_0110_7^19 - 418747086672798491308355111967830981443/601193173873669627663778185\ 0393583117255041*c_0110_7^18 - 446730400723613328994141146732412606\ 1409/6011931738736696276637781850393583117255041*c_0110_7^17 + 162747124510493950073485775611609055735119/601193173873669627663778\ 1850393583117255041*c_0110_7^16 + 420413653807356903967123804470062\ 412252909/6011931738736696276637781850393583117255041*c_0110_7^15 - 814237718478668834640777514481473651393797/601193173873669627663778\ 1850393583117255041*c_0110_7^14 - 508397298957492325375945816509848\ 3334955984/6011931738736696276637781850393583117255041*c_0110_7^13 - 2726486615611195634440880498376646413600652/60119317387366962766377\ 81850393583117255041*c_0110_7^12 + 20461276743986845401815061124772694901105624/6011931738736696276637\ 781850393583117255041*c_0110_7^11 - 7261011598676828754072879115337752518112869/60119317387366962766377\ 81850393583117255041*c_0110_7^10 - 1741123857487800295046871207159567251093829/60119317387366962766377\ 81850393583117255041*c_0110_7^9 + 806185225010878169506687760266449\ 23467303564/6011931738736696276637781850393583117255041*c_0110_7^8 + 58304685041237408949425008382717321126718174/6011931738736696276637\ 781850393583117255041*c_0110_7^7 - 17372608064854843919868499126295600630078747/6011931738736696276637\ 781850393583117255041*c_0110_7^6 - 10355726023752837972035532629237212634648800/6011931738736696276637\ 781850393583117255041*c_0110_7^5 + 20903861366761035095375709139238147734839717/6011931738736696276637\ 781850393583117255041*c_0110_7^4 + 18435252387904086141578835384488903852671726/6011931738736696276637\ 781850393583117255041*c_0110_7^3 + 2472565602625530578634601780656600407910574/60119317387366962766377\ 81850393583117255041*c_0110_7^2 - 587043178750977978997057679980820\ 1586312126/6011931738736696276637781850393583117255041*c_0110_7 - 1022243665544691406853073902768901995473930/60119317387366962766377\ 81850393583117255041, c_0011_5 - 148086925663514562313980590062263044651712/60119317387366962\ 76637781850393583117255041*c_0110_7^19 + 612518078929761115023614078043421739216432/601193173873669627663778\ 1850393583117255041*c_0110_7^18 - 408341558108021702033628470147064\ 411329510/6011931738736696276637781850393583117255041*c_0110_7^17 - 22346517083998697762605654792185886819968845/6011931738736696276637\ 781850393583117255041*c_0110_7^16 + 40481512214103404465090372572967288144290220/6011931738736696276637\ 781850393583117255041*c_0110_7^15 + 153304006988776354142073871982427525784586751/601193173873669627663\ 7781850393583117255041*c_0110_7^14 - 351566284913597497466709466479517034176611639/601193173873669627663\ 7781850393583117255041*c_0110_7^13 + 83284053894745630995884251298007648013648928/6011931738736696276637\ 781850393583117255041*c_0110_7^12 + 400375734254360405153385329640636568403945517/601193173873669627663\ 7781850393583117255041*c_0110_7^11 - 755052934792411707243870479794699553346685478/601193173873669627663\ 7781850393583117255041*c_0110_7^10 - 770923447840685111869874659204531275025894831/601193173873669627663\ 7781850393583117255041*c_0110_7^9 + 381660846095382765040825067469262877510309603/601193173873669627663\ 7781850393583117255041*c_0110_7^8 + 282855888667968536255574641720575108249837257/601193173873669627663\ 7781850393583117255041*c_0110_7^7 - 462105594438428354468466210728415430627191382/601193173873669627663\ 7781850393583117255041*c_0110_7^6 - 235610183066129915042096759951150290073702965/601193173873669627663\ 7781850393583117255041*c_0110_7^5 + 101747044529582013894995649987102168058853350/601193173873669627663\ 7781850393583117255041*c_0110_7^4 + 11927593759901063068420714297086352280724962/6011931738736696276637\ 781850393583117255041*c_0110_7^3 - 37175413848703109178036665939839620767517951/6011931738736696276637\ 781850393583117255041*c_0110_7^2 - 14953235652484213918660640644737447663758691/6011931738736696276637\ 781850393583117255041*c_0110_7 + 8027762450705167395539186424363078\ 769490693/6011931738736696276637781850393583117255041, c_0011_6 - 7038338455113437012384599606611019089456/6011931738736696276\ 637781850393583117255041*c_0110_7^19 + 25600413231828861518496879153399110560037/6011931738736696276637781\ 850393583117255041*c_0110_7^18 + 6396224784533537067122734925236661\ 31512/6011931738736696276637781850393583117255041*c_0110_7^17 - 1095962559774145420181157742042099895137558/60119317387366962766377\ 81850393583117255041*c_0110_7^16 + 1420779429864181480779109101712728958684019/60119317387366962766377\ 81850393583117255041*c_0110_7^15 + 9048259875559144819521798147390030998603311/60119317387366962766377\ 81850393583117255041*c_0110_7^14 - 14751591812857254419813179929336644806131901/6011931738736696276637\ 781850393583117255041*c_0110_7^13 - 8873308008083965878157344180803751239688184/60119317387366962766377\ 81850393583117255041*c_0110_7^12 + 33426999666051764240049226344506767929957725/6011931738736696276637\ 781850393583117255041*c_0110_7^11 - 37194444749607621905702563221059025745454041/6011931738736696276637\ 781850393583117255041*c_0110_7^10 - 53170067135123072267687432976862381053659003/6011931738736696276637\ 781850393583117255041*c_0110_7^9 + 17294039349494483378610354035732632031484039/6011931738736696276637\ 781850393583117255041*c_0110_7^8 + 44213640708897808796839596017940852042255299/6011931738736696276637\ 781850393583117255041*c_0110_7^7 - 12577136439785072279589264740623830421429102/6011931738736696276637\ 781850393583117255041*c_0110_7^6 - 14976923088404233127826353454685842429571298/6011931738736696276637\ 781850393583117255041*c_0110_7^5 + 10244336516741818355447492062702430059108474/6011931738736696276637\ 781850393583117255041*c_0110_7^4 + 6565569867420417561329073399413941100717745/60119317387366962766377\ 81850393583117255041*c_0110_7^3 + 880289147565379775096942341981701\ 2861067643/6011931738736696276637781850393583117255041*c_0110_7^2 + 40532746725442868815555732142905960893017/6011931738736696276637781\ 850393583117255041*c_0110_7 + 6940922292709747654457480359047976297\ 83236/6011931738736696276637781850393583117255041, c_0101_1 - 91515290918935063816242472278711935750246/601193173873669627\ 6637781850393583117255041*c_0110_7^19 + 336788974208526122728060469753751851858931/601193173873669627663778\ 1850393583117255041*c_0110_7^18 - 927159277786287500917417268174320\ 30136608/6011931738736696276637781850393583117255041*c_0110_7^17 - 13861864104327240547139927989271549258793879/6011931738736696276637\ 781850393583117255041*c_0110_7^16 + 18652277779911627147080354641564105920878355/6011931738736696276637\ 781850393583117255041*c_0110_7^15 + 104183505213407942987640798652081969484357000/601193173873669627663\ 7781850393583117255041*c_0110_7^14 - 169093128788476186225656699333006535630729909/601193173873669627663\ 7781850393583117255041*c_0110_7^13 - 35548006233534648815595136514549348195191748/6011931738736696276637\ 781850393583117255041*c_0110_7^12 + 228795546714192588119907669199713879608740665/601193173873669627663\ 7781850393583117255041*c_0110_7^11 - 332425458583502955978494940932317028149761367/601193173873669627663\ 7781850393583117255041*c_0110_7^10 - 645052562862411223053493554642190100336272059/601193173873669627663\ 7781850393583117255041*c_0110_7^9 - 75928819401935835838164806257196086885905704/6011931738736696276637\ 781850393583117255041*c_0110_7^8 + 250887348549865923945885974812302544531578069/601193173873669627663\ 7781850393583117255041*c_0110_7^7 - 91560564694882517142306739084365054048783600/6011931738736696276637\ 781850393583117255041*c_0110_7^6 - 241602567022656757174287163947078513145187228/601193173873669627663\ 7781850393583117255041*c_0110_7^5 - 39689549245700028642915631497902781167124739/6011931738736696276637\ 781850393583117255041*c_0110_7^4 + 43123783183129929934377425892841215626040005/6011931738736696276637\ 781850393583117255041*c_0110_7^3 + 3559287636352227234571790552640669960273181/60119317387366962766377\ 81850393583117255041*c_0110_7^2 - 186114553715233361289332465270335\ 65101444380/6011931738736696276637781850393583117255041*c_0110_7 + 1672137186723520624660597749571860632582484/60119317387366962766377\ 81850393583117255041, c_0101_3 + 31328577865150162445385358320372522225528/601193173873669627\ 6637781850393583117255041*c_0110_7^19 - 107635802038880871063332859144165333974803/601193173873669627663778\ 1850393583117255041*c_0110_7^18 + 167020735457705432380005431766742\ 06382053/6011931738736696276637781850393583117255041*c_0110_7^17 + 4701339229342179979290082938141958391444498/60119317387366962766377\ 81850393583117255041*c_0110_7^16 - 5200155885618869013933719350579797971614760/60119317387366962766377\ 81850393583117255041*c_0110_7^15 - 35234289682928585144582398454152666112406825/6011931738736696276637\ 781850393583117255041*c_0110_7^14 + 45962395543083798602360046637970308101595569/6011931738736696276637\ 781850393583117255041*c_0110_7^13 + 11969175766826040112000765367903341014921331/6011931738736696276637\ 781850393583117255041*c_0110_7^12 - 46779051137325703617432712458109516871218820/6011931738736696276637\ 781850393583117255041*c_0110_7^11 + 93246453430024649469946948378562395231317952/6011931738736696276637\ 781850393583117255041*c_0110_7^10 + 212229113430981186345201260629593009338447397/601193173873669627663\ 7781850393583117255041*c_0110_7^9 + 143259757863108649714988844921453577344897077/601193173873669627663\ 7781850393583117255041*c_0110_7^8 - 6889088314959900893861491452760407307487639/60119317387366962766377\ 81850393583117255041*c_0110_7^7 - 603130774788680556417131183003375\ 5302415744/6011931738736696276637781850393583117255041*c_0110_7^6 + 64051657414284763170403598278398704784402063/6011931738736696276637\ 781850393583117255041*c_0110_7^5 + 47380098284499032995605797199944019677081095/6011931738736696276637\ 781850393583117255041*c_0110_7^4 + 10845101267385271903169139274340291404269994/6011931738736696276637\ 781850393583117255041*c_0110_7^3 - 1048020118728056855933891020536981424398006/60119317387366962766377\ 81850393583117255041*c_0110_7^2 + 675434205757348474174798542033005\ 4196667937/6011931738736696276637781850393583117255041*c_0110_7 - 1444819545254542970945692562770256319268700/60119317387366962766377\ 81850393583117255041, c_0110_5 + 79564423553143879437351095370573729062385/601193173873669627\ 6637781850393583117255041*c_0110_7^19 - 323720696941503287386374151822897346025642/601193173873669627663778\ 1850393583117255041*c_0110_7^18 + 197462728516113378767831938633141\ 135045611/6011931738736696276637781850393583117255041*c_0110_7^17 + 12033681507025290517483223234864276809495294/6011931738736696276637\ 781850393583117255041*c_0110_7^16 - 21000359668530953260210601446980648273945623/6011931738736696276637\ 781850393583117255041*c_0110_7^15 - 83736837472657398560888899167947768127978843/6011931738736696276637\ 781850393583117255041*c_0110_7^14 + 185317169718430280023321236233488339925863029/601193173873669627663\ 7781850393583117255041*c_0110_7^13 - 36861841477862163904672758317954509307550585/6011931738736696276637\ 781850393583117255041*c_0110_7^12 - 230968946263304595012556580213648063448912756/601193173873669627663\ 7781850393583117255041*c_0110_7^11 + 429930963711894041533131386146445058328666864/601193173873669627663\ 7781850393583117255041*c_0110_7^10 + 427017770195398517702554710451241760773451771/601193173873669627663\ 7781850393583117255041*c_0110_7^9 - 217487712384176985481732802440631465829165357/601193173873669627663\ 7781850393583117255041*c_0110_7^8 - 86780418414395726022683296191932787614949081/6011931738736696276637\ 781850393583117255041*c_0110_7^7 + 297375472212873572466158714531701513621330729/601193173873669627663\ 7781850393583117255041*c_0110_7^6 + 58403671137546689936069743740418758530820982/6011931738736696276637\ 781850393583117255041*c_0110_7^5 - 97868213180746365666647576503102266922671006/6011931738736696276637\ 781850393583117255041*c_0110_7^4 + 24960709289557304344885840153800235597675464/6011931738736696276637\ 781850393583117255041*c_0110_7^3 + 33939091068463969879631225215427457499161489/6011931738736696276637\ 781850393583117255041*c_0110_7^2 - 2575841609536062189034599776838459479253989/60119317387366962766377\ 81850393583117255041*c_0110_7 - 12136153324860095359122649780043287\ 749700583/6011931738736696276637781850393583117255041, c_0110_7^20 - 4*c_0110_7^19 + 2*c_0110_7^18 + 152*c_0110_7^17 - 253*c_0110_7^16 - 1102*c_0110_7^15 + 2274*c_0110_7^14 - 14*c_0110_7^13 - 3158*c_0110_7^12 + 4627*c_0110_7^11 + 6473*c_0110_7^10 - 2583*c_0110_7^9 - 3728*c_0110_7^8 + 2946*c_0110_7^7 + 2806*c_0110_7^6 - 770*c_0110_7^5 - 812*c_0110_7^4 + 230*c_0110_7^3 + 321*c_0110_7^2 - 34*c_0110_7 - 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB