Magma V2.19-8 Tue Aug 20 2013 16:19:18 on localhost [Seed = 1713896296] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3413 geometric_solution 6.57920732 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 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476805769982 0.314555472975 2 0 3 0 0132 2310 0132 0132 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 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.061894787369 0.649484323266 1 4 5 6 0132 0132 0132 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 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.633178999099 0.825420948963 6 5 4 1 3201 1023 1023 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 -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.633178999099 0.825420948963 5 2 3 5 1230 0132 1023 3012 0 0 0 0 0 1 0 -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 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.630833079627 0.738445170648 3 4 4 2 1023 3012 1230 0132 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398414136025 0.862649992862 6 6 2 3 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0.646943739912 1.015310249621 ==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' : negation(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' : negation(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' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], '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_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), '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_3'], 'c_0011_4' : 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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0011_6']), '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' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_6']), '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_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 704212820806066687602889814307550662709065/140209384087998244968316\ 4442378241993490432*c_0101_4^27 - 106140729084461615498024073895251\ 40111214895/1402093840879982449683164442378241993490432*c_0101_4^25 + 88553273915103379470830194423306949884906879/14020938408799824496\ 83164442378241993490432*c_0101_4^23 - 841765357056554941703210775145096906627942135/280418768175996489936\ 6328884756483986980864*c_0101_4^21 + 1658991221064626736615105931007908000826087003/14020938408799824496\ 83164442378241993490432*c_0101_4^19 - 9785078110224618432980541804007553367874807657/28041876817599648993\ 66328884756483986980864*c_0101_4^17 + 24053151729324652847668791761513461511779422773/2804187681759964899\ 366328884756483986980864*c_0101_4^15 - 96697147034164071819091624600238214368347567391/5608375363519929798\ 732657769512967973961728*c_0101_4^13 + 17743129614835024721164933462922851002347347715/7010469204399912248\ 41582221189120996745216*c_0101_4^11 - 6837754546329338297837081926954375939650362917/17526173010999780621\ 0395555297280249186304*c_0101_4^9 + 2153523711863986328666099337523786034267667663/87630865054998903105\ 197777648640124593152*c_0101_4^7 - 58159378165220556751033330676052647974082069/5476929065937431444074\ 861103040007787072*c_0101_4^5 + 14172999768515434225269131075285117\ 799407723/5476929065937431444074861103040007787072*c_0101_4^3 - 880480327691623379965654621101375368724407/136923226648435786101871\ 5275760001946768*c_0101_4, c_0011_0 - 1, c_0011_1 + 12655340001737917573436801887017878321/350523460219995612420\ 791110594560498372608*c_0101_4^26 - 219230302218769240388094326949996803283/350523460219995612420791110\ 594560498372608*c_0101_4^24 + 2009456055680198815223012965391524699\ 131/350523460219995612420791110594560498372608*c_0101_4^22 - 21981920587592652792027842356541154708503/7010469204399912248415822\ 21189120996745216*c_0101_4^20 + 45638857063559414201034423071245324\ 951453/350523460219995612420791110594560498372608*c_0101_4^18 - 300073969346958852673547992396383523781193/701046920439991224841582\ 221189120996745216*c_0101_4^16 + 7902675454511178234299092076145646\ 50622313/701046920439991224841582221189120996745216*c_0101_4^14 - 3484706983325756561967290247889087355209679/14020938408799824496831\ 64442378241993490432*c_0101_4^12 + 1497251312625128502453124184211787771267107/35052346021999561242079\ 1110594560498372608*c_0101_4^10 - 547763386104297848175406178434826\ 381169575/87630865054998903105197777648640124593152*c_0101_4^8 + 39557786037158896992432348973504729871521/5476929065937431444074861\ 103040007787072*c_0101_4^6 - 41377077095693310186782609519420932018\ 17/1369232266484357861018715275760001946768*c_0101_4^4 + 1855272366951929156510785519062906581791/13692322664843578610187152\ 75760001946768*c_0101_4^2 + 18681958072803202308875174750898775571/\ 85577016655272366313669704735000121673, c_0011_3 - 1981589504607044716880036124263832155423/1402093840879982449\ 683164442378241993490432*c_0101_4^27 + 30232519453371901896875652916854797079689/1402093840879982449683164\ 442378241993490432*c_0101_4^25 - 2545661056548522726634346622173454\ 78500921/1402093840879982449683164442378241993490432*c_0101_4^23 + 2456869071452277585559784473227779603174241/28041876817599648993663\ 28884756483986980864*c_0101_4^21 - 4871271456714582195636618595364158871852525/14020938408799824496831\ 64442378241993490432*c_0101_4^19 + 29109880344744012524710083093300562645481215/2804187681759964899366\ 328884756483986980864*c_0101_4^17 - 72179659173459121422543765210639788890919411/2804187681759964899366\ 328884756483986980864*c_0101_4^15 + 293605983517333550833442362926677561701633273/560837536351992979873\ 2657769512967973961728*c_0101_4^13 - 55123355042727125410249496176075042985474553/7010469204399912248415\ 82221189120996745216*c_0101_4^11 + 20992622387568143513126915096684391136473025/1752617301099978062103\ 95555297280249186304*c_0101_4^9 - 741863782976012372411716452664257\ 4865744049/87630865054998903105197777648640124593152*c_0101_4^7 + 192363256028928732174629216757041617099661/547692906593743144407486\ 1103040007787072*c_0101_4^5 - 4325962510508049703056453621220071864\ 8185/5476929065937431444074861103040007787072*c_0101_4^3 + 915822694946167402747862583109714853589/136923226648435786101871527\ 5760001946768*c_0101_4, c_0011_6 + 255416764056153921838100087422313914979/35052346021999561242\ 0791110594560498372608*c_0101_4^27 - 3946132424455519049771078139024109441901/35052346021999561242079111\ 0594560498372608*c_0101_4^25 + 335046237518543395406828313524601077\ 21725/350523460219995612420791110594560498372608*c_0101_4^23 - 327571202482234537628919634088470996509741/701046920439991224841582\ 221189120996745216*c_0101_4^21 + 6511616360421919491263407703791423\ 95948453/350523460219995612420791110594560498372608*c_0101_4^19 - 3927239894424328248245672925432997436417283/70104692043999122484158\ 2221189120996745216*c_0101_4^17 + 976729340180923113110759856221195\ 1569720271/701046920439991224841582221189120996745216*c_0101_4^15 - 39944549042928371506895665245027601560012933/1402093840879982449683\ 164442378241993490432*c_0101_4^13 + 473337200767752023504346122699926832792995/109538581318748628881497\ 22206080015574144*c_0101_4^11 - 56661420347664712184978517524442279\ 40345015/87630865054998903105197777648640124593152*c_0101_4^9 + 1071949339521257725552185740911677458169357/21907716263749725776299\ 444412160031148288*c_0101_4^7 - 90022180670500723926525584886613754\ 700861/5476929065937431444074861103040007787072*c_0101_4^5 + 2513165392244711337270878193832261672087/68461613324217893050935763\ 7880000973384*c_0101_4^3 - 160384792994533763711194637439805669261/\ 171154033310544732627339409470000243346*c_0101_4, c_0101_0 + 67382080496630382020854127986163960747/876308650549989031051\ 97777648640124593152*c_0101_4^26 - 1058959577840209924002669830373281925261/87630865054998903105197777\ 648640124593152*c_0101_4^24 + 9119368766746455168529770932613464152\ 085/87630865054998903105197777648640124593152*c_0101_4^22 - 91221585192373067125436140965603559768069/1752617301099978062103955\ 55297280249186304*c_0101_4^20 + 18369268017049880945510925369595049\ 2219809/87630865054998903105197777648640124593152*c_0101_4^18 - 1131205840380835187635427457230176712971443/17526173010999780621039\ 5555297280249186304*c_0101_4^16 + 286702820661063019819661520646801\ 5207531791/175261730109997806210395555297280249186304*c_0101_4^14 - 11990551388060311764069691602248193491364765/3505234602199956124207\ 91110594560498372608*c_0101_4^12 + 2372349334577891103550393729723171435913317/43815432527499451552598\ 888824320062296576*c_0101_4^10 - 3565005247344008710935254157892058\ 638740477/43815432527499451552598888824320062296576*c_0101_4^8 + 388558631191091563368582772012389727218879/547692906593743144407486\ 1103040007787072*c_0101_4^6 - 8947742692283186697757986912645178843\ 6665/2738464532968715722037430551520003893536*c_0101_4^4 + 5509971735977376525947314682193288979911/68461613324217893050935763\ 7880000973384*c_0101_4^2 - 246238202908710759997694018868157655135/\ 171154033310544732627339409470000243346, c_0101_1 + 8341798244166933544546493327315492447/1752617301099978062103\ 95555297280249186304*c_0101_4^26 - 96353746567618115853579943355940489199/1752617301099978062103955552\ 97280249186304*c_0101_4^24 + 61511973102300610287936496516245087260\ 3/175261730109997806210395555297280249186304*c_0101_4^22 - 2842750853566727618778295888964868723333/35052346021999561242079111\ 0594560498372608*c_0101_4^20 + 157475337933642770825260053665928736\ 8961/87630865054998903105197777648640124593152*c_0101_4^18 + 12901916704774360185203078066243306860053/3505234602199956124207911\ 10594560498372608*c_0101_4^16 - 85832785550195764492227106667037745\ 370231/350523460219995612420791110594560498372608*c_0101_4^14 + 646842193421122237185124241244740400994043/701046920439991224841582\ 221189120996745216*c_0101_4^12 - 9129219820727728929751259122104755\ 66144639/350523460219995612420791110594560498372608*c_0101_4^10 + 286173999125583593173133469463048175445881/876308650549989031051977\ 77648640124593152*c_0101_4^8 - 189032269341036247181966767721749900\ 315333/21907716263749725776299444412160031148288*c_0101_4^6 + 10220839531728205580848637010701267927911/2738464532968715722037430\ 551520003893536*c_0101_4^4 - 70702192026090242031249510723871569004\ 5/342308066621089465254678818940000486692*c_0101_4^2 + 247472659535019387280546686362497772691/342308066621089465254678818\ 940000486692, c_0101_4^28 - 109/7*c_0101_4^26 + 933/7*c_0101_4^24 - 9249/14*c_0101_4^22 + 18591/7*c_0101_4^20 - 113839/14*c_0101_4^18 + 41153/2*c_0101_4^16 - 171759/4*c_0101_4^14 + 474135/7*c_0101_4^12 - 722608/7*c_0101_4^10 + 617648/7*c_0101_4^8 - 324672/7*c_0101_4^6 + 111872/7*c_0101_4^4 - 26624/7*c_0101_4^2 + 4096/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB