Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 2227509316] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2133 geometric_solution 5.62013761 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 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 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.681803023402 0.556761161042 0 2 3 0 3201 0132 0132 0132 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 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.654818038625 0.588242211358 4 1 3 5 0132 0132 1302 0132 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 -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.484684370543 0.496911507480 2 5 4 1 2031 1023 1023 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 -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.484684370543 0.496911507480 2 6 3 6 0132 0132 1023 1023 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 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.319113780472 1.237016470631 3 5 2 5 1023 2310 0132 3201 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 -1 1 1 0 0 -1 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.782824686162 0.803706440005 6 4 6 4 2031 0132 1302 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462108890998 0.243988025297 ==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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), '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_1']), '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_0110_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], '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_4, c_0110_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 1041057846428504897011/23320402977759485728*c_0110_6^18 + 727305195477279477971/11660201488879742864*c_0110_6^17 + 17121757451349806362313/23320402977759485728*c_0110_6^16 - 391184888033439183197/448469288033836264*c_0110_6^15 - 107502350438412006722089/23320402977759485728*c_0110_6^14 + 52112614500733606088901/11660201488879742864*c_0110_6^13 + 265875049758687034455519/23320402977759485728*c_0110_6^12 - 4420158722962061130775/5830100744439871432*c_0110_6^11 - 533770196469641840811785/23320402977759485728*c_0110_6^10 - 41456147640461571579275/2915050372219935716*c_0110_6^9 + 644675906375120960788157/23320402977759485728*c_0110_6^8 + 537172210426032876194301/23320402977759485728*c_0110_6^7 - 282783085029487941017165/23320402977759485728*c_0110_6^6 - 350937225656530635080663/11660201488879742864*c_0110_6^5 + 8736332131270759002401/2915050372219935716*c_0110_6^4 + 535104341952279194309705/23320402977759485728*c_0110_6^3 + 1225849577823185451977/728762593054983929*c_0110_6^2 - 8633974784207105824411/1457525186109967858*c_0110_6 - 33691899561786725058907/23320402977759485728, c_0011_0 - 1, c_0011_1 + 758557892929265/1422582991384096*c_0110_6^18 - 292157908466619/355645747846024*c_0110_6^17 - 12267385759787453/1422582991384096*c_0110_6^16 + 4126780480458105/355645747846024*c_0110_6^15 + 75326125755330883/1422582991384096*c_0110_6^14 - 21427525025114983/355645747846024*c_0110_6^13 - 177712646088615795/1422582991384096*c_0110_6^12 + 8260201638035973/355645747846024*c_0110_6^11 + 376508278936195259/1422582991384096*c_0110_6^10 + 95211439723097961/711291495692048*c_0110_6^9 - 479281769980765761/1422582991384096*c_0110_6^8 - 316464557694505111/1422582991384096*c_0110_6^7 + 227932599109278717/1422582991384096*c_0110_6^6 + 234637799754595999/711291495692048*c_0110_6^5 - 13367024951423027/177822873923012*c_0110_6^4 - 354671299243350571/1422582991384096*c_0110_6^3 + 6325199427300359/711291495692048*c_0110_6^2 + 42546645018278777/711291495692048*c_0110_6 + 15529664838984223/1422582991384096, c_0011_3 - 1728316523031041/1422582991384096*c_0110_6^18 + 1169742383422143/711291495692048*c_0110_6^17 + 28572893063936403/1422582991384096*c_0110_6^16 - 8141276640437575/355645747846024*c_0110_6^15 - 180594010418655891/1422582991384096*c_0110_6^14 + 82862051557518377/711291495692048*c_0110_6^13 + 452554453476163973/1422582991384096*c_0110_6^12 - 3161533139211209/355645747846024*c_0110_6^11 - 894179465013906547/1422582991384096*c_0110_6^10 - 147694148857949369/355645747846024*c_0110_6^9 + 1058440342406655191/1422582991384096*c_0110_6^8 + 947806985801683383/1422582991384096*c_0110_6^7 - 445718289264290763/1422582991384096*c_0110_6^6 - 597852373321444203/711291495692048*c_0110_6^5 + 17508928916258073/355645747846024*c_0110_6^4 + 910178659738681463/1422582991384096*c_0110_6^3 + 12532011890180351/177822873923012*c_0110_6^2 - 59209017594640549/355645747846024*c_0110_6 - 63151651750539113/1422582991384096, c_0101_0 + 287681671621867/177822873923012*c_0110_6^18 - 1656529788207685/711291495692048*c_0110_6^17 - 18829639984040095/711291495692048*c_0110_6^16 + 1452987416352455/44455718480753*c_0110_6^15 + 14679275189163315/88911436961506*c_0110_6^14 - 119701505796886651/711291495692048*c_0110_6^13 - 286359821505785793/711291495692048*c_0110_6^12 + 3647038692236971/88911436961506*c_0110_6^11 + 72898312396771129/88911436961506*c_0110_6^10 + 342492314408688733/711291495692048*c_0110_6^9 - 715764348939232375/711291495692048*c_0110_6^8 - 69636800098858247/88911436961506*c_0110_6^7 + 322174096679361691/711291495692048*c_0110_6^6 + 188144232731212543/177822873923012*c_0110_6^5 - 51803652748894541/355645747846024*c_0110_6^4 - 286938026570836889/355645747846024*c_0110_6^3 - 21840883543636907/711291495692048*c_0110_6^2 + 143701734416636945/711291495692048*c_0110_6 + 32161073372301325/711291495692048, c_0101_4 - 3795066459786773/1422582991384096*c_0110_6^18 + 2650457877404043/711291495692048*c_0110_6^17 + 62434766216799519/1422582991384096*c_0110_6^16 - 18523664391312217/355645747846024*c_0110_6^15 - 392167877203649959/1422582991384096*c_0110_6^14 + 189640165757073169/711291495692048*c_0110_6^13 + 970611023834166849/1422582991384096*c_0110_6^12 - 15337849146542765/355645747846024*c_0110_6^11 - 1947379850204271983/1422582991384096*c_0110_6^10 - 304183482423287317/355645747846024*c_0110_6^9 + 2346776342697472115/1422582991384096*c_0110_6^8 + 1966711212063250715/1422582991384096*c_0110_6^7 - 1021758311119113823/1422582991384096*c_0110_6^6 - 1281418853561475907/711291495692048*c_0110_6^5 + 61709747890968957/355645747846024*c_0110_6^4 + 1950988880831914331/1422582991384096*c_0110_6^3 + 18935387373113487/177822873923012*c_0110_6^2 - 124930824322272111/355645747846024*c_0110_6 - 125321356891167957/1422582991384096, c_0110_5 + 1848908168154889/711291495692048*c_0110_6^18 - 656466317796663/177822873923012*c_0110_6^17 - 30322434545357219/711291495692048*c_0110_6^16 + 4596930249048627/88911436961506*c_0110_6^15 + 189684907585887623/711291495692048*c_0110_6^14 - 11798005358633846/44455718480753*c_0110_6^13 - 465556965246807369/711291495692048*c_0110_6^12 + 9597003179621827/177822873923012*c_0110_6^11 + 942211961580823355/711291495692048*c_0110_6^10 + 285104570399467905/355645747846024*c_0110_6^9 - 1145780271286150507/711291495692048*c_0110_6^8 - 924960181517363271/711291495692048*c_0110_6^7 + 506409831895877301/711291495692048*c_0110_6^6 + 153606240553209603/88911436961506*c_0110_6^5 - 71967181885972329/355645747846024*c_0110_6^4 - 934419667534589229/711291495692048*c_0110_6^3 - 13915289360543557/177822873923012*c_0110_6^2 + 118613045444642997/355645747846024*c_0110_6 + 56918177575326773/711291495692048, c_0110_6^19 - c_0110_6^18 - 17*c_0110_6^17 + 13*c_0110_6^16 + 111*c_0110_6^15 - 59*c_0110_6^14 - 295*c_0110_6^13 - 85*c_0110_6^12 + 519*c_0110_6^11 + 523*c_0110_6^10 - 491*c_0110_6^9 - 762*c_0110_6^8 + 64*c_0110_6^7 + 781*c_0110_6^6 + 202*c_0110_6^5 - 539*c_0110_6^4 - 243*c_0110_6^3 + 116*c_0110_6^2 + 85*c_0110_6 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB