Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 3953817559] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0195 geometric_solution 4.00732966 oriented_manifold CS_known -0.0000000000000001 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.735163684102 0.051744791348 2 0 2 0 0132 2310 1023 0132 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 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.911300581087 0.043524365296 1 3 1 3 0132 0132 1023 1023 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 0 1 -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 0 0 0 0.869091004225 0.093832003079 4 2 4 2 0132 0132 1023 1023 0 0 0 0 0 0 -1 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 0 0 1 -1 0 0 -1 1 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.815131650543 0.289639451955 3 5 3 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.465810866533 0.861735195231 6 4 6 6 3120 0132 3012 2310 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 1 -1 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.493164622612 0.850113502013 5 5 4 5 3201 1230 0132 3120 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493164622612 0.850113502013 ==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' : d['c_0011_1'], 'c_1100_5' : d['c_0011_6'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), '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_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1467527920012114159852821172882979/57529644418585645811356249152097\ *c_0101_4^22 + 80530350454994731145163189962101/8218520631226520830\ 193749878871*c_0101_4^21 - 39613386204765033427665387417885695/5752\ 9644418585645811356249152097*c_0101_4^20 - 50568459306424662378030950517487681/5752964441858564581135624915209\ 7*c_0101_4^19 + 173696138221843181555546943179162955/57529644418585\ 645811356249152097*c_0101_4^18 + 3273043763520573508617168639776801\ 83/57529644418585645811356249152097*c_0101_4^17 + 432995133980041821761092736187191166/575296444185856458113562491520\ 97*c_0101_4^16 - 30187250718169279598632872009691916/57529644418585\ 645811356249152097*c_0101_4^15 - 5634040098429059230501799299854163\ 052/57529644418585645811356249152097*c_0101_4^14 - 4560242069791740217849928071017462521/57529644418585645811356249152\ 097*c_0101_4^13 + 18569887808461445136828473343726739122/5752964441\ 8585645811356249152097*c_0101_4^12 + 15374961576148663850459206969620748141/5752964441858564581135624915\ 2097*c_0101_4^11 - 29824478391531371984148070166543405791/575296444\ 18585645811356249152097*c_0101_4^10 - 24490036382347411025701804227228275734/5752964441858564581135624915\ 2097*c_0101_4^9 + 25161116706783733425322977615144585247/5752964441\ 8585645811356249152097*c_0101_4^8 + 21728924450283003824044765665587620788/5752964441858564581135624915\ 2097*c_0101_4^7 - 1449102365528458458924753300047294904/82185206312\ 26520830193749878871*c_0101_4^6 - 106596128872333151019969139612138\ 66776/57529644418585645811356249152097*c_0101_4^5 + 1044403703124368057602625913213201612/57529644418585645811356249152\ 097*c_0101_4^4 + 2546746521183505169554551630434504292/575296444185\ 85645811356249152097*c_0101_4^3 + 265247452996437178289261619847761\ 365/57529644418585645811356249152097*c_0101_4^2 - 186429622693072700746389897352733327/575296444185856458113562491520\ 97*c_0101_4 - 739342400070274423438991655727266/8218520631226520830\ 193749878871, c_0011_0 - 1, c_0011_1 + 217680112395619786408934785712542/82185206312265208301937498\ 78871*c_0101_4^22 + 253995004763565475443995741803857/8218520631226\ 520830193749878871*c_0101_4^21 - 5581042620907194327924315913600677\ /8218520631226520830193749878871*c_0101_4^20 - 11736675342578401236150791215577594/8218520631226520830193749878871\ *c_0101_4^19 + 14169445113942808094906616600480580/8218520631226520\ 830193749878871*c_0101_4^18 + 53981528935883318008455715671220804/8\ 218520631226520830193749878871*c_0101_4^17 + 110882248820085407666834449258031798/821852063122652083019374987887\ 1*c_0101_4^16 + 105630386968958351857209841707746746/82185206312265\ 20830193749878871*c_0101_4^15 - 69789809474178072133884402993886518\ 1/8218520631226520830193749878871*c_0101_4^14 - 1158593877679919191146724385614357263/82185206312265208301937498788\ 71*c_0101_4^13 + 1567274386285534578074968589474603526/821852063122\ 6520830193749878871*c_0101_4^12 + 295299080672979145282214859173667\ 6951/8218520631226520830193749878871*c_0101_4^11 - 1612400681294308035807853754207841955/82185206312265208301937498788\ 71*c_0101_4^10 - 3619197456527073228859155182291576226/821852063122\ 6520830193749878871*c_0101_4^9 + 6025532180178666497119845436900527\ 10/8218520631226520830193749878871*c_0101_4^8 + 2328395811361652098841497979002966641/82185206312265208301937498788\ 71*c_0101_4^7 + 169186094973098319346522936306902862/82185206312265\ 20830193749878871*c_0101_4^6 - 755386590338654269966198984200866779\ /8218520631226520830193749878871*c_0101_4^5 - 182304424716304066079328478755659513/821852063122652083019374987887\ 1*c_0101_4^4 + 109359962431917609800051025310160217/821852063122652\ 0830193749878871*c_0101_4^3 + 34488616444751894479239176530249295/8\ 218520631226520830193749878871*c_0101_4^2 - 6316615583121043012471226981763043/8218520631226520830193749878871*\ c_0101_4 - 1299620085352947333458039671433173/821852063122652083019\ 3749878871, c_0011_6 - 524128344323406362680456241341890/82185206312265208301937498\ 78871*c_0101_4^22 - 610119840253200009556291508810754/8218520631226\ 520830193749878871*c_0101_4^21 + 1344164318033153092926531126931411\ 2/8218520631226520830193749878871*c_0101_4^20 + 28226518590893515715271340828894257/8218520631226520830193749878871\ *c_0101_4^19 - 34240910615373613003939872430995146/8218520631226520\ 830193749878871*c_0101_4^18 - 130030500332738447159889325475019922/\ 8218520631226520830193749878871*c_0101_4^17 - 266651502589568987586281101242722878/821852063122652083019374987887\ 1*c_0101_4^16 - 253177736904087510880657799830729241/82185206312265\ 20830193749878871*c_0101_4^15 + 16825126317653371679181518814243707\ 68/8218520631226520830193749878871*c_0101_4^14 + 2787435261914501134439939052031017303/82185206312265208301937498788\ 71*c_0101_4^13 - 3784985679618513041295782204083327738/821852063122\ 6520830193749878871*c_0101_4^12 - 711308461707383019210668639727689\ 2581/8218520631226520830193749878871*c_0101_4^11 + 3901888908449481582013794264403724457/82185206312265208301937498788\ 71*c_0101_4^10 + 8726840865418267951645851176136923514/821852063122\ 6520830193749878871*c_0101_4^9 - 1465164456631254240295092590528612\ 317/8218520631226520830193749878871*c_0101_4^8 - 5619950182862349293871453194263729142/82185206312265208301937498788\ 71*c_0101_4^7 - 403878862293182696227662573518626918/82185206312265\ 20830193749878871*c_0101_4^6 + 182507115580043675512366985508863233\ 4/8218520631226520830193749878871*c_0101_4^5 + 439515296613605655911305021405447252/821852063122652083019374987887\ 1*c_0101_4^4 - 264521349074297854703229398437646640/821852063122652\ 0830193749878871*c_0101_4^3 - 83327703850806616274857443746080281/8\ 218520631226520830193749878871*c_0101_4^2 + 15295017555557780670429547153897492/8218520631226520830193749878871\ *c_0101_4 + 3156323540459748839930169932877572/82185206312265208301\ 93749878871, c_0101_0 + 187482220839434083751661404158090/82185206312265208301937498\ 78871*c_0101_4^22 + 218275137374922727597969754689086/8218520631226\ 520830193749878871*c_0101_4^21 - 4807985696252603587833848586674801\ /8218520631226520830193749878871*c_0101_4^20 - 10096934241315982827250689127892350/8218520631226520830193749878871\ *c_0101_4^19 + 12245207642073700002382480079957827/8218520631226520\ 830193749878871*c_0101_4^18 + 46497871367005006812546484242569155/8\ 218520631226520830193749878871*c_0101_4^17 + 95354085726023118464314101403276942/8218520631226520830193749878871\ *c_0101_4^16 + 90578909287729053469566944133039804/8218520631226520\ 830193749878871*c_0101_4^15 - 601689535995994424108076458924673620/\ 8218520631226520830193749878871*c_0101_4^14 - 996751667186646375189593589102735478/821852063122652083019374987887\ 1*c_0101_4^13 + 1354210548783336176710187718279870174/8218520631226\ 520830193749878871*c_0101_4^12 + 2543528585947032384138697899307492\ 213/8218520631226520830193749878871*c_0101_4^11 - 1397955055174057125059770128455910255/82185206312265208301937498788\ 71*c_0101_4^10 - 3121618383476531303238240047875979079/821852063122\ 6520830193749878871*c_0101_4^9 + 5274229729111093743213619840513566\ 61/8218520631226520830193749878871*c_0101_4^8 + 2011718581369793961130740280131966949/82185206312265208301937498788\ 71*c_0101_4^7 + 142713920331452854008627697650956604/82185206312265\ 20830193749878871*c_0101_4^6 - 653875548609208503243799031229307195\ /8218520631226520830193749878871*c_0101_4^5 - 156891699929256742410277740185286266/821852063122652083019374987887\ 1*c_0101_4^4 + 94800395185521065436813845051134551/8218520631226520\ 830193749878871*c_0101_4^3 + 29749604015124224766954315403043285/82\ 18520631226520830193749878871*c_0101_4^2 - 5493912495897690362263688514879272/8218520631226520830193749878871*\ c_0101_4 - 1122569475177485961777382523519307/821852063122652083019\ 3749878871, c_0101_1 - 363513208182413687601778405682405/82185206312265208301937498\ 78871*c_0101_4^22 - 423519124803336926202446964895173/8218520631226\ 520830193749878871*c_0101_4^21 + 9321399991682498493473640541262309\ /8218520631226520830193749878871*c_0101_4^20 + 19584647453970709312038586578653643/8218520631226520830193749878871\ *c_0101_4^19 - 23711396992734935746619015212656343/8218520631226520\ 830193749878871*c_0101_4^18 - 90155030008256621989061375327146720/8\ 218520631226520830193749878871*c_0101_4^17 - 185020301152954239326041577846485558/821852063122652083019374987887\ 1*c_0101_4^16 - 175921650917622051913764485085652020/82185206312265\ 20830193749878871*c_0101_4^15 + 11662443587516300596471392057647051\ 90/8218520631226520830193749878871*c_0101_4^14 + 1933557136584898631618934708349568067/82185206312265208301937498788\ 71*c_0101_4^13 - 2621854257977172833042809625672836573/821852063122\ 6520830193749878871*c_0101_4^12 - 493148335839868558525816064580516\ 5317/8218520631226520830193749878871*c_0101_4^11 + 2700884302745496864832072553880963553/82185206312265208301937498788\ 71*c_0101_4^10 + 6047797583338853560866429666228765380/821852063122\ 6520830193749878871*c_0101_4^9 - 1012381771912515230423087813800912\ 718/8218520631226520830193749878871*c_0101_4^8 - 3893209990353370363742543948232790321/82185206312265208301937498788\ 71*c_0101_4^7 - 281187839623108832342629273979593799/82185206312265\ 20830193749878871*c_0101_4^6 + 126363546942942743736583703449505195\ 3/8218520631226520830193749878871*c_0101_4^5 + 304750382927490578888722507877487033/821852063122652083019374987887\ 1*c_0101_4^4 - 182917961604222652943131513229606188/821852063122652\ 0830193749878871*c_0101_4^3 - 57680620366434963870282545220758299/8\ 218520631226520830193749878871*c_0101_4^2 + 10556005537965862846691780061809490/8218520631226520830193749878871\ *c_0101_4 + 2181487431640218193824230969058311/82185206312265208301\ 93749878871, c_0101_3 - 22458541868401398304517401909479/821852063122652083019374987\ 8871*c_0101_4^22 - 26437810874684126640186365428847/821852063122652\ 0830193749878871*c_0101_4^21 + 574578897550023255245867230927609/82\ 18520631226520830193749878871*c_0101_4^20 + 1214697315806759250582516086701796/8218520631226520830193749878871*\ c_0101_4^19 - 1427506654433704672309467199894713/821852063122652083\ 0193749878871*c_0101_4^18 - 5509523059717281706860251631456798/8218\ 520631226520830193749878871*c_0101_4^17 - 11469309023261751041165297203692501/8218520631226520830193749878871\ *c_0101_4^16 - 11201961720631787029837826349413839/8218520631226520\ 830193749878871*c_0101_4^15 + 71189370221420664611472727772739337/8\ 218520631226520830193749878871*c_0101_4^14 + 118973739927666909210369944352166983/821852063122652083019374987887\ 1*c_0101_4^13 - 159026688350351898158554452401769073/82185206312265\ 20830193749878871*c_0101_4^12 - 29996090097944933481462460740156418\ 9/8218520631226520830193749878871*c_0101_4^11 + 164179137587440978778774523498053175/821852063122652083019374987887\ 1*c_0101_4^10 + 365119628522838888852152171700218852/82185206312265\ 20830193749878871*c_0101_4^9 - 63513320111289088383202411021907818/\ 8218520631226520830193749878871*c_0101_4^8 - 234423516667136023148539660568207016/821852063122652083019374987887\ 1*c_0101_4^7 - 14901624973552178954914779895914120/8218520631226520\ 830193749878871*c_0101_4^6 + 76441507826910574068579703082280940/82\ 18520631226520830193749878871*c_0101_4^5 + 17743534205693068651558992029533759/8218520631226520830193749878871\ *c_0101_4^4 - 11275032634468478122419675280439863/82185206312265208\ 30193749878871*c_0101_4^3 - 3426093283884991737662520857372375/8218\ 520631226520830193749878871*c_0101_4^2 + 673085341899572485565347716293443/8218520631226520830193749878871*c\ _0101_4 + 133249938369951982134258628490347/82185206312265208301937\ 49878871, c_0101_4^23 - 27*c_0101_4^21 - 24*c_0101_4^20 + 128*c_0101_4^19 + 172*c_0101_4^18 + 220*c_0101_4^17 - 109*c_0101_4^16 - 3772*c_0101_4^15 - 1581*c_0101_4^14 + 13410*c_0101_4^13 + 5161*c_0101_4^12 - 23238*c_0101_4^11 - 7975*c_0101_4^10 + 22174*c_0101_4^9 + 7458*c_0101_4^8 - 11711*c_0101_4^7 - 4373*c_0101_4^6 + 3216*c_0101_4^5 + 1479*c_0101_4^4 - 429*c_0101_4^3 - 214*c_0101_4^2 + 28*c_0101_4 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB