Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 2134827940] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1708 geometric_solution 5.41898857 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 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.451932317673 0.196002285369 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685655882719 0.611722576841 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 -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.191381701934 1.227950311706 2 5 4 1 3201 1023 3201 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 1 0 -1 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.191381701934 1.227950311706 3 2 4 4 2310 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.884862124662 1.280755145746 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 -1 0 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.185962428045 0.509677014173 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 1 -1 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 2.034038878138 0.837259694837 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : 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' : 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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_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' : negation(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' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(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' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(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: 30 Groebner basis: [ t - 79324139157161982464660004962135431675477633907777823731/1055017820\ 31012643185472666567069909916105333360293665504*c_0101_6^28 + 660365710016568612588568331183006573623334567511064108397/175836303\ 38502107197578777761178318319350888893382277584*c_0101_6^26 + 52157781520938562186562380288039753539982238538708968261069/1055017\ 82031012643185472666567069909916105333360293665504*c_0101_6^24 + 547355233527557179107983569354307309042934099191865136777201/105501\ 782031012643185472666567069909916105333360293665504*c_0101_6^22 - 1068003506512620015659516281588725598195946896304833356866107/26375\ 445507753160796368166641767477479026333340073416376*c_0101_6^20 - 3034900230616772077968227166553022717840095017149147370472227/11722\ 420225668071465052518507452212212900592595588185056*c_0101_6^18 - 10700618358519528425642609694396566234390194964428456653263927/1758\ 3630338502107197578777761178318319350888893382277584*c_0101_6^16 + 2802033025104543217169292493636836960159658007294416602627509/26375\ 445507753160796368166641767477479026333340073416376*c_0101_6^14 + 13989095550920923359415328561741739398516673491815427003468431/5275\ 0891015506321592736333283534954958052666680146832752*c_0101_6^12 - 1076314443765169427261843385095057534154166411603035824452201/13187\ 722753876580398184083320883738739513166670036708188*c_0101_6^10 - 12802441350166115974594464578652593243237496221029162443388511/1055\ 01782031012643185472666567069909916105333360293665504*c_0101_6^8 + 673795537314310625156791586632502489457883768328222867684923/263754\ 45507753160796368166641767477479026333340073416376*c_0101_6^6 + 640699273840125541191079907021000963861470911614802130888265/105501\ 782031012643185472666567069909916105333360293665504*c_0101_6^4 + 7285438621301781199973344341001064111807783144825720772481/65938613\ 76938290199092041660441869369756583335018354094*c_0101_6^2 - 2483251085466010626466298205327539105488940227303735202243/10550178\ 2031012643185472666567069909916105333360293665504, c_0011_0 - 1, c_0011_1 - 370854890149675833558887699718682922085740553411586/36632563\ 2052127233282891203357881631653143518612130783*c_0101_6^28 + 18584062285662282824577963716975814892140817048863530/3663256320521\ 27233282891203357881631653143518612130783*c_0101_6^26 + 240853022128110220228158527735287782776808408068120494/366325632052\ 127233282891203357881631653143518612130783*c_0101_6^24 + 2519149601316965706943935614243065024009222277990972328/36632563205\ 2127233282891203357881631653143518612130783*c_0101_6^22 - 20391422070411654959864939839213898809352906504405243126/3663256320\ 52127233282891203357881631653143518612130783*c_0101_6^20 - 124509310393517683388880345332448734201870768918044081816/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^18 - 279119154354260076210171151902023832291335860307081950601/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^16 + 103364676498940840148384374069370818016029750593477673734/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^14 + 127816512103444322068587544524264081057041105618302433799/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^12 - 62581891604264932824244098256299873384109320922354984501/3663256320\ 52127233282891203357881631653143518612130783*c_0101_6^10 - 57369311569759757475001177851242785152186981355153920819/3663256320\ 52127233282891203357881631653143518612130783*c_0101_6^8 + 22020164130910634769094446195975920831978444167073209200/3663256320\ 52127233282891203357881631653143518612130783*c_0101_6^6 + 2693433759813154294677477943270060781356814247568340158/36632563205\ 2127233282891203357881631653143518612130783*c_0101_6^4 + 412684867982896518895746259075160947253275612881085599/366325632052\ 127233282891203357881631653143518612130783*c_0101_6^2 - 330539286747303309554443636903929867461563207184105591/366325632052\ 127233282891203357881631653143518612130783, c_0011_3 - 17067156123419872036325472150621901499028913280426607/732651\ 264104254466565782406715763263306287037224261566*c_0101_6^29 + 426483568723707006398023333572358225068593501758718323/366325632052\ 127233282891203357881631653143518612130783*c_0101_6^27 + 11198520532049038328095742911733494652748389317722328209/7326512641\ 04254466565782406715763263306287037224261566*c_0101_6^25 + 117456081272552751761909138596713470991228199013238869841/732651264\ 104254466565782406715763263306287037224261566*c_0101_6^23 - 461213246193269985610429234991847824197404070323830849333/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^21 - 5851484643076629618923860144527584965230664040781620854447/73265126\ 4104254466565782406715763263306287037224261566*c_0101_6^19 - 6825460782071073625681405378275758505982504215988572561921/36632563\ 2052127233282891203357881631653143518612130783*c_0101_6^17 + 1400616385934227112706129913505798623320028406274719592933/36632563\ 2052127233282891203357881631653143518612130783*c_0101_6^15 + 2991163711811765062607306182825236451847864424575765332912/36632563\ 2052127233282891203357881631653143518612130783*c_0101_6^13 - 987078593714593405028087401213301087783459902325051285184/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^11 - 2718216642731042029292259260862889296765594168918925055707/73265126\ 4104254466565782406715763263306287037224261566*c_0101_6^9 + 320034348000704908414730762214287171060691307574109354824/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^7 + 133919824736593905439368571989480107172838350990853122129/732651264\ 104254466565782406715763263306287037224261566*c_0101_6^5 + 14608190635708354969223559364916348071773427945136165292/3663256320\ 52127233282891203357881631653143518612130783*c_0101_6^3 - 4368592992962891190107673847143985016648304287246131891/73265126410\ 4254466565782406715763263306287037224261566*c_0101_6, c_0101_0 + 1864074055405704798732290031098179222352818576877411/3663256\ 32052127233282891203357881631653143518612130783*c_0101_6^29 - 93233152327212284806458793444816585148987049369029816/3663256320521\ 27233282891203357881631653143518612130783*c_0101_6^27 - 1219526685921632227806217834374785781664454374230945271/36632563205\ 2127233282891203357881631653143518612130783*c_0101_6^25 - 12779764933701801146232633921389106989827812506948865423/3663256320\ 52127233282891203357881631653143518612130783*c_0101_6^23 + 101262116931064270956974476315410438267137262559096843237/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^21 + 635392660761457865094025547322023966994014979513195660392/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^19 + 1464572425633044364174090639509207317770396682599691818712/36632563\ 2052127233282891203357881631653143518612130783*c_0101_6^17 - 372903846140026934271690324820259507099713137521994777911/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^15 - 660486831701504513616601840356771206497705796050441758435/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^13 + 255579169447588033295380476857133736195694859451819354595/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^11 + 296381847531214018339737740444015235450619526550262718170/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^9 - 89119584268480932438218145681856644799518095306051300337/3663256320\ 52127233282891203357881631653143518612130783*c_0101_6^7 - 15315401861640353493487503182675613633940426403537233948/3663256320\ 52127233282891203357881631653143518612130783*c_0101_6^5 + 787723961929514822919870748939022943137185841403775302/366325632052\ 127233282891203357881631653143518612130783*c_0101_6^3 + 711812728066804633699568385066618863583179144745153426/366325632052\ 127233282891203357881631653143518612130783*c_0101_6, c_0101_1 + 1019219096055835104541184106918228480973669215090033/3663256\ 32052127233282891203357881631653143518612130783*c_0101_6^28 - 51019589251333409930202081483893265583317271715422037/3663256320521\ 27233282891203357881631653143518612130783*c_0101_6^26 - 664672434124567796131553558439750142697901865097631659/366325632052\ 127233282891203357881631653143518612130783*c_0101_6^24 - 6959793878774478520264953693956386142100061301642051697/36632563205\ 2127233282891203357881631653143518612130783*c_0101_6^22 + 55658859708548126919880258196281638619295411465066957263/3663256320\ 52127233282891203357881631653143518612130783*c_0101_6^20 + 345106591304438374388521676728991702656293818892553775952/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^18 + 786380402098880802013915715102744839791494033484432262136/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^16 - 237696557427582568385226242474134448561069383358564241860/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^14 - 355809758570551975951028367178405242490846495015204969606/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^12 + 146232942476824497743907314812177026976259635492027488243/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^10 + 156811754738100479689715689823324320597864449493687592246/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^8 - 51468623416904561546195092219582260545509542376789105958/3663256320\ 52127233282891203357881631653143518612130783*c_0101_6^6 - 6861447777914919018278266566849886213296583388987987214/36632563205\ 2127233282891203357881631653143518612130783*c_0101_6^4 - 1151205897024705156008373131023854103166077650203002903/36632563205\ 2127233282891203357881631653143518612130783*c_0101_6^2 + 261691644310822395915619213291399743399418756099362935/366325632052\ 127233282891203357881631653143518612130783, c_0101_4 + 17371498577756466006122554268988917219316776044066997/732651\ 264104254466565782406715763263306287037224261566*c_0101_6^29 - 434254259014345025676080128021167612167128206502592700/366325632052\ 127233282891203357881631653143518612130783*c_0101_6^27 - 11381718635537037902450908989877246429526412265955491213/7326512641\ 04254466565782406715763263306287037224261566*c_0101_6^25 - 119330268180351013794063540165697169026703502938167503767/732651264\ 104254466565782406715763263306287037224261566*c_0101_6^23 + 470596477363431810044095509921260108672822187952362324289/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^21 + 5938326894452295638233965125973416122882932855689146957009/73265126\ 4104254466565782406715763263306287037224261566*c_0101_6^19 + 6888759592251014477811025105846446228334134992470501052507/36632563\ 2052127233282891203357881631653143518612130783*c_0101_6^17 - 1567857190924497996134748080315212760423050445422825133466/36632563\ 2052127233282891203357881631653143518612130783*c_0101_6^15 - 3039271226607629033729503044229693049555675959997599790140/36632563\ 2052127233282891203357881631653143518612130783*c_0101_6^13 + 1070569360585578352592152997601591799350466786822439380920/36632563\ 2052127233282891203357881631653143518612130783*c_0101_6^11 + 2740223271542707987167789554657154757053489888716944139191/73265126\ 4104254466565782406715763263306287037224261566*c_0101_6^9 - 357152426183949315813852322104362952166052180085304032793/366325632\ 052127233282891203357881631653143518612130783*c_0101_6^7 - 128602285859896822822258358147935685854151507096476238283/732651264\ 104254466565782406715763263306287037224261566*c_0101_6^5 - 12093569434954412355252521324394321804825948313817905228/3663256320\ 52127233282891203357881631653143518612130783*c_0101_6^3 + 4323394130822629862538568365987785728198420172045762159/73265126410\ 4254466565782406715763263306287037224261566*c_0101_6, c_0101_6^30 - 50*c_0101_6^28 - 655*c_0101_6^26 - 6867*c_0101_6^24 + 54204*c_0101_6^22 + 341609*c_0101_6^20 + 792006*c_0101_6^18 - 182188*c_0101_6^16 - 345866*c_0101_6^14 + 124776*c_0101_6^12 + 156389*c_0101_6^10 - 41404*c_0101_6^8 - 6675*c_0101_6^6 - 1368*c_0101_6^4 + 257*c_0101_6^2 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB