Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 1899031972] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1532 geometric_solution 5.32700241 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 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1.466606417209 0.205894725184 0 2 2 0 3201 0132 1023 0132 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 -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 1.150166367075 0.267982119580 3 1 1 4 0132 0132 1023 0132 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 0 0 0 -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.813035806474 0.468088147479 2 5 6 4 0132 0132 0132 2031 0 0 0 0 0 -1 0 1 1 0 -1 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 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.506102101003 0.518063942159 6 3 2 5 1023 1302 0132 0132 0 0 0 0 0 0 -1 1 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506102101003 0.518063942159 5 3 4 5 3201 0132 0132 2310 0 0 0 0 0 1 -1 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.048431719924 1.022912857352 6 4 6 3 2031 1023 1302 0132 0 0 0 0 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 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.511348167870 0.476758030452 ==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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_1']), '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' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 38276387947671665576093678570382188666130413245539880/3223094534673\ 15074074760185878102167874100546055289*c_0101_5^34 - 865460802689499755160381416269035569309062691699411646/107436484489\ 105024691586728626034055958033515351763*c_0101_5^32 + 43410392403858354205229853820917879368494390689666975838/3223094534\ 67315074074760185878102167874100546055289*c_0101_5^30 - 411147249316161969019103995750949818063333953750439670737/322309453\ 467315074074760185878102167874100546055289*c_0101_5^28 + 2601120830563071091293644913520182352515643786924753107559/32230945\ 3467315074074760185878102167874100546055289*c_0101_5^26 - 11226147324143266896170148442609576751056418165615061669500/3223094\ 53467315074074760185878102167874100546055289*c_0101_5^24 + 11224080123524970839503611379008931087792896511313702194572/1074364\ 84489105024691586728626034055958033515351763*c_0101_5^22 - 24332146638918397587963342243824644518235625490614056330812/1074364\ 84489105024691586728626034055958033515351763*c_0101_5^20 + 39462470982197273228153557114773002801532194112072730833542/1074364\ 84489105024691586728626034055958033515351763*c_0101_5^18 - 47219593524379278691163396468333441858705718333299530134770/1074364\ 84489105024691586728626034055958033515351763*c_0101_5^16 + 118035912805555054461908210322226723079863221429257950315723/322309\ 453467315074074760185878102167874100546055289*c_0101_5^14 - 64787431547389077047097977730857980377428042196550678921279/3223094\ 53467315074074760185878102167874100546055289*c_0101_5^12 + 7582268371063396339657122545208947601313443345003075213673/10743648\ 4489105024691586728626034055958033515351763*c_0101_5^10 - 1729902932766794875451269615191891027668427760306678427140/10743648\ 4489105024691586728626034055958033515351763*c_0101_5^8 + 834110716226496293967398757094870018055816584363175601701/322309453\ 467315074074760185878102167874100546055289*c_0101_5^6 - 33109673147564787840587710135333230435851870256856132778/1074364844\ 89105024691586728626034055958033515351763*c_0101_5^4 + 6708450542879620737059670173598987791472668299241157682/32230945346\ 7315074074760185878102167874100546055289*c_0101_5^2 - 73130692381922161664766498666875446347639883627957825/3223094534673\ 15074074760185878102167874100546055289, c_0011_0 - 1, c_0011_1 + 42327348590182415723741354089473327967021484142436/153480692\ 12729289241655246946576293708290502193109*c_0101_5^34 - 2868919405511498584956185155972778418351700277531850/15348069212729\ 289241655246946576293708290502193109*c_0101_5^32 + 47852976873417981231831478330814270922221799280383810/1534806921272\ 9289241655246946576293708290502193109*c_0101_5^30 - 452168213811030352383943956757908073320349589183088139/153480692127\ 29289241655246946576293708290502193109*c_0101_5^28 + 2853210869295867580350556680900389935168723873464798440/15348069212\ 729289241655246946576293708290502193109*c_0101_5^26 - 12270379436443661708268508842150341909240746464311356757/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^24 + 36631927834811389095056757977295562328739215270589931911/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^22 - 78977249624126360564254047543006796535349008261237815704/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^20 + 127303764320321112173988036085180538821353979096697737417/153480692\ 12729289241655246946576293708290502193109*c_0101_5^18 - 151096811512012764218080635811626587610557846538896512349/153480692\ 12729289241655246946576293708290502193109*c_0101_5^16 + 124364086435407815942063935138141990577551066232894394429/153480692\ 12729289241655246946576293708290502193109*c_0101_5^14 - 67113173303415719034980734325018012646847741387401854628/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^12 + 23127631448961846087208767152030574525201122380209916612/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^10 - 5213041836392550087120704725710044904146006899661763300/15348069212\ 729289241655246946576293708290502193109*c_0101_5^8 + 836346234049541010026633466544119423313202920723044533/153480692127\ 29289241655246946576293708290502193109*c_0101_5^6 - 98699203359378870286353857879355113731908449543647172/1534806921272\ 9289241655246946576293708290502193109*c_0101_5^4 + 6609806203326539626699054007531922946148680129697466/15348069212729\ 289241655246946576293708290502193109*c_0101_5^2 - 103157577093938999375781822013536488677304414055115/153480692127292\ 89241655246946576293708290502193109, c_0011_4 + 109392141150074220455054834577452621928724978158170/15348069\ 212729289241655246946576293708290502193109*c_0101_5^35 - 7421492011231525055143693037561546711765994252779034/15348069212729\ 289241655246946576293708290502193109*c_0101_5^33 + 124143289977783771585140806045641630191895448438646571/153480692127\ 29289241655246946576293708290502193109*c_0101_5^31 - 1176365253816701052822580969939197168095763765828692799/15348069212\ 729289241655246946576293708290502193109*c_0101_5^29 + 7446566107719228439559464882879363397925474987186658953/15348069212\ 729289241655246946576293708290502193109*c_0101_5^27 - 32164931469408841321958584442619929829695606587685683566/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^25 + 96588852783468916435695225784988709371057847966351410008/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^23 - 209704366930947081792077669727769427205542734597165534378/153480692\ 12729289241655246946576293708290502193109*c_0101_5^21 + 340738259397444860122499335963890094758554853875359817947/153480692\ 12729289241655246946576293708290502193109*c_0101_5^19 - 408802760720195865648414159698444064071311677546984566015/153480692\ 12729289241655246946576293708290502193109*c_0101_5^17 + 342163962225144868744308270429853430278664615762711403988/153480692\ 12729289241655246946576293708290502193109*c_0101_5^15 - 189281124639473709361421788331185729431018997957710625093/153480692\ 12729289241655246946576293708290502193109*c_0101_5^13 + 67316052844904203001897343209495607909757274602451145538/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^11 - 15637172263730166614104486430153380825114265968157011205/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^9 + 2560362758950330600102255147782418018534491905098617842/15348069212\ 729289241655246946576293708290502193109*c_0101_5^7 - 311338850106935257878570573752461591521621808351339110/153480692127\ 29289241655246946576293708290502193109*c_0101_5^5 + 22288900331233807301665841033481835926478217384476721/1534806921272\ 9289241655246946576293708290502193109*c_0101_5^3 - 401579201067433524530931644348044298484052715493892/153480692127292\ 89241655246946576293708290502193109*c_0101_5, c_0101_0 - 22567693712020199481259482899250615518632846556208/153480692\ 12729289241655246946576293708290502193109*c_0101_5^34 + 1528908348245693248156783760346210983793684937802182/15348069212729\ 289241655246946576293708290502193109*c_0101_5^32 - 25465572582474479169924475633742052131997764825952562/1534806921272\ 9289241655246946576293708290502193109*c_0101_5^30 + 240290009175603811297368618993906701321783907955409123/153480692127\ 29289241655246946576293708290502193109*c_0101_5^28 - 1513863709589460496488230803666260765774183611061591163/15348069212\ 729289241655246946576293708290502193109*c_0101_5^26 + 6496357112227643592455403391023577912529177530316660972/15348069212\ 729289241655246946576293708290502193109*c_0101_5^24 - 19338286707467384758550548842141203424485279371427563090/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^22 + 41550039239107219118277372550987390778130572384996240911/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^20 - 66714153538991230970592519028492404799546230828816095613/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^18 + 78767655975391974137312627948806943812218877760961340714/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^16 - 64303068415028506999025584041064723792142897211438761821/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^14 + 34289012644638620442548026036954432595065894305694541634/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^12 - 11645270706240753695977557870221329935748678159671208866/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^10 + 2595966510560354925516326026427129275246047860334679449/15348069212\ 729289241655246946576293708290502193109*c_0101_5^8 - 417294289245561935184100976209994589240557280253441096/153480692127\ 29289241655246946576293708290502193109*c_0101_5^6 + 49696662808434820670957028735635754961473746513000844/1534806921272\ 9289241655246946576293708290502193109*c_0101_5^4 - 3332541272639150932386704938952414066235971866640428/15348069212729\ 289241655246946576293708290502193109*c_0101_5^2 + 67164300199207029527559301384641910097325547420993/1534806921272928\ 9241655246946576293708290502193109, c_0101_2 + 21603341400435850967714020227181805548788517529976/153480692\ 12729289241655246946576293708290502193109*c_0101_5^34 - 1465942104267391821872122224574434462465088508768222/15348069212729\ 289241655246946576293708290502193109*c_0101_5^32 + 24537042506130688813192821388495883643476333771087836/1534806921272\ 9289241655246946576293708290502193109*c_0101_5^30 - 232647624523829626570217806946371637074426900793422285/153480692127\ 29289241655246946576293708290502193109*c_0101_5^28 + 1473638434353941023388425742283320982771921699187106624/15348069212\ 729289241655246946576293708290502193109*c_0101_5^26 - 6370704332940535910295373600045608046031861635742693569/15348069212\ 729289241655246946576293708290502193109*c_0101_5^24 + 19151094976822606532880345197780780933885866251216128151/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^22 - 41626430104779659141667900581920655782145411835184359709/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^20 + 67713874288403286495651447326801515643174924642329234520/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^18 - 81351467241539437872128366697131851791440452407583234197/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^16 + 68208819563236449856471340712764879851487590110270148807/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^14 - 37784272053588952452780875257355388618095235310032442323/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^12 + 13426202350955150238101448809473267267756947304796511452/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^10 - 3100653058702563414651698292442911415971204963534859258/15348069212\ 729289241655246946576293708290502193109*c_0101_5^8 + 501696707458310040346393995875380759117079797371487866/153480692127\ 29289241655246946576293708290502193109*c_0101_5^6 - 60025279706356511530607212846996402804439582159704955/1534806921272\ 9289241655246946576293708290502193109*c_0101_5^4 + 4156302142785237835410846434806855015144788054674219/15348069212729\ 289241655246946576293708290502193109*c_0101_5^2 - 50426386524937281256990734670732917798718449359962/1534806921272928\ 9241655246946576293708290502193109, c_0101_3 + 47622107951825007626556846406886074105682160554864/153480692\ 12729289241655246946576293708290502193109*c_0101_5^34 - 3230896500731382278713966391208555244726329015759192/15348069212729\ 289241655246946576293708290502193109*c_0101_5^32 + 54048429347804736239320410642838190030872735073498532/1534806921272\ 9289241655246946576293708290502193109*c_0101_5^30 - 512186198030808218941681215763760473168313336981561518/153480692127\ 29289241655246946576293708290502193109*c_0101_5^28 + 3242417640831297236010787746377064692514439122025252172/15348069212\ 729289241655246946576293708290502193109*c_0101_5^26 - 14006530507383911360100672382493173526210666417468185249/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^24 + 42064498196676741434096072757722597877168312523038382329/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^22 - 91334039887216333029508856766628230491754294148200169802/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^20 + 148411991433970545559998034721065126614287222623933056032/153480692\ 12729289241655246946576293708290502193109*c_0101_5^18 - 178061327067681244101823298145749622147112805512574753035/153480692\ 12729289241655246946576293708290502193109*c_0101_5^16 + 149022179998076025562201800722823930032426819153842730628/153480692\ 12729289241655246946576293708290502193109*c_0101_5^14 - 82392466489759938454381291522603388800979829621282028749/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^12 + 29247183429507702832425026115184938912089108926174469193/1534806921\ 2729289241655246946576293708290502193109*c_0101_5^10 - 6763894840032962115077212284024919558531931202058686251/15348069212\ 729289241655246946576293708290502193109*c_0101_5^8 + 1100335412273555213841032650577698999423560290158565254/15348069212\ 729289241655246946576293708290502193109*c_0101_5^6 - 132735266699651899886981115021165472549209663847819847/153480692127\ 29289241655246946576293708290502193109*c_0101_5^4 + 9246651452511166208167920189552441335191528965650959/15348069212729\ 289241655246946576293708290502193109*c_0101_5^2 - 131278032609972761203931120391769455892696376892072/153480692127292\ 89241655246946576293708290502193109, c_0101_5^36 - 68*c_0101_5^34 + 2291/2*c_0101_5^32 - 10932*c_0101_5^30 + 139527/2*c_0101_5^28 - 609497/2*c_0101_5^26 + 1858595/2*c_0101_5^24 - 4112721/2*c_0101_5^22 + 3417954*c_0101_5^20 - 4230558*c_0101_5^18 + 3721528*c_0101_5^16 - 2229141*c_0101_5^14 + 892778*c_0101_5^12 - 242133*c_0101_5^10 + 92989/2*c_0101_5^8 - 6616*c_0101_5^6 + 661*c_0101_5^4 - 36*c_0101_5^2 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB