Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 492601851] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0742 geometric_solution 4.69030420 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473681862128 0.134935968170 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -1 -1 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573652941743 0.421312412479 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 1 -1 0 1 0 -1 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.642990869926 1.752664198153 4 2 5 4 3201 0132 0132 2310 0 0 0 0 0 -1 0 1 -1 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 -1 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.133458522291 0.617010322638 3 5 2 3 3201 0132 0132 2310 0 0 0 0 0 -1 0 1 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 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.133458522291 0.617010322638 6 4 6 3 0132 0132 1023 0132 0 0 0 0 0 1 -1 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 -1 1 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 2.080170364501 1.363610854615 5 6 5 6 0132 2310 1023 3201 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 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.453869771401 0.446780773757 ==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' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(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_4' : negation(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' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_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_4, c_0101_0, c_0101_1, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 63783163776614936497025053680558800988331704072623769056319/5998961\ 805917892018465377030515995652652310279043646117900*c_1001_3^17 - 1193743727319475993792401824840768232125645766621932983548369/29994\ 80902958946009232688515257997826326155139521823058950*c_1001_3^16 + 30306193900520106618914009725763163539008161624710682739474041/5998\ 961805917892018465377030515995652652310279043646117900*c_1001_3^15 - 80109034446007114569397950808991453723236841095819503878772449/2999\ 480902958946009232688515257997826326155139521823058950*c_1001_3^14 + 57328146676976585724167340864656042214231700221347299350804687/1499\ 740451479473004616344257628998913163077569760911529475*c_1001_3^13 + 81774468281725536527122227543675983626869946514203036189466821/5998\ 96180591789201846537703051599565265231027904364611790*c_1001_3^12 - 92859458293721352489993768843798456559844477213221036651386469/3528\ 80106230464236380316295912705626626606487002567418700*c_1001_3^11 - 1330499097937030925849544036125240716596976165712839189566267991/14\ 99740451479473004616344257628998913163077569760911529475*c_1001_3^1\ 0 + 87269784453855290080449890708604111154298186885979919709142395/\ 119979236118357840369307540610319913053046205580872922358*c_1001_3^\ 9 + 532338076172971101154419195816020019331920711863177285063929067\ 3/1199792361183578403693075406103199130530462055808729223580*c_1001\ _3^8 + 593143869713971771285437243129966914246487402642282505515423\ 5771/5998961805917892018465377030515995652652310279043646117900*c_1\ 001_3^7 - 258903628407472107940206764299987677910089974784648852387\ 43912177/2999480902958946009232688515257997826326155139521823058950\ *c_1001_3^6 - 23491105397153460835039696477790793287075300292937410\ 440535609279/299948090295894600923268851525799782632615513952182305\ 8950*c_1001_3^5 + 6026732457546397929836239064313921301733436164038\ 72713443362317/3528801062304642363803162959127056266266064870025674\ 18700*c_1001_3^4 + 341241129210444126395569108450833756128564576183\ 85887601665852027/5998961805917892018465377030515995652652310279043\ 646117900*c_1001_3^3 + 20366251099853120960853920995594753380313320\ 203899777314464885843/599896180591789201846537703051599565265231027\ 9043646117900*c_1001_3^2 + 4825596853191035527351101159853421933898\ 449180356152366135800007/599896180591789201846537703051599565265231\ 0279043646117900*c_1001_3 + 177813443463000631933982193254221774086\ 353172526879629326807823/599896180591789201846537703051599565265231\ 0279043646117900, c_0011_0 - 1, c_0011_1 + 22980024225698061828469999707878507794996771569169/585693122\ 37421450021629260732399274128897342241090028*c_1001_3^17 - 432288344937938407515753041205449629785494061378893/292846561187107\ 25010814630366199637064448671120545014*c_1001_3^16 + 11089178377636613715820275043709431294547606051165937/5856931223742\ 1450021629260732399274128897342241090028*c_1001_3^15 - 15006894383068778595593004300274068523858872990469424/1464232805935\ 5362505407315183099818532224335560272507*c_1001_3^14 + 24122947898717745052026570938762112165828678005605442/1464232805935\ 5362505407315183099818532224335560272507*c_1001_3^13 + 131163655596172298874687154378012539462671148482904581/292846561187\ 10725010814630366199637064448671120545014*c_1001_3^12 - 589935081490396267022506277920727745043117996679634015/585693122374\ 21450021629260732399274128897342241090028*c_1001_3^11 - 442800980882705164383382045821385095798001212614852572/146423280593\ 55362505407315183099818532224335560272507*c_1001_3^10 + 884020852478271413458590500152055848281379793318058615/292846561187\ 10725010814630366199637064448671120545014*c_1001_3^9 + 8994338848523855398741602174055371197759784006980828819/58569312237\ 421450021629260732399274128897342241090028*c_1001_3^8 + 947305553507614352052061763050740048614456511580684459/585693122374\ 21450021629260732399274128897342241090028*c_1001_3^7 - 4347324021210502273010665549146074591924675367835430364/14642328059\ 355362505407315183099818532224335560272507*c_1001_3^6 - 7209646364318211565469412718964481994658744199319594529/29284656118\ 710725010814630366199637064448671120545014*c_1001_3^5 + 3532516477675127743021144482452182248106833647395923837/58569312237\ 421450021629260732399274128897342241090028*c_1001_3^4 + 10774975032650602780140543771104924159080672640530844349/5856931223\ 7421450021629260732399274128897342241090028*c_1001_3^3 + 6578179179646174915440346755667959455156748774164984091/58569312237\ 421450021629260732399274128897342241090028*c_1001_3^2 + 1732086577572558546980600594280449004365844775873776901/58569312237\ 421450021629260732399274128897342241090028*c_1001_3 + 122850847458991955384512988490210732709882941324982037/585693122374\ 21450021629260732399274128897342241090028, c_0011_4 + 8995558000362493968434344540504070862691268508935/2928465611\ 8710725010814630366199637064448671120545014*c_1001_3^17 - 340463463685211402871702013653358725594885155131121/292846561187107\ 25010814630366199637064448671120545014*c_1001_3^16 + 2208926433041081576771286714814106425601697310311706/14642328059355\ 362505407315183099818532224335560272507*c_1001_3^15 - 12253645923278544905765784858836771721680526787149224/1464232805935\ 5362505407315183099818532224335560272507*c_1001_3^14 + 21757074456948296051892186376915408032204796844820812/1464232805935\ 5362505407315183099818532224335560272507*c_1001_3^13 + 45638859250534617684991883984163974453549794720203073/1464232805935\ 5362505407315183099818532224335560272507*c_1001_3^12 - 245821945840510307497526465869936117765666080562425423/292846561187\ 10725010814630366199637064448671120545014*c_1001_3^11 - 645342427942937366556835579535429644011492764815716487/292846561187\ 10725010814630366199637064448671120545014*c_1001_3^10 + 833593864985032351884389282178767927946085948551565777/292846561187\ 10725010814630366199637064448671120545014*c_1001_3^9 + 1663790448350410395075195167041390078962326366864818997/14642328059\ 355362505407315183099818532224335560272507*c_1001_3^8 - 309534094104425982563777818264458289018092300038008819/292846561187\ 10725010814630366199637064448671120545014*c_1001_3^7 - 6750360665208404928583607527444918192062413640407936923/29284656118\ 710725010814630366199637064448671120545014*c_1001_3^6 - 4269322742729993743296878386360803205178798549114618035/29284656118\ 710725010814630366199637064448671120545014*c_1001_3^5 + 1182607847622919212884734658535092024413327916761892382/14642328059\ 355362505407315183099818532224335560272507*c_1001_3^4 + 3754697768716703862871277977887177519030731037809946693/29284656118\ 710725010814630366199637064448671120545014*c_1001_3^3 + 885485728947729920786001840477305284913451261755974734/146423280593\ 55362505407315183099818532224335560272507*c_1001_3^2 + 269824919618967639303029707478638754997610573061010531/292846561187\ 10725010814630366199637064448671120545014*c_1001_3 - 10248273547192356372260911956909661540178536476815243/1464232805935\ 5362505407315183099818532224335560272507, c_0101_0 - 47753884908646512528439341024951222495710782166909/585693122\ 37421450021629260732399274128897342241090028*c_1001_3^17 + 447161129978387531550204699597230203422357862615113/146423280593553\ 62505407315183099818532224335560272507*c_1001_3^16 - 22733688196555324455383109807633726428560882170659843/5856931223742\ 1450021629260732399274128897342241090028*c_1001_3^15 + 30130084069891423845920213716768517784139632990936027/1464232805935\ 5362505407315183099818532224335560272507*c_1001_3^14 - 43695910723706351757784581841448442854723326057319290/1464232805935\ 5362505407315183099818532224335560272507*c_1001_3^13 - 303708302326010169201408355760208940365253220361171805/292846561187\ 10725010814630366199637064448671120545014*c_1001_3^12 + 1198834239963369454447359259139682111900001912994182975/58569312237\ 421450021629260732399274128897342241090028*c_1001_3^11 + 1969141663419625636156644645224122614575608032736501459/29284656118\ 710725010814630366199637064448671120545014*c_1001_3^10 - 837096969649236858734261254383621058015917413923443303/146423280593\ 55362505407315183099818532224335560272507*c_1001_3^9 - 19768757319983357089147142409786421351846538829876108849/5856931223\ 7421450021629260732399274128897342241090028*c_1001_3^8 - 3971088205602910066856790724292302873192714276749866331/58569312237\ 421450021629260732399274128897342241090028*c_1001_3^7 + 19244333001733838568768817710080772766565087778739356619/2928465611\ 8710725010814630366199637064448671120545014*c_1001_3^6 + 8501432107137373613526591411094952578471105469002827025/14642328059\ 355362505407315183099818532224335560272507*c_1001_3^5 - 7634771108505163225530502878788972693358136770362482139/58569312237\ 421450021629260732399274128897342241090028*c_1001_3^4 - 24667798742196736847670710459983357906373935665542813993/5856931223\ 7421450021629260732399274128897342241090028*c_1001_3^3 - 15032906116489482696109261941843881511575891178048662877/5856931223\ 7421450021629260732399274128897342241090028*c_1001_3^2 - 3739442571827299422408075796550639607174533239814440401/58569312237\ 421450021629260732399274128897342241090028*c_1001_3 - 221750453139168413460610663466901290023534388259763235/585693122374\ 21450021629260732399274128897342241090028, c_0101_1 + 36929391340423167784840149059482929533097477270205/585693122\ 37421450021629260732399274128897342241090028*c_1001_3^17 - 348697623786690532390666797311860284152739144987316/146423280593553\ 62505407315183099818532224335560272507*c_1001_3^16 + 18027558126860871862920527538938693579561150927525671/5856931223742\ 1450021629260732399274128897342241090028*c_1001_3^15 - 24805923678367114417716074036092305759847700192216566/1464232805935\ 5362505407315183099818532224335560272507*c_1001_3^14 + 42815741534771989567216384410861161333741325247004866/1464232805935\ 5362505407315183099818532224335560272507*c_1001_3^13 + 192963243453974487350195512856666736466019773021256635/292846561187\ 10725010814630366199637064448671120545014*c_1001_3^12 - 976532719682981732150721687334754449618280885469849471/585693122374\ 21450021629260732399274128897342241090028*c_1001_3^11 - 1352857046964233703759109710766531312476034998215863907/29284656118\ 710725010814630366199637064448671120545014*c_1001_3^10 + 789295639568399364239570042223982419463368045664391501/146423280593\ 55362505407315183099818532224335560272507*c_1001_3^9 + 13858376712686147093656361853823656788600381872346163213/5856931223\ 7421450021629260732399274128897342241090028*c_1001_3^8 - 70116497844906409556699518436916728951568361459188461/5856931223742\ 1450021629260732399274128897342241090028*c_1001_3^7 - 13641645162323004149107523692427745850324352119244070589/2928465611\ 8710725010814630366199637064448671120545014*c_1001_3^6 - 4992620898102439508633696075340860941596949048124003887/14642328059\ 355362505407315183099818532224335560272507*c_1001_3^5 + 7244465893326968495655636238774098259864320735823689835/58569312237\ 421450021629260732399274128897342241090028*c_1001_3^4 + 16102708599794028470772734535875365063638807231327125801/5856931223\ 7421450021629260732399274128897342241090028*c_1001_3^3 + 8899313520683185667949672884513393254965086484379514637/58569312237\ 421450021629260732399274128897342241090028*c_1001_3^2 + 2034547438361829589219657798728677547484739503163775457/58569312237\ 421450021629260732399274128897342241090028*c_1001_3 + 134035084967594840762643857976549748527315169749616727/585693122374\ 21450021629260732399274128897342241090028, c_0101_5 + 5654867362867583841627137676778517647934777165500/1464232805\ 9355362505407315183099818532224335560272507*c_1001_3^17 - 428661738379081647844198499677103524119085863671973/292846561187107\ 25010814630366199637064448671120545014*c_1001_3^16 + 5578946187556111455824379183102842029263700595009075/29284656118710\ 725010814630366199637064448671120545014*c_1001_3^15 - 15583380427421190719380268012477862149008338974268831/1464232805935\ 5362505407315183099818532224335560272507*c_1001_3^14 + 28547370474039152206195618974971995514658581742732563/1464232805935\ 5362505407315183099818532224335560272507*c_1001_3^13 + 53831422325009173399200007374435606081787621664294795/1464232805935\ 5362505407315183099818532224335560272507*c_1001_3^12 - 153543861951568172791809826908438717849026151563023124/146423280593\ 55362505407315183099818532224335560272507*c_1001_3^11 - 781225997872031978418846945237872893430399193241308719/292846561187\ 10725010814630366199637064448671120545014*c_1001_3^10 + 1041034151223608969550697210822816089836106930696179765/29284656118\ 710725010814630366199637064448671120545014*c_1001_3^9 + 4050435512818438616803728301698107149856244575839562589/29284656118\ 710725010814630366199637064448671120545014*c_1001_3^8 - 221691396304602737470111852825049158898507638343633828/146423280593\ 55362505407315183099818532224335560272507*c_1001_3^7 - 7993648195917096626304071359249209795151883112105700595/29284656118\ 710725010814630366199637064448671120545014*c_1001_3^6 - 5228957258750603767572505437161229243993765353583685279/29284656118\ 710725010814630366199637064448671120545014*c_1001_3^5 + 2284887174694491845735181800661624083227381895973082969/29284656118\ 710725010814630366199637064448671120545014*c_1001_3^4 + 2223190146830532745919537058141341826627829825834294555/14642328059\ 355362505407315183099818532224335560272507*c_1001_3^3 + 2441805848388287519514097745730108378532526570488723345/29284656118\ 710725010814630366199637064448671120545014*c_1001_3^2 + 286098476320247153022159634275237066893734194443477440/146423280593\ 55362505407315183099818532224335560272507*c_1001_3 + 39105371319986498014053193626047426819485281483289627/2928465611871\ 0725010814630366199637064448671120545014, c_1001_3^18 - 37*c_1001_3^17 + 459*c_1001_3^16 - 2307*c_1001_3^15 + 2512*c_1001_3^14 + 14370*c_1001_3^13 - 19217*c_1001_3^12 - 94111*c_1001_3^11 + 32410*c_1001_3^10 + 446785*c_1001_3^9 + 273034*c_1001_3^8 - 771581*c_1001_3^7 - 1086822*c_1001_3^6 - 157349*c_1001_3^5 + 604198*c_1001_3^4 + 550192*c_1001_3^3 + 213508*c_1001_3^2 + 35462*c_1001_3 + 1205 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB