// Hyperbolic Rogue -- the 'experiments with geometry' menu // Copyright (C) 2011-2018 Zeno Rogue, see 'hyper.cpp' for details // -- geometry menu -- namespace hr { int eupage = 0; int euperpage = 21; string euchelp = "If you want to know how much the gameplay is affected by the " "hyperbolic geometry in HyperRogue, this mode is for you!\n\n" "You can try many different geometries here. We start by gluing " "n-gons in such a way that k of them meet in every vertex. " "Depending on n and k, this either folds into a sphere, unfolds into a plane, " "or requires a hyperbolic space. The result may be then 'bitrunc' by " "replacing each vertex by a 2k-gon. Furthermore, you can play " "with quotient geometries. For example, the elliptic geometry is " "obtained from the sphere by making the antipodes be the same point, " "so you return to the same spot (but as a mirror image) after going there. " "Have fun experimenting! " "Achievements and leaderboards do not work in geometry experiments, " "except some specific ones.\n\n" "In standard geometry (bitrunc or not), you can play the full game, but in other geometries " "you select a particular land. Lands are unlocked by visiting them in this " "session, or permanently by collecting 25 treasure. Try Crossroads in Euclidean " "or chaos mode in non-standard non-quotient hyperbolic to visit many lands. " "Highlights:\n" "* Crystal World and Warped Coast can be understood as extra geometries.\n" "* Halloween is specially designed for spherical geometry.\n" "* To see the difference, try Hunting Grounds in Euclidean -- it is impossible.\n"; #if CAP_FIELD void showQuotientConfig() { using namespace fieldpattern; gamescreen(2); dialog::init(XLAT("advanced configuration")); fgeomextra& gxcur = fgeomextras[current_extra]; for(int i=0; i= 'a' && uni < 'a' + isize(fgeomextras)) current_extra = uni - 'a'; else if(uni >= 'A' && uni < 'A' + isize(gxcur.primes)) gxcur.current_prime_id = uni - 'A'; else if(uni == 'p') nextPrime(gxcur); else if(uni == 'x' || uni == '\n') dialog::do_if_confirmed([&gxcur] { set_geometry(gxcur.base); enableFieldChange(); set_geometry(gFieldQuotient); start_game(); }); else if(uni == 'c') dialog::do_if_confirmed([] { set_geometry(gEuclid); fieldpattern::quotient_field_changed = false; set_geometry(gFieldQuotient); start_game(); }); else if(doexiton(sym, uni)) popScreen(); }; dialog::display(); } #endif bool torus_bitrunc; void prepare_torusconfig() { torusconfig::newdy = torusconfig::dy; torusconfig::newqty = torusconfig::qty; torusconfig::newsdx = torusconfig::sdx; torusconfig::newsdy = torusconfig::sdy; torusconfig::newmode = torusconfig::torus_mode; torus_bitrunc = PURE; } void showTorusConfig() { cmode = sm::SIDE | sm::MAYDARK; if(euclid) cmode |= sm::TORUSCONFIG; gamescreen(2); dialog::init(XLAT("advanced configuration")); auto& mode = torusconfig::tmodes[torusconfig::newmode]; for(int i=0; i= 3 && valid) dialog::do_if_confirmed([square] { set_geometry(gNormal); torusconfig::torus_mode = torusconfig::newmode; torusconfig::qty = torusconfig::newqty; torusconfig::dy = torusconfig::newdy; torusconfig::sdx = torusconfig::newsdx; torusconfig::sdy = torusconfig::newsdy; torusconfig::activate(); set_geometry(gTorus); set_variation((torus_bitrunc || !square) ? eVariation::bitruncated : eVariation::pure); start_game(); }); else if(uni == 'c') dialog::do_if_confirmed([] { set_geometry(gEuclid); torusconfig::torus_mode = torusconfig::tmSingle; torusconfig::qty = torusconfig::def_qty; torusconfig::dy = torusconfig::def_dy; set_geometry(gTorus); start_game(); }); else if(uni == 'z') editScale(); #if CAP_RUG else if(uni == 'u') rug::select(); #endif else if(doexiton(sym, uni)) popScreen(); }; dialog::display(); } string bitruncnames[5] = {" (b)", " (n)", " (g)", " (i)", " (d)"}; void validity_info() { int vccolors[4] = {0xFF0000, 0xFF8000, 0xFFFF00, 0x00FF00}; auto lv = land_validity(specialland); if(lv.flags & lv::display_error_message) dialog::addInfo(XLAT(lv.msg), vccolors[lv.quality_level]); else dialog::addBreak(100); } bool showquotients; string validclasses[4] = {" (X)", " (½)", "", " (!)"}; void ge_land_selection() { cmode = sm::SIDE | sm::MAYDARK; gamescreen(0); if(cheater) for(int i=0; i= 25) landvisited[i] = true; landvisited[laCrossroads] = true; landvisited[laCrossroads4] = true; landvisited[laIce] = true; landvisited[laHunting] = true; landvisited[laMirrorOld] = true; landvisited[laPrincessQuest] = cheater || princess::everSaved; landvisited[laWildWest] = true; landvisited[laHalloween] = true; landvisited[laWarpCoast] = true; landvisited[laGraveyard] = true; landvisited[laDual] = true; landvisited[laDocks] |= landvisited[laWarpCoast]; landvisited[laSnakeNest] |= landvisited[laRedRock]; landvisited[laCamelot] |= hiitemsMax(treasureType(laCamelot)) >= 1; landvisited[laCA] = true; landvisited[laAsteroids] = true; dialog::init(XLAT("experiment with geometry")); // dialog::addSelItem(XLAT("geometry"), XLAT(bitruncnames[int(variation)]), '5'); // dialog::addBreak(50); generateLandList([] (eLand l) { return land_validity(l).flags & lv::appears_in_geom_exp; }); stable_sort(landlist.begin(), landlist.end(), [] (eLand l1, eLand l2) { return land_validity(l1).quality_level > land_validity(l2).quality_level; }); for(int i=0; i= isize(landlist)) { dialog::addBreak(100); break; } eLand l = landlist[euperpage * eupage + i]; char ch; if(i < 26) ch = 'a' + i; else ch = 'A' + (i-26); string s = XLAT1(linf[l].name); if(landvisited[l]) { dialog::addBoolItem(s, l == specialland, ch); } else { dialog::addSelItem(s, XLAT("(locked)"), ch); } dialog::lastItem().color = linf[l].color; dialog::lastItem().value += validclasses[land_validity(l).quality_level]; dialog::add_action([l] { if(landvisited[l]) dialog::do_if_confirmed([l] { stop_game_and_switch_mode(tactic::on ? rg::tactic : rg::nothing); firstland = specialland = l; start_game(); popScreen(); }); }); } dialog::addBreak(50); if(chaosUnlocked && !quotient && !euclid && !sphere) { dialog::addItem(XLAT("Chaos mode"), '1'); dialog::add_action([] { if(chaosUnlocked) dialog::do_if_confirmed([] { stop_game_and_switch_mode(rg::chaos); start_game(); }); }); } dialog::addItem(XLAT("next page"), '-'); dialog::addBreak(25); validity_info(); dialog::addBreak(25); dialog::addBack(); dialog::display(); keyhandler = [] (int sym, int uni) { dialog::handleNavigation(sym, uni); if(uni == '-' || uni == PSEUDOKEY_WHEELUP || uni == PSEUDOKEY_WHEELDOWN) { eupage++; if(eupage * euperpage >= isize(landlist)) eupage = 0; } else if(doexiton(sym, uni)) popScreen(); }; } vector tilinglist = { gTinySphere, gSmallSphere, gSphere, gEuclid, gNormal, gOctagon, gOctahedron, gEuclidSquare, g45, g46, g47, gArchimedean, gBinaryTiling }; vector quotientlist = { gElliptic, gZebraQuotient, gFieldQuotient, gTorus, gSmallElliptic, gKleinQuartic, gBolza, gBolza2, gMinimal, gMacbeath, gBring, gSchmutzM2, gSchmutzM3, gCrystal }; vector list3d = { gBinary3, gHoroTris, gHoroRec, gHoroHex, gSpace534, gSpace435, gField534, gField435, gCubeTiling, gRhombic3, gBitrunc3, gCell120, gECell120, gCell600, gECell600, gCell24, gECell24, gCell16, gECell16, gCell8, gECell8, gCell5 }; void ge_select_tiling(const vector& lst) { cmode = sm::SIDE | sm::MAYDARK; gamescreen(0); dialog::init(XLAT("experiment with geometry")); if(&lst == &list3d) dialog::addInfo("3D geometries are a work in progress", 0x800000); char letter = 'a'; for(eGeometry i: lst) { bool on = geometry == i; dynamicval cg(geometry, eGeometry(i)); if(archimedean && !CAP_ARCM) continue; if(geometry == gCrystal && !CAP_CRYSTAL) continue; if(geometry == gFieldQuotient && !CAP_FIELD) continue; dialog::addBoolItem(XLAT(ginf[i].menu_displayed_name), on, letter++); dialog::lastItem().value += validclasses[land_validity(specialland).quality_level]; dialog::add_action([i] { eGeometry targetgeometry = eGeometry(i); if(0) ; #if CAP_CRYSTAL else if(targetgeometry == gCrystal) pushScreen(crystal::show); #endif #if CAP_ARCM else if(targetgeometry == gArchimedean) pushScreen(arcm::show); #endif else dialog::do_if_confirmed([targetgeometry] () { set_geometry(targetgeometry); start_game(); if(euwrap) { prepare_torusconfig(); pushScreen(showTorusConfig); } #if CAP_FIELD if(geometry == gFieldQuotient) { pushScreen(showQuotientConfig); } #endif }); }); } dialog::addBack(); dialog::display(); } string current_proj_name() { if(pmodel != mdDisk) return conformal::get_model_name(pmodel); else if(hyperbolic && vid.alpha == 1) return XLAT("Poincaré model"); else if(hyperbolic && vid.alpha == 0) return XLAT("Klein-Beltrami model"); else if(hyperbolic && vid.alpha == -1) return XLAT("inverted Poincaré model"); else if(sphere && vid.alpha == 1) return XLAT("stereographic projection"); else if(sphere && vid.alpha == 0) return XLAT("gnomonic projection"); else if(sphere && vid.alpha >= 999) return XLAT("orthographic projection"); else if(hyperbolic && vid.alpha >= 999) return XLAT("Gans model"); else return XLAT("general perspective"); } void showEuclideanMenu() { // for(int i=2; iallcells()); euler = 2 * worldsize * denom / nom; break; case gMinimal: euler = -1; break; case gZebraQuotient: case gBolza: euler = -2; break; case gKleinQuartic: case gSchmutzM2: case gBolza2: euler = -4; break; case gSchmutzM3: case gBring: euler = -6; break; case gMacbeath: euler = -12; break; default: println(hlog, "warning: Euler characteristics unknown"); break; } nom *= euler; denom *= 2; int g = gcd(nom, denom); if(g) { nom /= g; denom /= g; } if(fulltorus) { using namespace torusconfig; auto& mode = tmodes[torus_mode]; if(mode.flags & TF_SINGLE) worldsize = qty; else worldsize = sdx * sdy; } else worldsize = denom ? nom / denom : 0; if(euler < 0 && !bounded) worldsize = -worldsize; string spf = its(ts); if(0) ; #if CAP_ARCM else if(archimedean) { spf = ""; for(int i: arcm::current.faces) { if(spf != "") spf += ","; spf += its(i); } if(BITRUNCATED) spf = "[" + spf + "]," + its(arcm::current.N * 2) + "," + its(arcm::current.N * 2); if(DUAL) spf = its(arcm::current.N) + "^[" + spf + "]"; } #endif #if CAP_BT else if(binarytiling) spf = "6,[6,7],7"; #endif else if(BITRUNCATED && !euclid6) spf = spf + "," + its(S6) + "," + its(S6); #if CAP_IRR else if(IRREGULAR && irr::bitruncations_performed) spf = "[4..8],6,6"; else if(IRREGULAR) spf = "[4..8]^3"; #endif #if CAP_GP else if(GOLDBERG && S3 == 4 && gp::param == gp::loc(1, 1)) spf = spf + ",4," + spf + ",4"; else if(GOLDBERG && S3 == 4 && gp::param == gp::loc(2, 0)) spf = spf + ",4,4,4"; else if(GOLDBERG && S3 == 4) spf = "[" + spf + ",4],4,4,4"; else if(GOLDBERG && S3 == 3) spf = "[" + spf + ",6],6,6"; #endif else { string spf0 = spf; for(int z=1; z bounded_mine_max) bounded_mine_quantity = bounded_mine_max; }; dialog::reaction_final = [] { bounded_mine_percentage = bounded_mine_quantity * 1. / bounded_mine_max; stop_game(); start_game(); }; }); } dialog::addBoolItem(XLAT("pattern"), specialland == laCanvas, 'p'); if(specialland == laCanvas) dialog::lastItem().value = patterns::whichCanvas; dialog::add_action_push(patterns::showPrePattern); validity_info(); if(DIM == 3) { dialog::addItem(XLAT("3D configuration"), '9'); dialog::add_action_push(show3D); } dialog::addSelItem(XLAT("projection"), current_proj_name(), '1'); dialog::add_action_push(conformal::model_menu); #if CAP_CRYSTAL && MAXMDIM >= 4 crystal::add_crystal_transform('x'); #endif dialog::addBreak(50); #if CAP_SHOT dialog::addItem(XLAT("take screenshot"), 's'); dialog::add_action_push(shot::menu); #endif dialog::addHelp(); dialog::addBack(); dialog::addBreak(150); string fgname = XLAT(ginf[geometry].tiling_name); if(qstring != "none") fgname += " " + XLAT(qstring); if(!euclid6) fgname = gp::operation_name() + " " + fgname; dialog::addTitle(XLAT("info about: %1", fgname), 0xFFFFFF, 150); if(DIM == 2) dialog::addSelItem(XLAT("faces per vertex"), spf, 0); dialog::addSelItem(XLAT("size of the world"), #if CAP_BT binarytiling ? fts4(8 * M_PI * sqrt(2) * log(2) / pow(vid.binary_width, DIM-1)) + " exp(∞)" : #endif #if CAP_ARCM archimedean ? arcm::current.world_size() : (archimedean && sphere) ? its(isize(currentmap->allcells())) : #endif #if CAP_CRYSTAL geometry == gCrystal ? "∞^" + its(ts/2) : #endif DIM == 3 && bounded ? its(isize(currentmap->allcells())) : DIM == 3 && euclid ? "∞" : worldsize < 0 ? (nom%denom ? its(nom)+"/"+its(denom) : its(-worldsize)) + " exp(∞)": (euwrap && !fulltorus) ? "∞" : worldsize == 0 ? "∞²" : its(worldsize), '3'); if(DIM == 2) dialog::add_action([] { if(!viewdists) { enable_viewdists(); pushScreen(viewdist_configure_dialog); } else if(viewdists) viewdists = false; }); if(bounded) { if(DIM == 3) euler = 0; dialog::addSelItem(XLAT("Euler characteristics"), its(euler), 0); if(DIM == 3) ; else if(nonorientable) dialog::addSelItem(XLAT("demigenus"), its(2-euler), 0); else dialog::addSelItem(XLAT("genus"), its((2-euler)/2), 0); } else dialog::addBreak(200); switch(ginf[geometry].cclass) { case 0: dialog::addSelItem(XLAT("Curvature"), XLAT("hyperbolic"), 0); break; case 1: dialog::addSelItem(XLAT("Curvature"), XLAT("flat"), 0); break; case 2: dialog::addSelItem(XLAT("Curvature"), XLAT("spherical"), 0); break; } dialog::display(); } void runGeometryExperiments() { if(!geometry && specialland == laIce) specialland = getLandForList(cwt.at); pushScreen(showEuclideanMenu); } #if CAP_COMMANDLINE eGeometry readGeo(const string& ss) { bool numeric = true; for(char c: ss) if(c < '0' || c > '9') numeric = false; if(numeric) return eGeometry(atoi(ss.c_str())); for(int i=0; i= isize(gxcur.primes)) nextPrime(gxcur); fgeomextras[current_extra].current_prime_id = b; enableFieldChange(); set_geometry(gFieldQuotient); } else if(argis("-cs")) { shift(); cheat(); fieldpattern::matrix M = currfp.strtomatrix(args()); fieldpattern::subpathid = currfp.matcode[M]; fieldpattern::subpathorder = currfp.order(M); } else if(argis("-csp")) { cheat(); currfp.findsubpath(); } #endif else if(argis("-tpar")) { torusconfig::torus_mode = torusconfig::tmSingle; shift(); sscanf(argcs(), "%d,%d,%d", &torusconfig::qty, &torusconfig::dx, &torusconfig::dy ); } else if(argis("-tparx")) { shift(); sscanf(argcs(), "%d,%d,%d", (int*) &torusconfig::torus_mode, &torusconfig::sdx, &torusconfig::sdy ); if(torusconfig::torus_mode == torusconfig::tmSingle) torusconfig::qty = torusconfig::sdx, torusconfig::dy = torusconfig::sdy; torusconfig::activate(); } TOGGLE('7', PURE, set_variation(PURE ? eVariation::bitruncated : eVariation::pure)) else if(argis("-geo")) { PHASEFROM(2); shift(); set_geometry(readGeo(args())); } #if CAP_GP else if(argis("-gp")) { PHASEFROM(2); shift(); gp::param.first = argi(); shift(); gp::param.second = argi(); set_variation(eVariation::goldberg); } #endif #if CAP_FIELD else if(argis("-fi")) { fieldpattern::info(); exit(0); } else if(argis("-qs")) { cheat(); shift(); currfp.qpaths.push_back(args()); } else if(argis("-d:quotient")) launch_dialog(showQuotientConfig); #endif else if(argis("-d:torus")) { launch_dialog(showTorusConfig); prepare_torusconfig(); } else if(argis("-d:geom")) launch_dialog(showEuclideanMenu); else return 1; return 0; } auto ah_geom = addHook(hooks_args, 0, read_geom_args); #endif }