Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 2715827577] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0839 geometric_solution 4.75982077 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.286174286121 0.147509860487 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.047011821425 1.275576627054 1 3 4 3 0132 3201 0132 1230 0 0 0 0 0 0 1 -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 0 1 -1 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.374668776594 1.328899065752 2 4 2 1 3012 1023 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374668776594 1.328899065752 3 5 5 2 1023 0132 3201 0132 0 0 0 0 0 1 0 -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 0 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.610544236003 0.210880805793 4 4 6 6 2310 0132 0132 2310 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 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.386598259519 1.199843279662 5 6 6 5 3201 3201 2310 0132 0 0 0 0 0 0 1 -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 0 -1 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.692010915855 0.257838569120 ==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_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0011_6, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 93088880392344162050877636666464143440233079392116196/3001187705135\ 944280646870619039802679880547414778165*c_0101_5^21 + 731212306271716364079538865423442695882401923189703126/300118770513\ 5944280646870619039802679880547414778165*c_0101_5^20 + 755137078036097532079646199571219099302006043763253239/300118770513\ 5944280646870619039802679880547414778165*c_0101_5^19 - 1725166894047041827870898903499128893252037550878311123/10003959017\ 11981426882290206346600893293515804926055*c_0101_5^18 + 3541800564474060547306218797298905083970388392862683618/30011877051\ 35944280646870619039802679880547414778165*c_0101_5^17 - 20767011238752438133045719411155303684906771484374675401/3001187705\ 135944280646870619039802679880547414778165*c_0101_5^16 - 6861848585693364493818002645114171038536681698123983106/60023754102\ 7188856129374123807960535976109482955633*c_0101_5^15 + 32294209035692199019094205665229386027841901164232012672/3001187705\ 135944280646870619039802679880547414778165*c_0101_5^14 - 50497172397322401155339049919912889554477798542580464764/1000395901\ 711981426882290206346600893293515804926055*c_0101_5^13 + 249865468044563218901470607990490658977998259092051869477/300118770\ 5135944280646870619039802679880547414778165*c_0101_5^12 + 894552482970537012607251325725685239964134477171080160223/300118770\ 5135944280646870619039802679880547414778165*c_0101_5^11 + 44888538176305932451099210540196921385124091042010859669/3334653005\ 70660475627430068782200297764505268308685*c_0101_5^10 - 893516100918900657352153007032458563163550880815973907031/300118770\ 5135944280646870619039802679880547414778165*c_0101_5^9 - 406919646496001286392316811475306502970122938456030301098/300118770\ 5135944280646870619039802679880547414778165*c_0101_5^8 + 120542981673184907362041837419366555653371602877131949082/600237541\ 027188856129374123807960535976109482955633*c_0101_5^7 - 516011794294199306928049228568222480419190510876552947006/300118770\ 5135944280646870619039802679880547414778165*c_0101_5^6 - 92435889254672005089287248454699980660138032699614060866/3001187705\ 135944280646870619039802679880547414778165*c_0101_5^5 + 225803903485950954712613122839986320789663700130170971237/300118770\ 5135944280646870619039802679880547414778165*c_0101_5^4 - 3694421463969155146887005530297854041492540270319147136/20007918034\ 2396285376458041269320178658703160985211*c_0101_5^3 - 15252731540037561372279446430766611465787943173413955211/3001187705\ 135944280646870619039802679880547414778165*c_0101_5^2 + 152866269978499461495818765401606661343826708154836087/666930601141\ 32095125486013756440059552901053661737*c_0101_5 - 1114557022747608175848394811916467083542640869381180664/30011877051\ 35944280646870619039802679880547414778165, c_0011_0 - 1, c_0011_1 - 198948351634933624541847849972273418548487397714/22231020038\ 044031708495337918813353184300351220579*c_0101_5^21 + 1644495508436143210906997967173235253031148471693/22231020038044031\ 708495337918813353184300351220579*c_0101_5^20 + 972747230304060547913279905163439887468545122141/222310200380440317\ 08495337918813353184300351220579*c_0101_5^19 - 11731259293124655563244976391894122106654240437735/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^18 + 12077536715386968314950607356331711248152193346004/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^17 - 47310503709592458563490718041880106837137084564368/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^16 - 54929504184048478222390760631424775290317520365851/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^15 + 98375631146395699888502710074668715863605326592787/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^14 - 350611440515527183854420181650054213009232471184068/222310200380440\ 31708495337918813353184300351220579*c_0101_5^13 + 663415520569161358325186079802889317290284267652657/222310200380440\ 31708495337918813353184300351220579*c_0101_5^12 + 1688170023727796170917079480118263574953077136530489/22231020038044\ 031708495337918813353184300351220579*c_0101_5^11 + 84139020203541269690175029566175746328604497536481/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^10 - 2306494258923077097429157288014251772536088911468333/22231020038044\ 031708495337918813353184300351220579*c_0101_5^9 - 54534401585359151549422231611039089042400243928238/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^8 + 1802955977235093233405724711555126723989884148499949/22231020038044\ 031708495337918813353184300351220579*c_0101_5^7 - 1566496846825434842333474850528376675280446617848755/22231020038044\ 031708495337918813353184300351220579*c_0101_5^6 + 64712065403462775670440903493783897223174165832470/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^5 + 502722032999497373056553052994918328913860319797812/222310200380440\ 31708495337918813353184300351220579*c_0101_5^4 - 173344637544848033567482196890644539286594715647865/222310200380440\ 31708495337918813353184300351220579*c_0101_5^3 - 65234114483460349875883705465685226887058096868807/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^2 + 27698563141792618622455803441831380289595694190788/2223102003804403\ 1708495337918813353184300351220579*c_0101_5 + 14171036762696528829080706478395060415940035021941/2223102003804403\ 1708495337918813353184300351220579, c_0011_3 + 419486536854163965216520189959816866500986894854/22231020038\ 044031708495337918813353184300351220579*c_0101_5^21 - 3367474230900951349884233686614645545198464054942/22231020038044031\ 708495337918813353184300351220579*c_0101_5^20 - 2893908687942652976031480515558844350990199173001/22231020038044031\ 708495337918813353184300351220579*c_0101_5^19 + 24388096608832093677903572382200292637710943872846/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^18 - 19554807310917021912174996335460511909146992283564/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^17 + 92851853195789216217504523997868500259527952547820/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^16 + 141056239346544468835140618117589082585982796974311/222310200380440\ 31708495337918813353184300351220579*c_0101_5^15 - 185247381807692468004270044189725407017651022378960/222310200380440\ 31708495337918813353184300351220579*c_0101_5^14 + 687438590828444733715398053438507915371410157908464/222310200380440\ 31708495337918813353184300351220579*c_0101_5^13 - 1217350758655164325552468586088550717516737949051491/22231020038044\ 031708495337918813353184300351220579*c_0101_5^12 - 3931327779160490832973082735069252641326728429556788/22231020038044\ 031708495337918813353184300351220579*c_0101_5^11 - 952626246364441872483021749466371645378623248246292/222310200380440\ 31708495337918813353184300351220579*c_0101_5^10 + 4911700505304744155926802417832856124868347591704907/22231020038044\ 031708495337918813353184300351220579*c_0101_5^9 + 1292315698245511007179807288722543501099671560507731/22231020038044\ 031708495337918813353184300351220579*c_0101_5^8 - 3774688157552206933126698521840326102207786262371299/22231020038044\ 031708495337918813353184300351220579*c_0101_5^7 + 2506847560193943568109693832531024852338790561585162/22231020038044\ 031708495337918813353184300351220579*c_0101_5^6 + 522598370009811466257113489159484013641287767097188/222310200380440\ 31708495337918813353184300351220579*c_0101_5^5 - 1366117319957789672597000444934322188053320297639727/22231020038044\ 031708495337918813353184300351220579*c_0101_5^4 + 373443586192361732313647864274294516271457792959059/222310200380440\ 31708495337918813353184300351220579*c_0101_5^3 + 200855096911608747477129342426476353308534723976736/222310200380440\ 31708495337918813353184300351220579*c_0101_5^2 - 78443363770743599116821806723387748525480565502349/2223102003804403\ 1708495337918813353184300351220579*c_0101_5 + 232048453261636668892070218119676516675157395006/222310200380440317\ 08495337918813353184300351220579, c_0011_6 + 425381977183514113946439599163553628909808010131/22231020038\ 044031708495337918813353184300351220579*c_0101_5^21 - 3125377253705682937478083881403293702638505663604/22231020038044031\ 708495337918813353184300351220579*c_0101_5^20 - 5127270245934711924375512307287696640372943879089/22231020038044031\ 708495337918813353184300351220579*c_0101_5^19 + 21766610341349749199219518363557741188382887246977/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^18 - 4553790361272962886415577412486302600500776377996/22231020038044031\ 708495337918813353184300351220579*c_0101_5^17 + 87661507645680195287497901013287345091634795765753/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^16 + 205681007918120518785526668307879257464730575177051/222310200380440\ 31708495337918813353184300351220579*c_0101_5^15 - 65056765783264296514679989664625969022368959023834/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^14 + 631277747775197100427814446019827380437313586860495/222310200380440\ 31708495337918813353184300351220579*c_0101_5^13 - 789891229364341573728279683876767624033331562795332/222310200380440\ 31708495337918813353184300351220579*c_0101_5^12 - 4645711939066174940037108969905219365579883915253255/22231020038044\ 031708495337918813353184300351220579*c_0101_5^11 - 3927116701484867454355057825694215419518649049001758/22231020038044\ 031708495337918813353184300351220579*c_0101_5^10 + 2865942223188842865970722473085438645478237933516054/22231020038044\ 031708495337918813353184300351220579*c_0101_5^9 + 3630794791989752966427457813353472169327738585086853/22231020038044\ 031708495337918813353184300351220579*c_0101_5^8 - 1660927446834939192198927456064631182578495957917993/22231020038044\ 031708495337918813353184300351220579*c_0101_5^7 + 1274855584528454047909436306431841068291610847013807/22231020038044\ 031708495337918813353184300351220579*c_0101_5^6 + 1474112355429959044687171362473647484207789252173779/22231020038044\ 031708495337918813353184300351220579*c_0101_5^5 - 879913955283312112473627338433634663194302498920022/222310200380440\ 31708495337918813353184300351220579*c_0101_5^4 - 28483582845474195055875501513430967853633771542700/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^3 + 103454422063848297331767947985596765840994658657444/222310200380440\ 31708495337918813353184300351220579*c_0101_5^2 - 16992774747040406876821662782393484235503166891218/2223102003804403\ 1708495337918813353184300351220579*c_0101_5 + 12106211521002278046196311535229437225995475359494/2223102003804403\ 1708495337918813353184300351220579, c_0101_0 + 1326095709056936169108668055872646143844598605075/2223102003\ 8044031708495337918813353184300351220579*c_0101_5^21 - 10260259408238104656157979759124649585816737133883/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^20 - 12106022860700464209762711565989841933013635736737/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^19 + 73441526040997458940760956627796937538499602167061/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^18 - 40984969303383635784226618753117647679565262292587/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^17 + 282964729506445347433012035399008917100429954875062/222310200380440\ 31708495337918813353184300351220579*c_0101_5^16 + 529585022383645458850178401935077550062979478773563/222310200380440\ 31708495337918813353184300351220579*c_0101_5^15 - 430882697691472966962164698706556361662645696165454/222310200380440\ 31708495337918813353184300351220579*c_0101_5^14 + 2065401187557650360220108292654376229015302364477531/22231020038044\ 031708495337918813353184300351220579*c_0101_5^13 - 3255171496452529343547976676262873928345508471643016/22231020038044\ 031708495337918813353184300351220579*c_0101_5^12 - 13368596809304151137214082576334278928071165444645219/2223102003804\ 4031708495337918813353184300351220579*c_0101_5^11 - 6883749204681652857880261501121140162565523952785888/22231020038044\ 031708495337918813353184300351220579*c_0101_5^10 + 13141286107681695097562535005487494455772707726678203/2223102003804\ 4031708495337918813353184300351220579*c_0101_5^9 + 7610677997571930308471534301994515480098490732747861/22231020038044\ 031708495337918813353184300351220579*c_0101_5^8 - 9171541082186394218453779037505602413331421919895250/22231020038044\ 031708495337918813353184300351220579*c_0101_5^7 + 5975964453073876207238555795604215389053896719982563/22231020038044\ 031708495337918813353184300351220579*c_0101_5^6 + 3016545644496795082525909364617783745734175500901383/22231020038044\ 031708495337918813353184300351220579*c_0101_5^5 - 3809867854662406653940569933046783146041144161234657/22231020038044\ 031708495337918813353184300351220579*c_0101_5^4 + 470645415722126903646994171351632193535610328204509/222310200380440\ 31708495337918813353184300351220579*c_0101_5^3 + 523712396714152231776120529750681727027943954416728/222310200380440\ 31708495337918813353184300351220579*c_0101_5^2 - 122897370185848648207500321353512800813408120788248/222310200380440\ 31708495337918813353184300351220579*c_0101_5 + 11518789971456307911510110444026034668899466600151/2223102003804403\ 1708495337918813353184300351220579, c_0101_3 + 2220476731027608871311282948978663656206898635377/2223102003\ 8044031708495337918813353184300351220579*c_0101_5^21 - 17212517749130848127067739165096612120171369071520/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^20 - 19860330557306146554542925624999683121417510191479/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^19 + 121994482216248487324738696173776700518234754740071/222310200380440\ 31708495337918813353184300351220579*c_0101_5^18 - 71639006254963190705963451672325237356315890375876/2223102003804403\ 1708495337918813353184300351220579*c_0101_5^17 + 483782317554317769251955124380314901959933828434764/222310200380440\ 31708495337918813353184300351220579*c_0101_5^16 + 873245395891539574298700987770855066431485802498085/222310200380440\ 31708495337918813353184300351220579*c_0101_5^15 - 697727499687340953836709705429469931751658868045960/222310200380440\ 31708495337918813353184300351220579*c_0101_5^14 + 3525403928352178792234039660838368184005304708619089/22231020038044\ 031708495337918813353184300351220579*c_0101_5^13 - 5558696969551338659740012411908936544020572430251787/22231020038044\ 031708495337918813353184300351220579*c_0101_5^12 - 22040410978549211134790284551608725656811214151713316/2223102003804\ 4031708495337918813353184300351220579*c_0101_5^11 - 11654098057737291410781971563854075209891813674955494/2223102003804\ 4031708495337918813353184300351220579*c_0101_5^10 + 20662184956510289467101788700041875356476392161904557/2223102003804\ 4031708495337918813353184300351220579*c_0101_5^9 + 11788612416876136057316845571760911863411423822303695/2223102003804\ 4031708495337918813353184300351220579*c_0101_5^8 - 13986960695316420074933787774203441953821924242478119/2223102003804\ 4031708495337918813353184300351220579*c_0101_5^7 + 10900145500710633113545463966001377971265171115382682/2223102003804\ 4031708495337918813353184300351220579*c_0101_5^6 + 3911765161500934125579142491471591117010672568248174/22231020038044\ 031708495337918813353184300351220579*c_0101_5^5 - 5553609342239552372993752197486210277759404415269475/22231020038044\ 031708495337918813353184300351220579*c_0101_5^4 + 938022480996895953570773324402595755846930407049314/222310200380440\ 31708495337918813353184300351220579*c_0101_5^3 + 580619298882856543483757177519646640343410645234064/222310200380440\ 31708495337918813353184300351220579*c_0101_5^2 - 179971123492017278290304637730759079986649866459504/222310200380440\ 31708495337918813353184300351220579*c_0101_5 + 17740556633968746503668718477636407677018136559288/2223102003804403\ 1708495337918813353184300351220579, c_0101_5^22 - 8*c_0101_5^21 - 7*c_0101_5^20 + 57*c_0101_5^19 - 46*c_0101_5^18 + 227*c_0101_5^17 + 338*c_0101_5^16 - 407*c_0101_5^15 + 1671*c_0101_5^14 - 2906*c_0101_5^13 - 9269*c_0101_5^12 - 2850*c_0101_5^11 + 10448*c_0101_5^10 + 2971*c_0101_5^9 - 7426*c_0101_5^8 + 6476*c_0101_5^7 + 404*c_0101_5^6 - 2789*c_0101_5^5 + 1014*c_0101_5^4 + 136*c_0101_5^3 - 132*c_0101_5^2 + 29*c_0101_5 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB