Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 2699115643] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0898 geometric_solution 4.79807336 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 2310 0 0 0 0 0 0 -1 1 1 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 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.527803164395 0.243969186105 0 3 0 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 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 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 0 0 0.793479222071 3.148121532202 0 0 2 2 3201 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.491724765648 0.080581634315 4 1 5 4 3201 0132 0132 3120 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.198206231476 0.723789755058 3 5 1 3 3120 3201 0132 2310 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 -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.198206231476 0.723789755058 6 6 4 3 0132 2310 2310 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 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.522863190267 1.042296653058 5 6 6 5 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.788064007792 0.486334372295 ==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_0011_5']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_4, c_0011_5, c_0101_1, c_0101_3, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 85490236442843065617/64519274957*c_0110_2^31 + 1087626576308718120044/64519274957*c_0110_2^30 + 4419843979494601304893/64519274957*c_0110_2^29 + 569620714455326544/106292051*c_0110_2^28 - 40878843415592640979625/64519274957*c_0110_2^27 - 56538802492040577798730/64519274957*c_0110_2^26 + 189876140229664246304812/64519274957*c_0110_2^25 + 358008920009263897617656/64519274957*c_0110_2^24 - 673253550403043918883179/64519274957*c_0110_2^23 - 1226571404145507703126588/64519274957*c_0110_2^22 + 2047087951067733255886835/64519274957*c_0110_2^21 + 2613737728382017888189085/64519274957*c_0110_2^20 - 5049264529834664884206608/64519274957*c_0110_2^19 - 3134091318715552731790674/64519274957*c_0110_2^18 + 9139803017616079662588478/64519274957*c_0110_2^17 + 629972158569521660660581/64519274957*c_0110_2^16 - 234930636161615826227286/1372750531*c_0110_2^15 + 4226721866845763221748277/64519274957*c_0110_2^14 + 7738573135492755645457736/64519274957*c_0110_2^13 - 6776820537994586956172171/64519274957*c_0110_2^12 - 1773433828988387642871561/64519274957*c_0110_2^11 + 4581171516804726674975034/64519274957*c_0110_2^10 - 1399807092734180428884721/64519274957*c_0110_2^9 - 1125198943343923851261683/64519274957*c_0110_2^8 + 1023976179671876581727755/64519274957*c_0110_2^7 - 201474540609114152586618/64519274957*c_0110_2^6 - 130756094496745439794400/64519274957*c_0110_2^5 + 103297679295549471030675/64519274957*c_0110_2^4 - 34056997751764397921446/64519274957*c_0110_2^3 + 6317014972329343378601/64519274957*c_0110_2^2 - 646131752680980295688/64519274957*c_0110_2 + 28582705330771759535/64519274957, c_0011_0 - 1, c_0011_4 + 7*c_0110_2^31 + 86*c_0110_2^30 + 323*c_0110_2^29 - 130*c_0110_2^28 - 3361*c_0110_2^27 - 3169*c_0110_2^26 + 17580*c_0110_2^25 + 22549*c_0110_2^24 - 67971*c_0110_2^23 - 76495*c_0110_2^22 + 211610*c_0110_2^21 + 141274*c_0110_2^20 - 507305*c_0110_2^19 - 77107*c_0110_2^18 + 861532*c_0110_2^17 - 273710*c_0110_2^16 - 928820*c_0110_2^15 + 739694*c_0110_2^14 + 485467*c_0110_2^13 - 831615*c_0110_2^12 + 94636*c_0110_2^11 + 439597*c_0110_2^10 - 277393*c_0110_2^9 - 43095*c_0110_2^8 + 124089*c_0110_2^7 - 52747*c_0110_2^6 - 3675*c_0110_2^5 + 13125*c_0110_2^4 - 6444*c_0110_2^3 + 1718*c_0110_2^2 - 276*c_0110_2 + 24, c_0011_5 - 741505741732251034/1372750531*c_0110_2^31 - 9331972259076348344/1372750531*c_0110_2^30 - 37002269911742944225/1372750531*c_0110_2^29 + 4592341761130071/2261533*c_0110_2^28 + 357285771763237379832/1372750531*c_0110_2^27 + 442884788415917925145/1372750531*c_0110_2^26 - 1733064927896728765928/1372750531*c_0110_2^25 - 2913885205840952838682/1372750531*c_0110_2^24 + 6341355663678738484162/1372750531*c_0110_2^23 + 10038643690683470118450/1372750531*c_0110_2^22 - 19452648385232832274061/1372750531*c_0110_2^21 - 20913961008566180849504/1372750531*c_0110_2^20 + 47601487268999640443243/1372750531*c_0110_2^19 + 22699974065191910330181/1372750531*c_0110_2^18 - 84785432691143443830624/1372750531*c_0110_2^17 + 3201378636355304452191/1372750531*c_0110_2^16 + 99970775373407921143535/1372750531*c_0110_2^15 - 48107547645318564299502/1372750531*c_0110_2^14 - 66655995996398680248449/1372750531*c_0110_2^13 + 68157030328607210564931/1372750531*c_0110_2^12 + 11063148240203951000724/1372750531*c_0110_2^11 - 43558907943636311682396/1372750531*c_0110_2^10 + 16061514857920874637412/1372750531*c_0110_2^9 + 9655204415311233696824/1372750531*c_0110_2^8 - 10258821008784871094617/1372750531*c_0110_2^7 + 2416185089621293304813/1372750531*c_0110_2^6 + 1160358322732343948371/1372750531*c_0110_2^5 - 1040718106620260643803/1372750531*c_0110_2^4 + 360571012048755157713/1372750531*c_0110_2^3 - 69370339069909226650/1372750531*c_0110_2^2 + 7324115461301542250/1372750531*c_0110_2 - 333620695339609919/1372750531, c_0101_1 - 378669720368265459/1372750531*c_0110_2^31 - 4805390676841175550/1372750531*c_0110_2^30 - 19418233509368955867/1372750531*c_0110_2^29 - 1389897770372078/2261533*c_0110_2^28 + 181379023429373481968/1372750531*c_0110_2^27 + 244746254691748415931/1372750531*c_0110_2^26 - 851230050625227709591/1372750531*c_0110_2^25 - 1562679161564576132622/1372750531*c_0110_2^24 + 3041760782731649410183/1372750531*c_0110_2^23 + 5360090858781676585402/1372750531*c_0110_2^22 - 9269468311435544158147/1372750531*c_0110_2^21 - 11363631317079953611491/1372750531*c_0110_2^20 + 22818388575783641161721/1372750531*c_0110_2^19 + 13337876651370911921002/1372750531*c_0110_2^18 - 41137916087052517080908/1372750531*c_0110_2^17 - 1741492256915218534478/1372750531*c_0110_2^16 + 49400415091594653987529/1372750531*c_0110_2^15 - 20103689719784847730899/1372750531*c_0110_2^14 - 34207100415943537216002/1372750531*c_0110_2^13 + 31145820411275679303159/1372750531*c_0110_2^12 + 7325210881062234702600/1372750531*c_0110_2^11 - 20748957980300419330525/1372750531*c_0110_2^10 + 6676470390436974624512/1372750531*c_0110_2^9 + 4968621696942301047158/1372750531*c_0110_2^8 - 4701981887644011451147/1372750531*c_0110_2^7 + 973941090201959419778/1372750531*c_0110_2^6 + 582087534245667717448/1372750531*c_0110_2^5 - 475078137365763768528/1372750531*c_0110_2^4 + 158775252987419250520/1372750531*c_0110_2^3 - 29755560551595280858/1372750531*c_0110_2^2 + 3071454804443449267/1372750531*c_0110_2 - 137040068806613916/1372750531, c_0101_3 + 317565225478296299/1372750531*c_0110_2^31 + 3991501956935612909/1372750531*c_0110_2^30 + 15780310397385838268/1372750531*c_0110_2^29 - 2438087772814997/2261533*c_0110_2^28 - 153129865822268767465/1372750531*c_0110_2^27 - 187268992092962691004/1372750531*c_0110_2^26 + 746392826081981508760/1372750531*c_0110_2^25 + 1237955367968138295228/1372750531*c_0110_2^24 - 2740507760794839828224/1372750531*c_0110_2^23 - 4267144382106644075022/1372750531*c_0110_2^22 + 8414930726675513176295/1372750531*c_0110_2^21 + 8862115447061057851490/1372750531*c_0110_2^20 - 20573898700764239328974/1372750531*c_0110_2^19 - 9481670910886105872789/1372750531*c_0110_2^18 + 36577896250646972074970/1372750531*c_0110_2^17 - 1829685082027584011333/1372750531*c_0110_2^16 - 43003911792938384162423/1372750531*c_0110_2^15 + 21201207518882430732095/1372750531*c_0110_2^14 + 28491858127916234709118/1372750531*c_0110_2^13 - 29671195847571984681165/1372750531*c_0110_2^12 - 4491868565741576197017/1372750531*c_0110_2^11 + 18842954563443006222356/1372750531*c_0110_2^10 - 7090744680174921186616/1372750531*c_0110_2^9 - 4121684109096181394540/1372750531*c_0110_2^8 + 4465481042795560696644/1372750531*c_0110_2^7 - 1072218460157451337466/1372750531*c_0110_2^6 - 497364528702822296280/1372750531*c_0110_2^5 + 453422238055930861442/1372750531*c_0110_2^4 - 158042085601599027175/1372750531*c_0110_2^3 + 30540248662985595247/1372750531*c_0110_2^2 - 3236842172279123260/1372750531*c_0110_2 + 147966877355131497/1372750531, c_0101_5 + 424966631622130059/1372750531*c_0110_2^31 + 5356837986299890004/1372750531*c_0110_2^30 + 21317864268871133962/1372750531*c_0110_2^29 - 1850292607357821/2261533*c_0110_2^28 - 204595326565074268655/1372750531*c_0110_2^27 - 257869700469744483835/1372750531*c_0110_2^26 + 986425006822816474669/1372750531*c_0110_2^25 + 1687066103155303698734/1372750531*c_0110_2^24 - 3593574372181641582920/1372750531*c_0110_2^23 - 5809125454369365533311/1372750531*c_0110_2^22 + 11009717944702522891405/1372750531*c_0110_2^21 + 12151621577100699403291/1372750531*c_0110_2^20 - 26971775527920181602823/1372750531*c_0110_2^19 - 13427552654003511679590/1372750531*c_0110_2^18 + 48157959749500148878085/1372750531*c_0110_2^17 - 1042074513225830994521/1372750531*c_0110_2^16 - 57004538807004833726815/1372750531*c_0110_2^15 + 26546101645076015979984/1372750531*c_0110_2^14 + 38331850499755505730636/1372750531*c_0110_2^13 - 38247125570326302542384/1372750531*c_0110_2^12 - 6787106808498886342569/1372750531*c_0110_2^11 + 24657288175115285734524/1372750531*c_0110_2^10 - 8832859255221267314825/1372750531*c_0110_2^9 - 5566762582799361225798/1372750531*c_0110_2^8 + 5756504844265115912187/1372750531*c_0110_2^7 - 1317289790792908795524/1372750531*c_0110_2^6 - 665665400141921743396/1372750531*c_0110_2^5 + 583056803943458606934/1372750531*c_0110_2^4 - 200141910092836058301/1372750531*c_0110_2^3 + 38230134356161428266/1372750531*c_0110_2^2 - 4009921961543389595/1372750531*c_0110_2 + 181489885476080868/1372750531, c_0110_2^32 + 86/7*c_0110_2^31 + 323/7*c_0110_2^30 - 130/7*c_0110_2^29 - 3361/7*c_0110_2^28 - 3169/7*c_0110_2^27 + 17580/7*c_0110_2^26 + 22549/7*c_0110_2^25 - 67971/7*c_0110_2^24 - 76495/7*c_0110_2^23 + 30230*c_0110_2^22 + 20182*c_0110_2^21 - 507305/7*c_0110_2^20 - 77107/7*c_0110_2^19 + 123076*c_0110_2^18 - 273710/7*c_0110_2^17 - 928820/7*c_0110_2^16 + 739694/7*c_0110_2^15 + 485467/7*c_0110_2^14 - 831615/7*c_0110_2^13 + 94636/7*c_0110_2^12 + 439597/7*c_0110_2^11 - 277393/7*c_0110_2^10 - 43095/7*c_0110_2^9 + 17727*c_0110_2^8 - 52747/7*c_0110_2^7 - 525*c_0110_2^6 + 1875*c_0110_2^5 - 6444/7*c_0110_2^4 + 1718/7*c_0110_2^3 - 275/7*c_0110_2^2 + 25/7*c_0110_2 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB