Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 2547387304] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0200 geometric_solution 4.01397705 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -1 0 0 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 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.430060313816 0.090506256274 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -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 -1 1 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 6.964977757156 2.555387092644 3 1 1 3 0132 3201 0132 3201 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 1 0 -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.248014351975 0.200797320281 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -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 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.704548644676 1.120581839208 6 5 3 5 0132 2031 0132 1302 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 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.747394772960 0.435875699618 4 6 4 3 1302 2310 2031 0132 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 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.747394772960 0.435875699618 4 6 6 5 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 1 -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 0 -1 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.503106634783 0.298394959929 ==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' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_0'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 2560490635555551288267461211712715504182142929913397995/16984956253\ 57862938673774084864495835121782530891738*c_0101_6^21 + 314809634575614542826017382388934886135270844954811650825/135879650\ 02862903509390192678915966680974260247133904*c_0101_6^20 + 259352925720325269160413121538158988787442974024390742929/679398250\ 1431451754695096339457983340487130123566952*c_0101_6^19 - 3841479230706318546735085322046135734779475131840066804263/33969912\ 50715725877347548169728991670243565061783476*c_0101_6^18 + 60690076829987481767358725492216931952645245595981433465773/1358796\ 5002862903509390192678915966680974260247133904*c_0101_6^17 - 99067677106137338163114908258003926204047013660045363797239/1358796\ 5002862903509390192678915966680974260247133904*c_0101_6^16 + 39712754340010578285802103768364670993960190489593186491787/1358796\ 5002862903509390192678915966680974260247133904*c_0101_6^15 + 129937539949053629607720319874479682481668092886896047951989/135879\ 65002862903509390192678915966680974260247133904*c_0101_6^14 - 123812014308834051903977924930402480473612679651283352406679/679398\ 2501431451754695096339457983340487130123566952*c_0101_6^13 + 73720670185244191957206993676495461275377757718755478222457/6793982\ 501431451754695096339457983340487130123566952*c_0101_6^12 + 9485840309130516398826621095525582877214913759674200205161/12352695\ 45714809409944562970810542425543114567921264*c_0101_6^11 + 11595316518509993391717402134358263795221144022056562437343/1358796\ 5002862903509390192678915966680974260247133904*c_0101_6^10 - 92928075463301919905882485184264307991114029039112964091795/3396991\ 250715725877347548169728991670243565061783476*c_0101_6^9 + 31046014215854721490394223358193032074218641425395080369005/6793982\ 501431451754695096339457983340487130123566952*c_0101_6^8 + 581548458190426323462452154436926451973288922999055307401555/135879\ 65002862903509390192678915966680974260247133904*c_0101_6^7 - 130501333123393897156954532267575628224939367367313506256127/135879\ 65002862903509390192678915966680974260247133904*c_0101_6^6 - 98187456568764958776735980790278018470260542671420728814283/3396991\ 250715725877347548169728991670243565061783476*c_0101_6^5 - 18709589022797900558703296228957837310263000597728489451073/3396991\ 250715725877347548169728991670243565061783476*c_0101_6^4 + 344798287829951765893537350884080826352094347324877265713/131921990\ 319057315625147501737048220203633594632368*c_0101_6^3 + 112413925871635279967805687913696438244370428377644091501/131921990\ 319057315625147501737048220203633594632368*c_0101_6^2 + 96725756070335699086855295324278175388190864992331580289/1698495625\ 357862938673774084864495835121782530891738*c_0101_6 - 30464260811614961734541155472848767400623524414481401623/1358796500\ 2862903509390192678915966680974260247133904, c_0011_0 - 1, c_0011_2 + 132307155529979963336056093265233019130302846751002/77204346\ 607175588121535185675658901596444660495079*c_0101_6^21 - 2039803152046878667263646927075488547162232119861922/77204346607175\ 588121535185675658901596444660495079*c_0101_6^20 - 3250055089242746557673505808533014866332013658731882/77204346607175\ 588121535185675658901596444660495079*c_0101_6^19 + 99387578146979748435743642875065299322458196532103130/7720434660717\ 5588121535185675658901596444660495079*c_0101_6^18 - 396849770491923773842600891949052211818355160938824125/772043466071\ 75588121535185675658901596444660495079*c_0101_6^17 + 660104170850740314484907905385819494156944051503624447/772043466071\ 75588121535185675658901596444660495079*c_0101_6^16 - 292731934785224767870898849364701020056012594653000002/772043466071\ 75588121535185675658901596444660495079*c_0101_6^15 - 816944087166279664285472877483351168148591112301419069/772043466071\ 75588121535185675658901596444660495079*c_0101_6^14 + 1632587985517872033503687934212283662442782451004403084/77204346607\ 175588121535185675658901596444660495079*c_0101_6^13 - 1036175741806831247568965545798892038277336647154662827/77204346607\ 175588121535185675658901596444660495079*c_0101_6^12 - 606425385075468233690193111972958389690532405707010717/772043466071\ 75588121535185675658901596444660495079*c_0101_6^11 - 63004043909179982485856195407225542610051268771251754/7720434660717\ 5588121535185675658901596444660495079*c_0101_6^10 + 2406575095810464437209471710273677530837677135326413237/77204346607\ 175588121535185675658901596444660495079*c_0101_6^9 - 520236475594611423588005936154742544392613918968155367/772043466071\ 75588121535185675658901596444660495079*c_0101_6^8 - 3707115573177558540397774108421801006421025480133772400/77204346607\ 175588121535185675658901596444660495079*c_0101_6^7 + 1007272229173993611402892994080589727607406950523411194/77204346607\ 175588121535185675658901596444660495079*c_0101_6^6 + 2460616870538124115112601704576666696617724748999394443/77204346607\ 175588121535185675658901596444660495079*c_0101_6^5 + 385003530694751161526687046623848382042138791016822392/772043466071\ 75588121535185675658901596444660495079*c_0101_6^4 - 2281595363650299574685879616775338092025628970200664/74955676317646\ 2020597428987142319432975190878593*c_0101_6^3 - 630765128231512761190388194354339165927297458438673/749556763176462\ 020597428987142319432975190878593*c_0101_6^2 - 3062411091180730788166273748469978088591883955913411/77204346607175\ 588121535185675658901596444660495079*c_0101_6 + 272059666426736589606565309679702410370831316492217/772043466071755\ 88121535185675658901596444660495079, c_0011_4 - 151603323689251893727473684694564526879435591970176/77204346\ 607175588121535185675658901596444660495079*c_0101_6^21 + 2334684677780340052874545224770355049488152073816951/77204346607175\ 588121535185675658901596444660495079*c_0101_6^20 + 3765656521361229085511837253023857878655485789971840/77204346607175\ 588121535185675658901596444660495079*c_0101_6^19 - 113839870496246003613875001125534085265886144377519100/772043466071\ 75588121535185675658901596444660495079*c_0101_6^18 + 452742935063070170106883604771493448081059067856565203/772043466071\ 75588121535185675658901596444660495079*c_0101_6^17 - 747522946996698068566941942852381225605367899824068164/772043466071\ 75588121535185675658901596444660495079*c_0101_6^16 + 317901839018797175188782341086374823595899883451742445/772043466071\ 75588121535185675658901596444660495079*c_0101_6^15 + 950632601440930189883944352727035920658791438496853157/772043466071\ 75588121535185675658901596444660495079*c_0101_6^14 - 1861642362718343964762864740812344093062174586578303115/77204346607\ 175588121535185675658901596444660495079*c_0101_6^13 + 1150276899223256298090690446042263648946405685771615002/77204346607\ 175588121535185675658901596444660495079*c_0101_6^12 + 733793201025279983512151930249364651038473160938931387/772043466071\ 75588121535185675658901596444660495079*c_0101_6^11 + 65160844425328767695397998282797332862905547908915629/7720434660717\ 5588121535185675658901596444660495079*c_0101_6^10 - 2753260624482340589478644581838653693732932231229122742/77204346607\ 175588121535185675658901596444660495079*c_0101_6^9 + 545869527989041497910217758294679921155144326508361771/772043466071\ 75588121535185675658901596444660495079*c_0101_6^8 + 4283812354948708255747241900280666981675562680746149613/77204346607\ 175588121535185675658901596444660495079*c_0101_6^7 - 1097907995155461771282575878853900853442550042161859829/77204346607\ 175588121535185675658901596444660495079*c_0101_6^6 - 2868379857640405953976667122744143484610599503241167840/77204346607\ 175588121535185675658901596444660495079*c_0101_6^5 - 467255932442310800592461537018266663729997037799587293/772043466071\ 75588121535185675658901596444660495079*c_0101_6^4 + 2673468326891846300869828582072420874016246039394513/74955676317646\ 2020597428987142319432975190878593*c_0101_6^3 + 754366397330389369680909603578195296601596767680045/749556763176462\ 020597428987142319432975190878593*c_0101_6^2 + 3753321976611120237463538658164464545734496034407090/77204346607175\ 588121535185675658901596444660495079*c_0101_6 - 378916144264708588622600934057286014528019024126304/772043466071755\ 88121535185675658901596444660495079, c_0101_0 + 389697336812497882195571381895969613550341802044719/77204346\ 607175588121535185675658901596444660495079*c_0101_6^21 - 6004358974741151553307539045146798493599261379573339/77204346607175\ 588121535185675658901596444660495079*c_0101_6^20 - 9632248650877167132129216596016869974420346707824609/77204346607175\ 588121535185675658901596444660495079*c_0101_6^19 + 292691709818712204913155755234368936825018406087306422/772043466071\ 75588121535185675658901596444660495079*c_0101_6^18 - 1166072492623826624390893181076431816052707837178592344/77204346607\ 175588121535185675658901596444660495079*c_0101_6^17 + 1931057856056985996842763213462664151636634555067468051/77204346607\ 175588121535185675658901596444660495079*c_0101_6^16 - 834129338234340283065299363410680081167561379032006429/772043466071\ 75588121535185675658901596444660495079*c_0101_6^15 - 2433691061519712640748766728629112734651490425007204171/77204346607\ 175588121535185675658901596444660495079*c_0101_6^14 + 4802274997339438220901902154972384677689588133766828076/77204346607\ 175588121535185675658901596444660495079*c_0101_6^13 - 2997488882507754227277732665387486044193695629068084936/77204346607\ 175588121535185675658901596444660495079*c_0101_6^12 - 1854788014302692801925016509439525462987605855579225544/77204346607\ 175588121535185675658901596444660495079*c_0101_6^11 - 159410631517009192137641082883733235463870183168127984/772043466071\ 75588121535185675658901596444660495079*c_0101_6^10 + 7077111775645575601120618666534959317049419327365142813/77204346607\ 175588121535185675658901596444660495079*c_0101_6^9 - 1458453392706274081321561470564852756437671908809264343/77204346607\ 175588121535185675658901596444660495079*c_0101_6^8 - 10989068571425229592972008043323384579444527466733363432/7720434660\ 7175588121535185675658901596444660495079*c_0101_6^7 + 2903165755792299586294210172420164613116298866316726555/77204346607\ 175588121535185675658901596444660495079*c_0101_6^6 + 7334755826974155804933534755365113607630603478892381660/77204346607\ 175588121535185675658901596444660495079*c_0101_6^5 + 1151435506713523228108222248990849258811777609060139394/77204346607\ 175588121535185675658901596444660495079*c_0101_6^4 - 6865904778060916153853912273006271105079071146770908/74955676317646\ 2020597428987142319432975190878593*c_0101_6^3 - 1885031240551967836675871536581704711401263236497536/74955676317646\ 2020597428987142319432975190878593*c_0101_6^2 - 9040874582623239448760611089279307474814660964430623/77204346607175\ 588121535185675658901596444660495079*c_0101_6 + 935450635702026858550207005323572857738563671907934/772043466071755\ 88121535185675658901596444660495079, c_0101_1 - 152141397304619283433150877894165495661788194122334/77204346\ 607175588121535185675658901596444660495079*c_0101_6^21 + 2341754357821951052170775422241743613356715418491108/77204346607175\ 588121535185675658901596444660495079*c_0101_6^20 + 3799248588231137531824456890034998757061762300199371/77204346607175\ 588121535185675658901596444660495079*c_0101_6^19 - 114237369601754122486310057140629069050127269569369449/772043466071\ 75588121535185675658901596444660495079*c_0101_6^18 + 453410576143668476267678217858366497981540250311548015/772043466071\ 75588121535185675658901596444660495079*c_0101_6^17 - 745410611467262782583495737134111109502414445767500545/772043466071\ 75588121535185675658901596444660495079*c_0101_6^16 + 308035016082540518317519582268338899589974472919682737/772043466071\ 75588121535185675658901596444660495079*c_0101_6^15 + 966295798867349619663576026927329952346380039141518321/772043466071\ 75588121535185675658901596444660495079*c_0101_6^14 - 1868365205116599703108821523781925953390027003063591681/77204346607\ 175588121535185675658901596444660495079*c_0101_6^13 + 1133680977086894929053717057252934317482653868642203688/77204346607\ 175588121535185675658901596444660495079*c_0101_6^12 + 766765845330682121929829240981186170815578285546286907/772043466071\ 75588121535185675658901596444660495079*c_0101_6^11 + 49901244884606034014349458442906948826391314603847881/7720434660717\ 5588121535185675658901596444660495079*c_0101_6^10 - 2759690538400729157171404519814902870542898994852246433/77204346607\ 175588121535185675658901596444660495079*c_0101_6^9 + 523906228770715484495472826809379718517215004340116745/772043466071\ 75588121535185675658901596444660495079*c_0101_6^8 + 4331376390101126432067757064573882776596134880741751968/77204346607\ 175588121535185675658901596444660495079*c_0101_6^7 - 1086192725264438692259754341935181569785562508520628825/77204346607\ 175588121535185675658901596444660495079*c_0101_6^6 - 2920904100142599276121674630228999068024315362050029824/77204346607\ 175588121535185675658901596444660495079*c_0101_6^5 - 464866868971956727549198057309871812688918642581389643/772043466071\ 75588121535185675658901596444660495079*c_0101_6^4 + 2798682634606016057548669667155986379168084005745014/74955676317646\ 2020597428987142319432975190878593*c_0101_6^3 + 748669132197806233901608773111562298688785194629031/749556763176462\ 020597428987142319432975190878593*c_0101_6^2 + 2895216502122185556863446400692201322659817347402124/77204346607175\ 588121535185675658901596444660495079*c_0101_6 - 412933122352183230908921304146051529409450474179761/772043466071755\ 88121535185675658901596444660495079, c_0101_3 + 363126936860604866923395186659599251214587681412918/77204346\ 607175588121535185675658901596444660495079*c_0101_6^21 - 5595650281444212094453225554362004016641362931838633/77204346607175\ 588121535185675658901596444660495079*c_0101_6^20 - 8964469152905053186839407564640439621055358752317852/77204346607175\ 588121535185675658901596444660495079*c_0101_6^19 + 272743764804750724760542278930872919816256867892238416/772043466071\ 75588121535185675658901596444660495079*c_0101_6^18 - 1087088694704705854994738315508930570507852444519156386/77204346607\ 175588121535185675658901596444660495079*c_0101_6^17 + 1801837507539492335498370048318017967347456601020552345/77204346607\ 175588121535185675658901596444660495079*c_0101_6^16 - 782393701701410598791815142520833479412446596199803713/772043466071\ 75588121535185675658901596444660495079*c_0101_6^15 - 2262927708062840847401475809922525638722687495682077978/77204346607\ 175588121535185675658901596444660495079*c_0101_6^14 + 4476531972626999321202855807763087658784265611897387412/77204346607\ 175588121535185675658901596444660495079*c_0101_6^13 - 2803677054655219829239687345519243169729127123196578637/77204346607\ 175588121535185675658901596444660495079*c_0101_6^12 - 1715745796084832389051908746625361105511857431601818172/77204346607\ 175588121535185675658901596444660495079*c_0101_6^11 - 152408346096342843398961258403043932308279503644376739/772043466071\ 75588121535185675658901596444660495079*c_0101_6^10 + 6595427006616711428024892180389105781810906600174551616/77204346607\ 175588121535185675658901596444660495079*c_0101_6^9 - 1372110999491482530744297160518872069156443204059175637/77204346607\ 175588121535185675658901596444660495079*c_0101_6^8 - 10227185416636924455095016077965339959443709094445580583/7720434660\ 7175588121535185675658901596444660495079*c_0101_6^7 + 2718282372355469871019424012446727625383799032845505430/77204346607\ 175588121535185675658901596444660495079*c_0101_6^6 + 6817416950636078517922142465961702970402481714108090196/77204346607\ 175588121535185675658901596444660495079*c_0101_6^5 + 1068735154422134280806452732279593346388042754020296101/77204346607\ 175588121535185675658901596444660495079*c_0101_6^4 - 6356073147325901810272931376579052063152349742540359/74955676317646\ 2020597428987142319432975190878593*c_0101_6^3 - 1751581109641754322248211225373102564531307176777145/74955676317646\ 2020597428987142319432975190878593*c_0101_6^2 - 8700678418770460006481382204528325241948143731971589/77204346607175\ 588121535185675658901596444660495079*c_0101_6 + 872651929227226443090099308383006001312508971060726/772043466071755\ 88121535185675658901596444660495079, c_0101_6^22 - 15*c_0101_6^21 - 31*c_0101_6^20 + 741*c_0101_6^19 - 2686*c_0101_6^18 + 3735*c_0101_6^17 - 119*c_0101_6^16 - 7120*c_0101_6^15 + 9779*c_0101_6^14 - 2667*c_0101_6^13 - 7900*c_0101_6^12 - 2344*c_0101_6^11 + 17991*c_0101_6^10 + 3663*c_0101_6^9 - 29730*c_0101_6^8 - 4042*c_0101_6^7 + 21863*c_0101_6^6 + 10621*c_0101_6^5 - 610*c_0101_6^4 - 1236*c_0101_6^3 - 226*c_0101_6^2 - 7*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB