Magma V2.19-8 Tue Aug 20 2013 16:17:34 on localhost [Seed = 4071845421] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1806 geometric_solution 5.47194312 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 0132 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 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 0 0 0 0 0 0 0 0.721689878643 0.648457279061 0 4 3 5 0132 0132 3201 0132 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 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.267832900716 1.088937640583 2 0 0 2 3012 0132 1023 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 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.693053863183 0.496982440445 1 5 0 4 2310 0132 0132 2310 0 0 0 0 0 1 0 -1 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 -1 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.267832900716 1.088937640583 3 1 6 6 3201 0132 0132 2310 0 0 0 0 0 -1 0 1 -1 0 1 0 1 0 0 -1 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 0 -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.175787558065 0.533153677229 5 3 1 5 3201 0132 0132 2310 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 -0.212985062451 0.865940856273 4 6 6 4 3201 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -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 -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 -1.081454756340 0.782151863241 ==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' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 413314567015732139364040621762/29915294148595176124360637239*c_0101\ _6^26 - 2667367402617450088543057721201/299152941485951761243606372\ 39*c_0101_6^25 + 2378045812496849061063852705408/299152941485951761\ 24360637239*c_0101_6^24 + 22066296040290519828954038229613/29915294\ 148595176124360637239*c_0101_6^23 - 53113530739265063231393110238404/29915294148595176124360637239*c_01\ 01_6^22 - 68289545405785415335688993697882/299152941485951761243606\ 37239*c_0101_6^21 + 330901229341583422666245981308403/2991529414859\ 5176124360637239*c_0101_6^20 + 10263856315336864160947070968045/299\ 15294148595176124360637239*c_0101_6^19 - 1156000586991917552429922220607248/29915294148595176124360637239*c_\ 0101_6^18 + 643217836382376413316141041670047/299152941485951761243\ 60637239*c_0101_6^17 + 2556045808582794668403543901616732/299152941\ 48595176124360637239*c_0101_6^16 - 2420624238470877889322134556247891/29915294148595176124360637239*c_\ 0101_6^15 - 3706647513692026720116926270894287/29915294148595176124\ 360637239*c_0101_6^14 + 4764134054118767747869424382120668/29915294\ 148595176124360637239*c_0101_6^13 + 3481689130325469558382263393730372/29915294148595176124360637239*c_\ 0101_6^12 - 5839522925326381392686081114392667/29915294148595176124\ 360637239*c_0101_6^11 - 1914176668705403386994209744337562/29915294\ 148595176124360637239*c_0101_6^10 + 4526633262489789376380532629341548/29915294148595176124360637239*c_\ 0101_6^9 + 429939059061494747170420816099896/2991529414859517612436\ 0637239*c_0101_6^8 - 2124975883810731985196266463922163/29915294148\ 595176124360637239*c_0101_6^7 + 56124774480535869854635785334411/29\ 915294148595176124360637239*c_0101_6^6 + 587439836068214708632550696806807/29915294148595176124360637239*c_0\ 101_6^5 - 47118962281407166717635559477356/299152941485951761243606\ 37239*c_0101_6^4 - 104085585448889960918287138207542/29915294148595\ 176124360637239*c_0101_6^3 + 21411351007260275842334200559149/29915\ 294148595176124360637239*c_0101_6^2 + 6607653680967283118216005912921/29915294148595176124360637239*c_010\ 1_6 - 2411133052935603329623508872591/29915294148595176124360637239\ , c_0011_0 - 1, c_0011_3 - 23551487768498096428699544875/29915294148595176124360637239*\ c_0101_6^26 + 138797561026387633795534564834/2991529414859517612436\ 0637239*c_0101_6^25 - 60209667319838947145830887531/299152941485951\ 76124360637239*c_0101_6^24 - 1275951359578418474397855875786/299152\ 94148595176124360637239*c_0101_6^23 + 2301834770802454600152551240603/29915294148595176124360637239*c_010\ 1_6^22 + 5047230535282996031020780363707/29915294148595176124360637\ 239*c_0101_6^21 - 15748756871211328664253270182103/2991529414859517\ 6124360637239*c_0101_6^20 - 8935182596498490649152105371715/2991529\ 4148595176124360637239*c_0101_6^19 + 59043554165690298373979906235185/29915294148595176124360637239*c_01\ 01_6^18 - 4065101275729303348045976378097/2991529414859517612436063\ 7239*c_0101_6^17 - 141361128622347859863944904720223/29915294148595\ 176124360637239*c_0101_6^16 + 56497453064160399151775044596254/2991\ 5294148595176124360637239*c_0101_6^15 + 227930431656656864403705037315312/29915294148595176124360637239*c_0\ 101_6^14 - 133251631059171225907774238532251/2991529414859517612436\ 0637239*c_0101_6^13 - 250768828749362404283461761676713/29915294148\ 595176124360637239*c_0101_6^12 + 170660641251221674461014057717668/\ 29915294148595176124360637239*c_0101_6^11 + 183100888239589506629354064976343/29915294148595176124360637239*c_0\ 101_6^10 - 129186760411800873351500759589698/2991529414859517612436\ 0637239*c_0101_6^9 - 84489097981127914713692842768907/2991529414859\ 5176124360637239*c_0101_6^8 + 54658081023799233108792820358627/2991\ 5294148595176124360637239*c_0101_6^7 + 24305047457337224862588935642022/29915294148595176124360637239*c_01\ 01_6^6 - 12210604606623940979405596151683/2991529414859517612436063\ 7239*c_0101_6^5 - 4217613142974416930311316087798/29915294148595176\ 124360637239*c_0101_6^4 + 2048303654337997205721747384590/299152941\ 48595176124360637239*c_0101_6^3 + 61421859994776002447234230644/299\ 15294148595176124360637239*c_0101_6^2 - 118850908960505547707698332950/29915294148595176124360637239*c_0101\ _6 - 11175059666038600356451070344/29915294148595176124360637239, c_0011_6 - 2048736383906801644359629264/29915294148595176124360637239*c\ _0101_6^26 + 9689291009858134054652503807/2991529414859517612436063\ 7239*c_0101_6^25 + 7915094859889200655689139526/2991529414859517612\ 4360637239*c_0101_6^24 - 112879358017111633580559106282/29915294148\ 595176124360637239*c_0101_6^23 + 74606070954977815051723344724/2991\ 5294148595176124360637239*c_0101_6^22 + 623434048450688682819802359031/29915294148595176124360637239*c_0101\ _6^21 - 828468195250173825996938000553/2991529414859517612436063723\ 9*c_0101_6^20 - 2104466123185388489971753456619/2991529414859517612\ 4360637239*c_0101_6^19 + 3890110032755796201563290724425/2991529414\ 8595176124360637239*c_0101_6^18 + 4724201015641895553226502079592/2\ 9915294148595176124360637239*c_0101_6^17 - 11123045282383079058575498337358/29915294148595176124360637239*c_01\ 01_6^16 - 7368798002634005740780641838477/2991529414859517612436063\ 7239*c_0101_6^15 + 21102536912437945545668852361401/299152941485951\ 76124360637239*c_0101_6^14 + 8265243505203258287104907047862/299152\ 94148595176124360637239*c_0101_6^13 - 27128790237551218877201008324472/29915294148595176124360637239*c_01\ 01_6^12 - 6786097978983210837505137875325/2991529414859517612436063\ 7239*c_0101_6^11 + 23212888799334658640293822912246/299152941485951\ 76124360637239*c_0101_6^10 + 4018231315562916560176462650810/299152\ 94148595176124360637239*c_0101_6^9 - 12633224621475024346829533916736/29915294148595176124360637239*c_01\ 01_6^8 - 1722471610154710556270552845726/29915294148595176124360637\ 239*c_0101_6^7 + 4165547573052094658319616520475/299152941485951761\ 24360637239*c_0101_6^6 + 500959632762724311169068251964/29915294148\ 595176124360637239*c_0101_6^5 - 939726428542172152559600794871/2991\ 5294148595176124360637239*c_0101_6^4 - 40590793871603669861711238041/29915294148595176124360637239*c_0101_\ 6^3 + 183282069288773907914699879347/29915294148595176124360637239*\ c_0101_6^2 + 170796919535798698284417667/29915294148595176124360637\ 239*c_0101_6 + 6109984364764646348306617121/29915294148595176124360\ 637239, c_0101_0 - 6280676581289640188640761276/29915294148595176124360637239*c\ _0101_6^26 + 25416187832794982379670433652/299152941485951761243606\ 37239*c_0101_6^25 + 52123284888307419295859909705/29915294148595176\ 124360637239*c_0101_6^24 - 370114840713438260775533957490/299152941\ 48595176124360637239*c_0101_6^23 - 8668596686962056126958442361/29915294148595176124360637239*c_0101_6\ ^22 + 2470786845269114896362273457973/29915294148595176124360637239\ *c_0101_6^21 - 1758021474215682758164880546599/29915294148595176124\ 360637239*c_0101_6^20 - 10029394262289994041374372749134/2991529414\ 8595176124360637239*c_0101_6^19 + 11505487551869079276153828448036/\ 29915294148595176124360637239*c_0101_6^18 + 27384950471568977391444802586741/29915294148595176124360637239*c_01\ 01_6^17 - 39999469241839847407489327980803/299152941485951761243606\ 37239*c_0101_6^16 - 52476146593670210680217505809230/29915294148595\ 176124360637239*c_0101_6^15 + 88738634002991800833002629084050/2991\ 5294148595176124360637239*c_0101_6^14 + 72007381567240434281823076566806/29915294148595176124360637239*c_01\ 01_6^13 - 131893635830956074073271757877153/29915294148595176124360\ 637239*c_0101_6^12 - 70621400802087928382663945886391/2991529414859\ 5176124360637239*c_0101_6^11 + 131486053365191699362083636966745/29\ 915294148595176124360637239*c_0101_6^10 + 47796612433061792785920335700874/29915294148595176124360637239*c_01\ 01_6^9 - 84785395054381295347531678937349/2991529414859517612436063\ 7239*c_0101_6^8 - 21413759930191518882470789326423/2991529414859517\ 6124360637239*c_0101_6^7 + 32785937835239537018110748761135/2991529\ 4148595176124360637239*c_0101_6^6 + 6234938898373444394153825082237/29915294148595176124360637239*c_010\ 1_6^5 - 7091508241927269025140402286273/299152941485951761243606372\ 39*c_0101_6^4 - 978680065465268511224305471803/29915294148595176124\ 360637239*c_0101_6^3 + 1039444242298867453126047740346/299152941485\ 95176124360637239*c_0101_6^2 - 33485158477191354619417360802/299152\ 94148595176124360637239*c_0101_6 - 54580860786855520989516969379/29915294148595176124360637239, c_0101_1 + 1255743783660812146230546133/29915294148595176124360637239*c\ _0101_6^26 - 5652315201191275333371422507/2991529414859517612436063\ 7239*c_0101_6^25 - 5480675556547239422177802792/2991529414859517612\ 4360637239*c_0101_6^24 + 63775094355336568999670193419/299152941485\ 95176124360637239*c_0101_6^23 - 27685749418693317547310153240/29915\ 294148595176124360637239*c_0101_6^22 - 354605532617604058098625983120/29915294148595176124360637239*c_0101\ _6^21 + 348423683308804643719976697284/2991529414859517612436063723\ 9*c_0101_6^20 + 1265027694771067568930070290459/2991529414859517612\ 4360637239*c_0101_6^19 - 1617747658939183107313202122094/2991529414\ 8595176124360637239*c_0101_6^18 - 3231514262439568811682742954625/2\ 9915294148595176124360637239*c_0101_6^17 + 4458751543510670810524203360142/29915294148595176124360637239*c_010\ 1_6^16 + 6358506085613483411718519257171/29915294148595176124360637\ 239*c_0101_6^15 - 8036513053688028997972070686198/29915294148595176\ 124360637239*c_0101_6^14 - 9920177660074602787183974337389/29915294\ 148595176124360637239*c_0101_6^13 + 9616192470293749529070087501991/29915294148595176124360637239*c_010\ 1_6^12 + 11902108166176857639419672032645/2991529414859517612436063\ 7239*c_0101_6^11 - 7327282099361227110455702583237/2991529414859517\ 6124360637239*c_0101_6^10 - 10246454260786722917236496455550/299152\ 94148595176124360637239*c_0101_6^9 + 3264989708784642257862183580938/29915294148595176124360637239*c_010\ 1_6^8 + 5791018144245945916281323196912/299152941485951761243606372\ 39*c_0101_6^7 - 702428042468129326287398527755/29915294148595176124\ 360637239*c_0101_6^6 - 1896823774333943829940195122980/299152941485\ 95176124360637239*c_0101_6^5 + 34324154494895111945297558948/299152\ 94148595176124360637239*c_0101_6^4 + 393971063755912753641149239127/29915294148595176124360637239*c_0101\ _6^3 - 13620375490641370919755186555/29915294148595176124360637239*\ c_0101_6^2 - 104999577802423560576585789701/29915294148595176124360\ 637239*c_0101_6 + 1594428726760731947861016679/29915294148595176124\ 360637239, c_0101_2 + 27691904961139048303816678665/29915294148595176124360637239*\ c_0101_6^26 - 170114399422324760158886251111/2991529414859517612436\ 0637239*c_0101_6^25 + 111116586565952883151503034681/29915294148595\ 176124360637239*c_0101_6^24 + 1487448648600098474019605894153/29915\ 294148595176124360637239*c_0101_6^23 - 3095611379008090468299568042719/29915294148595176124360637239*c_010\ 1_6^22 - 5276246875555395684020392161493/29915294148595176124360637\ 239*c_0101_6^21 + 20159710668985241115726084320422/2991529414859517\ 6124360637239*c_0101_6^20 + 5762954407859883127316203861789/2991529\ 4148595176124360637239*c_0101_6^19 - 72784078281293365637194437280648/29915294148595176124360637239*c_01\ 01_6^18 + 23344506049888916984716437754107/299152941485951761243606\ 37239*c_0101_6^17 + 166845740921803846737310220037520/2991529414859\ 5176124360637239*c_0101_6^16 - 113015566727852380385067744899577/29\ 915294148595176124360637239*c_0101_6^15 - 253554135896575802420403360214059/29915294148595176124360637239*c_0\ 101_6^14 + 236005912447913027682252817494188/2991529414859517612436\ 0637239*c_0101_6^13 + 255198029271466542415548143895962/29915294148\ 595176124360637239*c_0101_6^12 - 293880710644122212781876726808165/\ 29915294148595176124360637239*c_0101_6^11 - 159540708433940737835152390470841/29915294148595176124360637239*c_0\ 101_6^10 + 226082030553757777685813093460735/2991529414859517612436\ 0637239*c_0101_6^9 + 52718629382151229043412843045364/2991529414859\ 5176124360637239*c_0101_6^8 - 102617201295146328699434598438358/299\ 15294148595176124360637239*c_0101_6^7 - 5983452615851206142191161027910/29915294148595176124360637239*c_010\ 1_6^6 + 26889815558287582414259390993139/29915294148595176124360637\ 239*c_0101_6^5 - 947508031404380688520271422133/2991529414859517612\ 4360637239*c_0101_6^4 - 4950319138905395189183675593849/29915294148\ 595176124360637239*c_0101_6^3 + 883724119740057250315493468566/2991\ 5294148595176124360637239*c_0101_6^2 + 318931160885019401177721030383/29915294148595176124360637239*c_0101\ _6 - 65917741617125759464996467525/29915294148595176124360637239, c_0101_6^27 - 6*c_0101_6^26 + 3*c_0101_6^25 + 55*c_0101_6^24 - 104*c_0101_6^23 - 214*c_0101_6^22 + 710*c_0101_6^21 + 348*c_0101_6^20 - 2674*c_0101_6^19 + 371*c_0101_6^18 + 6459*c_0101_6^17 - 3083*c_0101_6^16 - 10560*c_0101_6^15 + 7178*c_0101_6^14 + 11873*c_0101_6^13 - 9521*c_0101_6^12 - 8995*c_0101_6^11 + 7776*c_0101_6^10 + 4427*c_0101_6^9 - 3818*c_0101_6^8 - 1410*c_0101_6^7 + 1106*c_0101_6^6 + 289*c_0101_6^5 - 215*c_0101_6^4 - 20*c_0101_6^3 + 24*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB