Magma V2.19-8 Tue Aug 20 2013 16:17:52 on localhost [Seed = 2631729249] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2107 geometric_solution 5.60459256 oriented_manifold CS_known -0.0000000000000002 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 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.483875637950 0.275169303075 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.954498615491 0.612892493477 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.317031656507 1.229756711042 2 5 4 1 3201 1023 1023 0132 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 1 -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.317031656507 1.229756711042 4 2 3 4 3201 0132 1023 2310 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 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.507584617146 0.779770265572 3 6 6 2 1023 0132 3201 0132 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 0 0 0 0 0 0 -0.048737151264 0.501790406072 5 5 6 6 2310 0132 1230 3012 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 0 0 0 0 0 0 2.322461120419 0.746426412904 ==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' : negation(d['c_0101_4']), '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_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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' : 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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], '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_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' : negation(d['c_0101_4']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 1448166670689845547563059518/11501873795348420848813525*c_0101_6^23 + 1244717229677662134036365884/11501873795348420848813525*c_0101_6^\ 22 + 10298126460045112244646426922/11501873795348420848813525*c_010\ 1_6^21 - 1650336433649339246913746771/11501873795348420848813525*c_\ 0101_6^20 + 202529167973991591980535257/11501873795348420848813525*\ c_0101_6^19 - 92909289782923868246624634461/11501873795348420848813\ 525*c_0101_6^18 + 36626902920662136914769522548/1150187379534842084\ 8813525*c_0101_6^17 + 300793514517442563138986215778/11501873795348\ 420848813525*c_0101_6^16 - 699138785400268626605812520148/115018737\ 95348420848813525*c_0101_6^15 + 10734584761653975096451214349/11501\ 873795348420848813525*c_0101_6^14 + 1746254612263376113650019010679/11501873795348420848813525*c_0101_6\ ^13 - 825400872549630558304651637521/11501873795348420848813525*c_0\ 101_6^12 - 1672649487823394352556158130402/115018737953484208488135\ 25*c_0101_6^11 + 1449249694204908508298969664104/115018737953484208\ 48813525*c_0101_6^10 + 561502633536683134288232377516/1150187379534\ 8420848813525*c_0101_6^9 - 1452921021556051671841739164602/11501873\ 795348420848813525*c_0101_6^8 - 26788909708282351902770296252/11501\ 873795348420848813525*c_0101_6^7 + 719248164934433859446322975357/11501873795348420848813525*c_0101_6^\ 6 + 45189234142760220834271127446/11501873795348420848813525*c_0101\ _6^5 - 24105855261461711037669715458/2300374759069684169762705*c_01\ 01_6^4 - 1606436298771564692450411291/2300374759069684169762705*c_0\ 101_6^3 + 18844269204607851768203579691/11501873795348420848813525*\ c_0101_6^2 + 1068078065122901353219357688/1150187379534842084881352\ 5*c_0101_6 - 753747709898668397242728821/11501873795348420848813525\ , c_0011_0 - 1, c_0011_1 + 3002204397498560614397327/460074951813936833952541*c_0101_6^\ 23 - 2836118120665579720322255/460074951813936833952541*c_0101_6^22 - 21409676250454185560093858/460074951813936833952541*c_0101_6^21 + 5241113259730144900314337/460074951813936833952541*c_0101_6^20 + 1576865780205314330126797/460074951813936833952541*c_0101_6^19 + 193822683585987562275644362/460074951813936833952541*c_0101_6^18 - 92980443454382613035368185/460074951813936833952541*c_0101_6^17 - 634229859509254282955181691/460074951813936833952541*c_0101_6^16 + 1493470547253117784079850036/460074951813936833952541*c_0101_6^15 - 74995530892910715275681948/460074951813936833952541*c_0101_6^14 - 3715121577298029375615994482/460074951813936833952541*c_0101_6^13 + 1898375340135161646707498754/460074951813936833952541*c_0101_6^12 + 3721814538715816326478647527/460074951813936833952541*c_0101_6^11 - 3248342338824976805655766717/460074951813936833952541*c_0101_6^10 - 1408762457647128366383956169/460074951813936833952541*c_0101_6^9 + 3261262870856922373996534747/460074951813936833952541*c_0101_6^8 + 98918241249247870512633612/460074951813936833952541*c_0101_6^7 - 1787995030895935685806883161/460074951813936833952541*c_0101_6^6 - 112408589320353018544546400/460074951813936833952541*c_0101_6^5 + 416428905503195854801993519/460074951813936833952541*c_0101_6^4 + 59344118201308164954418733/460074951813936833952541*c_0101_6^3 - 50914475619687192414098551/460074951813936833952541*c_0101_6^2 - 6747257989339804310804191/460074951813936833952541*c_0101_6 + 3697454607412895884001845/460074951813936833952541, c_0011_3 + 1433406404952101066156923/460074951813936833952541*c_0101_6^\ 23 - 1244846116492194373103400/460074951813936833952541*c_0101_6^22 - 10328270666893549173192177/460074951813936833952541*c_0101_6^21 + 1696714078771455095125452/460074951813936833952541*c_0101_6^20 + 973510516748803110958501/460074951813936833952541*c_0101_6^19 + 92789470722521969933393264/460074951813936833952541*c_0101_6^18 - 37247529534203392157701772/460074951813936833952541*c_0101_6^17 - 306232765935128212057697534/460074951813936833952541*c_0101_6^16 + 688262758709640058938657052/460074951813936833952541*c_0101_6^15 + 19005667121153287650298633/460074951813936833952541*c_0101_6^14 - 1773102747683958461719548085/460074951813936833952541*c_0101_6^13 + 760533876787365678490432536/460074951813936833952541*c_0101_6^12 + 1846226511946495614204221888/460074951813936833952541*c_0101_6^11 - 1391832194425310859970777979/460074951813936833952541*c_0101_6^10 - 793450792178687201648490481/460074951813936833952541*c_0101_6^9 + 1488066507168039481549165309/460074951813936833952541*c_0101_6^8 + 176448011459872433995966215/460074951813936833952541*c_0101_6^7 - 843079219688296502243951931/460074951813936833952541*c_0101_6^6 - 130923651120736909478865072/460074951813936833952541*c_0101_6^5 + 187390874703307339075138207/460074951813936833952541*c_0101_6^4 + 45538975499658430327112515/460074951813936833952541*c_0101_6^3 - 19265591541216992175647356/460074951813936833952541*c_0101_6^2 - 4645335749633497148995767/460074951813936833952541*c_0101_6 + 1312272064400584252286952/460074951813936833952541, c_0101_0 + 2403569824276664069726817/460074951813936833952541*c_0101_6^\ 23 - 2081009337804810652618078/460074951813936833952541*c_0101_6^22 - 17349488756990305729127169/460074951813936833952541*c_0101_6^21 + 2925735193379210177701835/460074951813936833952541*c_0101_6^20 + 1747546533952227852824347/460074951813936833952541*c_0101_6^19 + 154868097599272342894218940/460074951813936833952541*c_0101_6^18 - 62089112927407425795061353/460074951813936833952541*c_0101_6^17 - 515681303725444105914002912/460074951813936833952541*c_0101_6^16 + 1160029913096166040122809634/460074951813936833952541*c_0101_6^15 + 38350166163293817873106443/460074951813936833952541*c_0101_6^14 - 3003599659275896551585476386/460074951813936833952541*c_0101_6^13 + 1313516700043290710077559718/460074951813936833952541*c_0101_6^12 + 3127689307455544255072719249/460074951813936833952541*c_0101_6^11 - 2440442204786614259582517822/460074951813936833952541*c_0101_6^10 - 1329468900243433976266481271/460074951813936833952541*c_0101_6^9 + 2595593563256671640129791048/460074951813936833952541*c_0101_6^8 + 244075619719978959574095812/460074951813936833952541*c_0101_6^7 - 1460350461416485098972557826/460074951813936833952541*c_0101_6^6 - 158771654330152290247847459/460074951813936833952541*c_0101_6^5 + 336457533778412503441847623/460074951813936833952541*c_0101_6^4 + 56292023730050659012738863/460074951813936833952541*c_0101_6^3 - 39219804503904886824456040/460074951813936833952541*c_0101_6^2 - 5586738607849776989633733/460074951813936833952541*c_0101_6 + 2904034155564521285071923/460074951813936833952541, c_0101_1 + 61036517209585297495797/460074951813936833952541*c_0101_6^23 - 4871517349787846223470/460074951813936833952541*c_0101_6^22 - 455443388327318237356433/460074951813936833952541*c_0101_6^21 - 312063177259039662151500/460074951813936833952541*c_0101_6^20 - 83345924188228061077812/460074951813936833952541*c_0101_6^19 + 4108726082175545919092827/460074951813936833952541*c_0101_6^18 + 1579991209135025214016832/460074951813936833952541*c_0101_6^17 - 12492874710190709414558351/460074951813936833952541*c_0101_6^16 + 17434611733020138003073775/460074951813936833952541*c_0101_6^15 + 18400171248864261838347848/460074951813936833952541*c_0101_6^14 - 60070266717920613104433482/460074951813936833952541*c_0101_6^13 - 32714794558373216599791937/460074951813936833952541*c_0101_6^12 + 71833795602320380845342857/460074951813936833952541*c_0101_6^11 + 27967009028219454160395412/460074951813936833952541*c_0101_6^10 - 49396190420495739988639365/460074951813936833952541*c_0101_6^9 + 6335108493731968222470735/460074951813936833952541*c_0101_6^8 + 47863022648588350272543422/460074951813936833952541*c_0101_6^7 - 2250888183835285291478903/460074951813936833952541*c_0101_6^6 - 33651415837707376417380108/460074951813936833952541*c_0101_6^5 - 15463855354621203405569059/460074951813936833952541*c_0101_6^4 + 4933981167147195205466808/460074951813936833952541*c_0101_6^3 + 4924339419886218641672568/460074951813936833952541*c_0101_6^2 - 137619136463114514303956/460074951813936833952541*c_0101_6 - 232506901153457340658023/460074951813936833952541, c_0101_4 + 3591838316427224035019528/460074951813936833952541*c_0101_6^\ 23 - 3376569877487709808560617/460074951813936833952541*c_0101_6^22 - 25658602997951273630112388/460074951813936833952541*c_0101_6^21 + 6173503372017435437930779/460074951813936833952541*c_0101_6^20 + 2071933479790247969436479/460074951813936833952541*c_0101_6^19 + 231936442434296605487744312/460074951813936833952541*c_0101_6^18 - 109873001069162815677956469/460074951813936833952541*c_0101_6^17 - 761190740699416371131266584/460074951813936833952541*c_0101_6^16 + 1784060638574707626491058098/460074951813936833952541*c_0101_6^15 - 78625503104554479968056747/460074951813936833952541*c_0101_6^14 - 4456393926931592100836836294/460074951813936833952541*c_0101_6^13 + 2256740268974830259281710633/460074951813936833952541*c_0101_6^12 + 4474138380122282665111072866/460074951813936833952541*c_0101_6^11 - 3868788515067976981167351705/460074951813936833952541*c_0101_6^10 - 1698392221808509764925388805/460074951813936833952541*c_0101_6^9 + 3889822258793126286679778005/460074951813936833952541*c_0101_6^8 + 130801658156038701874431669/460074951813936833952541*c_0101_6^7 - 2131885600365569470355990164/460074951813936833952541*c_0101_6^6 - 150594704964645858456639844/460074951813936833952541*c_0101_6^5 + 488157828044223721754975570/460074951813936833952541*c_0101_6^4 + 77955730292161489136867069/460074951813936833952541*c_0101_6^3 - 56571806419045752717727928/460074951813936833952541*c_0101_6^2 - 8558132885506252134323422/460074951813936833952541*c_0101_6 + 3745692733881736821037132/460074951813936833952541, c_0101_6^24 - 8*c_0101_6^22 - 5*c_0101_6^21 + 2*c_0101_6^20 + 65*c_0101_6^19 + 30*c_0101_6^18 - 239*c_0101_6^17 + 298*c_0101_6^16 + 440*c_0101_6^15 - 1252*c_0101_6^14 - 532*c_0101_6^13 + 1810*c_0101_6^12 + 89*c_0101_6^11 - 1461*c_0101_6^10 + 633*c_0101_6^9 + 1041*c_0101_6^8 - 547*c_0101_6^7 - 589*c_0101_6^6 + 94*c_0101_6^5 + 145*c_0101_6^4 + 3*c_0101_6^3 - 17*c_0101_6^2 - c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB