Magma V2.19-8 Tue Aug 20 2013 16:18:46 on localhost [Seed = 3246415025] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2938 geometric_solution 6.13400699 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 -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 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.299652933845 0.358416954544 2 0 3 0 0132 2310 0132 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 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.327395742374 1.283779655692 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 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 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.496990459617 0.417025662416 6 5 4 1 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496990459617 0.417025662416 6 2 6 3 1302 0132 2031 0132 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 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.776379651448 0.734134942131 5 3 5 2 2310 0132 3201 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 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.913851110539 1.318860862356 3 4 2 4 0132 2031 0132 1302 0 0 0 0 0 1 0 -1 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 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.561041276511 0.627244696905 ==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' : negation(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' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : 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' : negation(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' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0011_3'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], '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_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_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_3, c_0101_0, c_0101_1, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 100263288592871647030456874963/2645003480552405251086369117150*c_10\ 01_2^23 - 411546490742138776304304773657/88166782685080175036212303\ 9050*c_1001_2^21 - 2270672868661966019749168519796/4408339134254008\ 75181061519525*c_1001_2^19 - 18104985570563254555507409565203/52900\ 0696110481050217273823430*c_1001_2^17 - 48101699566664228697486588166169/293889275616933916787374346350*c_1\ 001_2^15 - 42787709661260008343978576870177/75571528015783007173896\ 260490*c_1001_2^13 - 248310758526597278448988841411821/293889275616\ 933916787374346350*c_1001_2^11 + 2222456503728978639290098886041451\ /2645003480552405251086369117150*c_1001_2^9 + 5857230779497663240546072700524847/2645003480552405251086369117150*\ c_1001_2^7 + 373951893613196428048582768169432/13225017402762026255\ 43184558575*c_1001_2^5 - 2419323506337432497101339990586999/2645003\ 480552405251086369117150*c_1001_2^3 + 28000269854052080737063084532348/264500348055240525108636911715*c_1\ 001_2, c_0011_0 - 1, c_0011_1 + 31381212727204556757481278/29388927561693391678737434635*c_1\ 001_2^22 + 388537097182417780979334216/2938892756169339167873743463\ 5*c_1001_2^20 + 613019199948188075253554568/41984182230990559541053\ 47805*c_1001_2^18 + 818095580726156198300593123/8396836446198111908\ 21069561*c_1001_2^16 + 137552063955061661083336015686/2938892756169\ 3391678737434635*c_1001_2^14 + 95778025371669344347021996904/587778\ 5512338678335747486927*c_1001_2^12 + 736329890320845816264012867609/29388927561693391678737434635*c_1001\ _2^10 - 628747282225176777285653152911/2938892756169339167873743463\ 5*c_1001_2^8 - 1841044819226810846494255932842/29388927561693391678\ 737434635*c_1001_2^6 - 354464801537357955554247788164/2938892756169\ 3391678737434635*c_1001_2^4 + 660180157317753758866412882329/293889\ 27561693391678737434635*c_1001_2^2 - 16309042364921082673130741891/5877785512338678335747486927, c_0011_3 - 624814696449556632031468948/440833913425400875181061519525*c\ _1001_2^23 - 2532195367870817542251884097/1469446378084669583936871\ 73175*c_1001_2^21 - 27905871788214453250150879572/14694463780846695\ 8393687173175*c_1001_2^19 - 110213814570597299418917430592/88166782\ 685080175036212303905*c_1001_2^17 - 870598529865501096166156646237/146944637808466958393687173175*c_100\ 1_2^15 - 356956075377150396443546379062/176333565370160350072424607\ 81*c_1001_2^13 - 596498412369813363596940094024/2099209111549527977\ 0526739025*c_1001_2^11 + 15844532778787961842022813746906/440833913\ 425400875181061519525*c_1001_2^9 + 34163086486480261823191961169967/440833913425400875181061519525*c_1\ 001_2^7 - 549028777719127450138930833046/44083391342540087518106151\ 9525*c_1001_2^5 - 15383092576546114683264627764809/4408339134254008\ 75181061519525*c_1001_2^3 + 118266686292618660763482907562/12595254\ 669297167862316043415*c_1001_2, c_0101_0 + 340350567005007154686366187/440833913425400875181061519525*c\ _1001_2^23 + 1345413407606092910446900393/1469446378084669583936871\ 73175*c_1001_2^21 + 14765211630739525654162237993/14694463780846695\ 8393687173175*c_1001_2^19 + 57138396483223428436363726138/881667826\ 85080175036212303905*c_1001_2^17 + 441179585419884407164593875828/146944637808466958393687173175*c_100\ 1_2^15 + 24991276438816385733940084526/2519050933859433572463208683\ *c_1001_2^13 + 1690830767643603174149300252517/14694463780846695839\ 3687173175*c_1001_2^11 - 11702174055630815138886406225489/440833913\ 425400875181061519525*c_1001_2^9 - 2511868375501302088989278634364/62976273346485839311580217075*c_100\ 1_2^7 + 7158227105405186573501744047699/440833913425400875181061519\ 525*c_1001_2^5 + 1662212715647717750325773514778/629762733464858393\ 11580217075*c_1001_2^3 - 749960795816681120823056329931/88166782685\ 080175036212303905*c_1001_2, c_0101_1 + 24394602416569112509792893/29388927561693391678737434635*c_1\ 001_2^22 + 43278655492910316411883038/4198418223099055954105347805*\ c_1001_2^20 + 3348587610352660435710170721/293889275616933916787374\ 34635*c_1001_2^18 + 4480032857273880840258223651/587778551233867833\ 5747486927*c_1001_2^16 + 15420700103516154048892779288/419841822309\ 9055954105347805*c_1001_2^14 + 75481705801016920587345307948/587778\ 5512338678335747486927*c_1001_2^12 + 591454999117217690219508580449/29388927561693391678737434635*c_1001\ _2^10 - 450993007794995876985114635651/2938892756169339167873743463\ 5*c_1001_2^8 - 1435181080310891663901384338642/29388927561693391678\ 737434635*c_1001_2^6 - 380189511480730990349634497159/2938892756169\ 3391678737434635*c_1001_2^4 + 477874962306937424433440516169/293889\ 27561693391678737434635*c_1001_2^2 - 5009423002153473912330784057/5877785512338678335747486927, c_0101_3 - 21876693029608570241520046/29388927561693391678737434635*c_1\ 001_2^22 - 276155088329307788530100637/2938892756169339167873743463\ 5*c_1001_2^20 - 3057383279259022268658560497/2938892756169339167873\ 7434635*c_1001_2^18 - 4137723296873036205366966135/5877785512338678\ 335747486927*c_1001_2^16 - 100760918494614166103840503042/293889275\ 61693391678737434635*c_1001_2^14 - 71452400741931735909465308862/5877785512338678335747486927*c_1001_2\ ^12 - 594966921700344104028170900573/29388927561693391678737434635*\ c_1001_2^10 + 311959264765664484632986665792/2938892756169339167873\ 7434635*c_1001_2^8 + 1391282861022570174178052189459/29388927561693\ 391678737434635*c_1001_2^6 + 575576416725637663752996253553/2938892\ 7561693391678737434635*c_1001_2^4 - 389137552571112543129577400658/29388927561693391678737434635*c_1001\ _2^2 - 6570462509885798508047567765/5877785512338678335747486927, c_1001_2^24 + 12*c_1001_2^22 + 132*c_1001_2^20 + 860*c_1001_2^18 + 4032*c_1001_2^16 + 13565*c_1001_2^14 + 17523*c_1001_2^12 - 29437*c_1001_2^10 - 51919*c_1001_2^8 + 11122*c_1001_2^6 + 27598*c_1001_2^4 - 10030*c_1001_2^2 + 450 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB