Magma V2.19-8 Tue Aug 20 2013 16:16:58 on localhost [Seed = 627358193] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1224 geometric_solution 5.12050694 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 0 -1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.373715126653 1.193449480171 0 3 2 4 0132 0132 0132 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 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.019473653758 0.879988013799 3 0 4 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 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.019473653758 0.879988013799 5 1 5 2 0132 0132 2310 2310 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 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.774918227326 1.086252449783 2 4 1 4 2310 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.025135139683 1.135822887721 3 3 6 6 0132 3201 3201 0132 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 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.353405898082 0.183880461756 5 6 5 6 2310 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 -1 1 0 -1 0 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.538981599603 0.376421152205 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 2695158546917143666849308330738027676503045278375688121/16467448957\ 0179080848924659967163046265819948638050652*c_0101_3^21 - 4392654284105248028798285682534977780053245899201454157/28818035674\ 7813391485618154942535330965184910116588641*c_0101_3^20 + 40342317785162253678997072535635996914068896619363408981/5763607134\ 95626782971236309885070661930369820233177282*c_0101_3^19 + 5261971602311745301945816085936288122501781470522924639/32020039638\ 645932387290906104726147885020545568509849*c_0101_3^18 + 15232283196094255402230087046409847675061013537441006807/5763607134\ 95626782971236309885070661930369820233177282*c_0101_3^17 - 586071175168619563896407098479937653047637852962259596245/115272142\ 6991253565942472619770141323860739640466354564*c_0101_3^16 - 344855831630389662651404412755126766050955292619299028837/576360713\ 495626782971236309885070661930369820233177282*c_0101_3^15 + 249231735952009439938913248725046378747546903092089650043/288180356\ 747813391485618154942535330965184910116588641*c_0101_3^14 + 818240759008327904840840672070346513459940942150888073689/576360713\ 495626782971236309885070661930369820233177282*c_0101_3^13 - 594950350580476090855095107022178685616289947482597281103/576360713\ 495626782971236309885070661930369820233177282*c_0101_3^12 - 642526951258249144040193398804752126593833954609622499285/384240475\ 663751188647490873256713774620246546822118188*c_0101_3^11 + 1163562982550383109190311114701380858294034045710771277097/11527214\ 26991253565942472619770141323860739640466354564*c_0101_3^10 + 255671084413542969325763470649469465042826627785515386463/164674489\ 570179080848924659967163046265819948638050652*c_0101_3^9 - 741772021182646171907407174394983002061086153668717996867/115272142\ 6991253565942472619770141323860739640466354564*c_0101_3^8 - 123795724653430171159981134590022812235446269606709690549/128080158\ 554583729549163624418904591540082182274039396*c_0101_3^7 + 522679219069743539714387560027612134938620802600674912201/115272142\ 6991253565942472619770141323860739640466354564*c_0101_3^6 + 221735289208234955164031563729147767859409297779952761159/576360713\ 495626782971236309885070661930369820233177282*c_0101_3^5 - 76374998525025809023002205527717798994769292960473594174/2881803567\ 47813391485618154942535330965184910116588641*c_0101_3^4 - 1432181793875712652953884581296126992689707375172101363/91485827538\ 98837824940258887064613681434441591002814*c_0101_3^3 + 28851722795495018265192433093240031558136399787511636309/3842404756\ 63751188647490873256713774620246546822118188*c_0101_3^2 + 297844688169316787640738977859577153888096306650811743/914858275389\ 8837824940258887064613681434441591002814*c_0101_3 - 14012376359335568844298903117789576515859684737098226593/3842404756\ 63751188647490873256713774620246546822118188, c_0011_0 - 1, c_0011_4 + 16182577928937164837799251797289407699209105797267395/548914\ 96523393026949641553322387682088606649546016884*c_0101_3^21 - 3601748787116569694698464241390516400088005754916012/13722874130848\ 256737410388330596920522151662386504221*c_0101_3^20 - 17446655670582906377524836889446262587286979330988059/1372287413084\ 8256737410388330596920522151662386504221*c_0101_3^19 - 5632509960792733168868221778880608893763369388568490/13722874130848\ 256737410388330596920522151662386504221*c_0101_3^18 + 13738878035142182017281448651918461932270214060192522/4574291376949\ 418912470129443532306840717220795501407*c_0101_3^17 + 335374873802215754589564133177790301463001962659438121/548914965233\ 93026949641553322387682088606649546016884*c_0101_3^16 - 169934953320372302019068206314090427741636441980932009/274457482616\ 96513474820776661193841044303324773008442*c_0101_3^15 - 102973131039990459014001621209277356041797340826378681/457429137694\ 9418912470129443532306840717220795501407*c_0101_3^14 + 204811254418238730120618973088907950408324653470712163/137228741308\ 48256737410388330596920522151662386504221*c_0101_3^13 + 387379784284597541881348012857496470989948524985328931/914858275389\ 8837824940258887064613681434441591002814*c_0101_3^12 - 504689553748138538101621195619943116101332009253882013/182971655077\ 97675649880517774129227362868883182005628*c_0101_3^11 - 2498590585439253791897638470512950597557667473139268249/54891496523\ 393026949641553322387682088606649546016884*c_0101_3^10 + 1299269435378775086270106516083886932301503512292004299/54891496523\ 393026949641553322387682088606649546016884*c_0101_3^9 + 2123365441064214697734242419373087750570199846331911451/54891496523\ 393026949641553322387682088606649546016884*c_0101_3^8 - 981611303878292045902508967202563977946583680798174791/548914965233\ 93026949641553322387682088606649546016884*c_0101_3^7 - 472783753415630199134247036735933202735213096979312439/182971655077\ 97675649880517774129227362868883182005628*c_0101_3^6 + 225722858462557185214133035525301112485653707586489907/274457482616\ 96513474820776661193841044303324773008442*c_0101_3^5 + 87217555950317476921472350169368697904077584879630543/9148582753898\ 837824940258887064613681434441591002814*c_0101_3^4 - 11955994098859025016528758618540030449298229772661251/9148582753898\ 837824940258887064613681434441591002814*c_0101_3^3 - 66729808410307835202987789200245810784523784549884183/1829716550779\ 7675649880517774129227362868883182005628*c_0101_3^2 + 3344134055543988123417293902954222396909263268092676/45742913769494\ 18912470129443532306840717220795501407*c_0101_3 + 22857945014326612669193354595604700624815562844192835/1829716550779\ 7675649880517774129227362868883182005628, c_0011_6 - 48668584309318877629735029215300384760920263953611/552784456\ 42893279909004585420329992032836505081588*c_0101_3^21 - 11622228475783906378835636269788753413526035155695/2763922282144663\ 9954502292710164996016418252540794*c_0101_3^20 + 101092800688760267966250527979731869667297195686473/276392228214466\ 39954502292710164996016418252540794*c_0101_3^19 + 198129139793722637547805298601840087882574580174029/276392228214466\ 39954502292710164996016418252540794*c_0101_3^18 - 14152153453518698326346050450888392538970571972071/2763922282144663\ 9954502292710164996016418252540794*c_0101_3^17 - 1393843681970467130498850840179795742563249873469979/55278445642893\ 279909004585420329992032836505081588*c_0101_3^16 - 610127891893739784755615081277127799631927142622687/276392228214466\ 39954502292710164996016418252540794*c_0101_3^15 + 661329774822770954711696011265981603758579015345082/138196114107233\ 19977251146355082498008209126270397*c_0101_3^14 + 703884756299856212552004806568554457496001145609499/138196114107233\ 19977251146355082498008209126270397*c_0101_3^13 - 1612431690238576874282491554247080546054364169329611/27639222821446\ 639954502292710164996016418252540794*c_0101_3^12 - 2892294396342892566897993209113090856982759840576705/55278445642893\ 279909004585420329992032836505081588*c_0101_3^11 + 2739322210405044319532861171390361163939523520966283/55278445642893\ 279909004585420329992032836505081588*c_0101_3^10 + 2721220430855898866105915607538099296503825418520785/55278445642893\ 279909004585420329992032836505081588*c_0101_3^9 - 1755497906689158521037800654723575259394962669301105/55278445642893\ 279909004585420329992032836505081588*c_0101_3^8 - 1378978467335713089014057328978508591887079265454433/55278445642893\ 279909004585420329992032836505081588*c_0101_3^7 + 970915230994337364220035844335875416675736853692439/552784456428932\ 79909004585420329992032836505081588*c_0101_3^6 + 181891687997477592291329856856746927197773453899191/276392228214466\ 39954502292710164996016418252540794*c_0101_3^5 - 202660583392192377252508015789483852726345889250867/276392228214466\ 39954502292710164996016418252540794*c_0101_3^4 - 105335531686048345101892666355225081130907907001633/276392228214466\ 39954502292710164996016418252540794*c_0101_3^3 + 122495774841265797563344056313220397232822065189281/552784456428932\ 79909004585420329992032836505081588*c_0101_3^2 - 4378038702278755225168979705352598368195840231437/27639222821446639\ 954502292710164996016418252540794*c_0101_3 + 8386944407077131963197490808958100153474770945377/55278445642893279\ 909004585420329992032836505081588, c_0101_0 - 26194401240899604840692566528576014224937533557589419/274457\ 48261696513474820776661193841044303324773008442*c_0101_3^21 - 4828061051633776376589776432630956935183668846767133/27445748261696\ 513474820776661193841044303324773008442*c_0101_3^20 + 129556631366827356948223812287477475308224048109240885/274457482616\ 96513474820776661193841044303324773008442*c_0101_3^19 + 187572060881772667776463908022726895899195579280247041/274457482616\ 96513474820776661193841044303324773008442*c_0101_3^18 - 50071493575223761771804814306554133054780897560165851/9148582753898\ 837824940258887064613681434441591002814*c_0101_3^17 - 438701889615580121272881669275378213796483509199778958/137228741308\ 48256737410388330596920522151662386504221*c_0101_3^16 - 205647635430479765069641526983776414940940637501830743/137228741308\ 48256737410388330596920522151662386504221*c_0101_3^15 + 351955861919556587984219002839075873585313835522080227/457429137694\ 9418912470129443532306840717220795501407*c_0101_3^14 + 742234586557719230111885234160541919486488577311545614/137228741308\ 48256737410388330596920522151662386504221*c_0101_3^13 - 527000312800450669099908411187932621646210520474111639/457429137694\ 9418912470129443532306840717220795501407*c_0101_3^12 - 657937028249058068252698147001901756295146146997254117/914858275389\ 8837824940258887064613681434441591002814*c_0101_3^11 + 1564421482998611435577209776253128117502753911911726115/13722874130\ 848256737410388330596920522151662386504221*c_0101_3^10 + 1974606847047039697969483605519808879886600721621610201/27445748261\ 696513474820776661193841044303324773008442*c_0101_3^9 - 1144081323125582660316149497032870133375481129810087012/13722874130\ 848256737410388330596920522151662386504221*c_0101_3^8 - 1352214543162324180330778152517417349642544223123879297/27445748261\ 696513474820776661193841044303324773008442*c_0101_3^7 + 201747279143178785583060769890915416693704353700536416/457429137694\ 9418912470129443532306840717220795501407*c_0101_3^6 + 250546707309088159324888266029550108413607680839442998/137228741308\ 48256737410388330596920522151662386504221*c_0101_3^5 - 75718000694089131641618756824249757392740561089312807/4574291376949\ 418912470129443532306840717220795501407*c_0101_3^4 - 20999169946354141868230274597255650244345124191019457/4574291376949\ 418912470129443532306840717220795501407*c_0101_3^3 + 51099373316919784225497722487987883255996426626746737/9148582753898\ 837824940258887064613681434441591002814*c_0101_3^2 + 12307562676716429782474336727004372935849565943298349/9148582753898\ 837824940258887064613681434441591002814*c_0101_3 - 4227462474821092541535516483806118883695672367818069/45742913769494\ 18912470129443532306840717220795501407, c_0101_1 - 88572835667652723897635623154813573549905497812843/552784456\ 42893279909004585420329992032836505081588*c_0101_3^21 - 13541803774987468255911913466937614090765764596249/2763922282144663\ 9954502292710164996016418252540794*c_0101_3^20 + 190829967335993748244331502369785128986257959845089/276392228214466\ 39954502292710164996016418252540794*c_0101_3^19 + 325874282803307516849325806910435224390586778371167/276392228214466\ 39954502292710164996016418252540794*c_0101_3^18 - 101083296663389925534963781299294841252400294790365/276392228214466\ 39954502292710164996016418252540794*c_0101_3^17 - 2541837635055468057176351759673251052960553464229611/55278445642893\ 279909004585420329992032836505081588*c_0101_3^16 - 860297785767164429917753313219995177115274153288931/276392228214466\ 39954502292710164996016418252540794*c_0101_3^15 + 1337255061621833765438436177774008789577872402840237/13819611410723\ 319977251146355082498008209126270397*c_0101_3^14 + 1049115046947536241692100714321930106443459388122319/13819611410723\ 319977251146355082498008209126270397*c_0101_3^13 - 3618552834153723242801312766396135305029105496429143/27639222821446\ 639954502292710164996016418252540794*c_0101_3^12 - 4075609188612675289867483253586193987634291229416193/55278445642893\ 279909004585420329992032836505081588*c_0101_3^11 + 6667617379416196388910678587529140560454099099827963/55278445642893\ 279909004585420329992032836505081588*c_0101_3^10 + 3812616572024836150292445781383984466956025435639557/55278445642893\ 279909004585420329992032836505081588*c_0101_3^9 - 4747181527877104760691360381835004879964676808824313/55278445642893\ 279909004585420329992032836505081588*c_0101_3^8 - 1823974384684318610101518951616372307853713138198429/55278445642893\ 279909004585420329992032836505081588*c_0101_3^7 + 2801063928542754956440746533520928627073166748973519/55278445642893\ 279909004585420329992032836505081588*c_0101_3^6 + 72737973667644014872715795786894628225073481155283/2763922282144663\ 9954502292710164996016418252540794*c_0101_3^5 - 554974759993919018285638772750525659477910939669839/276392228214466\ 39954502292710164996016418252540794*c_0101_3^4 - 77616580096682649397022430159158807714714598220971/2763922282144663\ 9954502292710164996016418252540794*c_0101_3^3 + 416781881735728908499633409470288010028691199914605/552784456428932\ 79909004585420329992032836505081588*c_0101_3^2 - 28341642847460831128343415661654535065575050205093/2763922282144663\ 9954502292710164996016418252540794*c_0101_3 - 69045150422035414952089938196754772009856767209431/5527844564289327\ 9909004585420329992032836505081588, c_0101_2 - 40349636809177695526696810843197431819122860281511/552784456\ 42893279909004585420329992032836505081588*c_0101_3^21 - 9773558413310866591507125152479431707159851798403/13819611410723319\ 977251146355082498008209126270397*c_0101_3^20 + 40988387131313655698360233393551854598646653426605/1381961141072331\ 9977251146355082498008209126270397*c_0101_3^19 + 103095628112291094806925051903511336170906800391377/138196114107233\ 19977251146355082498008209126270397*c_0101_3^18 + 28725736949659403637686663419398031153797987703725/1381961141072331\ 9977251146355082498008209126270397*c_0101_3^17 - 1210567122200681582160666782765141098542875611162365/55278445642893\ 279909004585420329992032836505081588*c_0101_3^16 - 786232615801846517480292938176638779934418128291471/276392228214466\ 39954502292710164996016418252540794*c_0101_3^15 + 464206993779670689289721260142330353683288129759327/138196114107233\ 19977251146355082498008209126270397*c_0101_3^14 + 883736477222713929900915530447058505274302211130342/138196114107233\ 19977251146355082498008209126270397*c_0101_3^13 - 916088259897453237958366977180226179003082129195503/276392228214466\ 39954502292710164996016418252540794*c_0101_3^12 - 3993106630690858663124879007647860183291559543757397/55278445642893\ 279909004585420329992032836505081588*c_0101_3^11 + 1436234615738996347084851268130739292337038542798653/55278445642893\ 279909004585420329992032836505081588*c_0101_3^10 + 3659027409098655001303976256125779459485597290965349/55278445642893\ 279909004585420329992032836505081588*c_0101_3^9 - 598343967357885594605429587512603875757715743854455/552784456428932\ 79909004585420329992032836505081588*c_0101_3^8 - 2165033209457980515146471170060396995016813402201077/55278445642893\ 279909004585420329992032836505081588*c_0101_3^7 + 426793896137025656069045106724580425409938594783513/552784456428932\ 79909004585420329992032836505081588*c_0101_3^6 + 416845061137073915316823935237203050243742218896869/276392228214466\ 39954502292710164996016418252540794*c_0101_3^5 - 124367088552507814698051842327074789189828984894397/276392228214466\ 39954502292710164996016418252540794*c_0101_3^4 - 206170015826943479100465566460406314055596420120323/276392228214466\ 39954502292710164996016418252540794*c_0101_3^3 + 60430972603393027574092117474986012215850281744857/5527844564289327\ 9909004585420329992032836505081588*c_0101_3^2 + 30982932299895355471423502525081937883315484200378/1381961141072331\ 9977251146355082498008209126270397*c_0101_3 - 27634180853094513195249946000285464842497559187497/5527844564289327\ 9909004585420329992032836505081588, c_0101_3^22 - 29/119*c_0101_3^21 - 32/7*c_0101_3^20 - 604/119*c_0101_3^19 + 804/119*c_0101_3^18 + 3377/119*c_0101_3^17 + 439/119*c_0101_3^16 - 8826/119*c_0101_3^15 - 2084/119*c_0101_3^14 + 13506/119*c_0101_3^13 + 1143/119*c_0101_3^12 - 12844/119*c_0101_3^11 - 206/17*c_0101_3^10 + 10034/119*c_0101_3^9 + 92/119*c_0101_3^8 - 5616/119*c_0101_3^7 + 1109/119*c_0101_3^6 + 1980/119*c_0101_3^5 - 48/17*c_0101_3^4 - 843/119*c_0101_3^3 + 45/17*c_0101_3^2 + 81/119*c_0101_3 - 9/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB